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 2021

Class No.DaysTimesRoomInstructor(s)TA(s)TypeSession
25568 (1060)TuTh1:15 pm - 2:30 pmWEB T. Kosiyatrakul
LECAT
26946 (1210)MW11:05 am - 12:20 pmOSC 202T. Kosiyatrakul
LECAT
29279 (1220)MW3:25 pm - 4:40 pmWEB T. Kosiyatrakul
LECAT

Past Sections

Please click the headings below to view the hidden sections.