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 2023
| Class No. | Days | Times | Room | Instructor(s) | TA(s) | Type |
|---|---|---|---|---|---|---|
| 23714 (1200) | TuTh | 9:30 am - 10:45 am | SENSQ 6110 | T. Kosiyatrakul | LEC | |
| 24804 (1210) | MW | 9:30 am - 10:45 am | IS 403 | T. Kosiyatrakul | LEC | |
| 26611 (1220) | MW | 3:00 pm - 4:15 pm | IS 405 | T. Kosiyatrakul | LEC |