CS 1502 FORMAL METHODS IN COMPUTER SCIENCE

The course is an introduction to the theory of information and computation as a physical phenomenon. The course covers standard formalizations of computational concepts and proofs of noteworthy implications of these formalizations. Typical topics include: finite automata, computability, reducibility, and complexity.

Academic Career: Undergraduate
Course Component: Lecture
Grade Component: LG/SNC Elective Basis
Course Requirements: PREQ: (CS 0441 or CS 0406) and (CS 0445 or CS 0455 or COE 0445) ; (MIN GRADE C' or Transfer FOR ALL COURSES LISTED)
Minimum Credits: 3
Maximum Credits: 3

Current Sections

Fall 2022

Class No.DaysTimesRoomInstructor(s)TA(s)Type
10870 (1070)MW11:00 am - 12:15 pmIS 305T. Kosiyatrakul
LEC
22620 (1200)MW1:00 pm - 2:15 pmSENSQ 5129T. Kosiyatrakul
LEC
25120 (1210)TuTh9:30 am - 10:45 amBENDM 158T. Kosiyatrakul
LEC