CS 1502 FORMAL METHODS IN COMPUTER SCIENCE

Description

Minimum Credits: 3
Maximum Credits: 3
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)

Current Sections

Spring 2020

Class No.
Days
Times
Room
Instructor(s)
TA(s)
Type
Session
Writing
Class No.: 26364 (1060)
Days: TuTh
Times: 1:00 pm - 2:15 pm
Room: IS 305
Instructor(s): T. Kosiyatrakul
TA(s):
Type: LEC
Session: AT
Writing:
Class No.: 26408 (1200)
Days: TuTh
Times: 4:00 pm - 5:15 pm
Room: LAWRN 203
Instructor(s): M. Bender
TA(s):
Type: LEC
Session: AT
Writing:
Class No.: 27977 (1210)
Days: MW
Times: 11:00 am - 12:15 pm
Room: LAWRN 209
Instructor(s): T. Kosiyatrakul
TA(s):
Type: LEC
Session: AT
Writing:
Class No.: 31274 (1220)
Days: MW
Times: 3:00 pm - 4:15 pm
Room: IS 405
Instructor(s): T. Kosiyatrakul
TA(s):
Type: LEC
Session: AT
Writing:

Future Sections

Please click the headings below to view the hidden sections.

Past Sections

Please click the headings below to view the hidden sections.