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
Spring 2024
Class No. | Days | Times | Room | Instructor(s) | TA(s) | Type |
---|---|---|---|---|---|---|
23141 (1200) | TuTh | 9:30am-10:45am | MERVS 201 | Thumrongsak Kosiyatrakul | LEC | |
24169 (1210) | MW | 9:30am-10:45am | SENSQ 5129 | Thumrongsak Kosiyatrakul | LEC | |
25767 (1220) | MW | 3:00pm-4:15pm | IS 305 | Thumrongsak Kosiyatrakul | LEC |