Credit: 3 hours.

This course satisfies the General Education Criteria for a
Quant Reasoning II course.

Finite automata and regular languages; pushdown automata and context-free languages; Turing machines and recursively enumerable sets; computability and the halting problem; undecidable problems. Prerequisite: CS 173 or MATH 213; CS 225.

Students must register for one lecture and one discussion section.

Section Information
CRN	Type	Section	Time	Days	Location	Instructor
48105	discussion- recitation	AD1	09:00 AM - 09:50 AM	W	room 1111 Siebel Center for Comp Sci	Har-Peled, S; Fleck, M
Quant Reasoning II course.
48101	discussion- recitation	AD2	10:00 AM - 10:50 AM	W	room 1111 Siebel Center for Comp Sci	Har-Peled, S; Fleck, M
Quant Reasoning II course.
48107	discussion- recitation	AD3	12:00 PM - 12:50 PM	W	room 1111 Siebel Center for Comp Sci	Har-Peled, S; Fleck, M
Quant Reasoning II course.
48102	discussion- recitation	AD4	01:00 PM - 01:50 PM	W	room 1111 Siebel Center for Comp Sci	Har-Peled, S; Fleck, M
Quant Reasoning II course.
48111	discussion- recitation	AD5	03:00 PM - 03:50 PM	W	room 1111 Siebel Center for Comp Sci	Har-Peled, S; Fleck, M
Quant Reasoning II course.
31259	lecture	AL1	11:00 AM - 12:15 PM	TR	room 218 Ceramics Bldg	Har-Peled, S; Fleck, M
Quant Reasoning II course.
48581	lecture	AL2	03:30 PM - 04:45 PM	TR	room 1109 Siebel Center for Comp Sci	Har-Peled, S; Fleck, M
Quant Reasoning II course.

View schedules for

CS 273Theory of Computation

CS 273
Theory of Computation