CS 373

Spring 2014 All Classes

All Classes

Theory of Computation

Credit: 3 hours.

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.

This course satisfies the General Education Criteria in Fall 2022 for:

Quantitative Reasoning II

My Favorites

My Schedule

Section Status updates every 10 minutes.

CS 373 class schedule data for spring 2014
CRN	Type	Section	Time	Day	Location	Instructor	Section Details
50145	Discussion/ Recitation	AD1	11:00AM -11:50AM	W	1111 Siebel Center for Comp Sci	Meseguer, J	Part of Term: 1 Date Range: 01/21/14-05/07/14 Degree Notes: Quant Reasoning II course.
50146	Discussion/ Recitation	AD2	12:00PM -12:50PM	W	1214 Siebel Center for Comp Sci	Meseguer, J	Part of Term: 1 Date Range: 01/21/14-05/07/14 Degree Notes: Quant Reasoning II course.
50147	Discussion/ Recitation	AD3	1:00PM -1:50PM	W	1111 Siebel Center for Comp Sci	Meseguer, J	Part of Term: 1 Date Range: 01/21/14-05/07/14 Degree Notes: Quant Reasoning II course.
50148	Discussion/ Recitation	AD4	2:00PM -2:50PM	W	1111 Siebel Center for Comp Sci	Meseguer, J	Part of Term: 1 Date Range: 01/21/14-05/07/14 Degree Notes: Quant Reasoning II course.
52356	Discussion/ Recitation	AD5	3:00PM -3:50PM	W	1111 Siebel Center for Comp Sci	Meseguer, J	Part of Term: 1 Date Range: 01/21/14-05/07/14 Degree Notes: Quant Reasoning II course.
59427	Discussion/ Recitation	AD6	4:00PM -4:50PM	W	1111 Siebel Center for Comp Sci	Meseguer, J	Part of Term: 1 Date Range: 01/21/14-05/07/14 Degree Notes: Quant Reasoning II course.
50142	Lecture	AL1	9:30AM -10:45AM	WF	1404 Siebel Center for Comp Sci	Meseguer, J Kannan, K	Part of Term: 1 Date Range: 01/21/14-05/07/14 Degree Notes: Quant Reasoning II course.