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
Summer 2024
Class No. | Days | Times | Room | Instructor(s) | TA(s) | Type | Session |
---|---|---|---|---|---|---|---|
16245 (1010) | TuTh | 11:30am-1:15pm | SENSQ 5313 | Thumrongsak Kosiyatrakul | Trung Tran | LEC | 12W |