course_info:cis_3150

Include a brief summary of the course topics and requirements, the general format of the course, and the methods of evaluation.

Skills and knowledge students should have prior to beginning the course:

Solid programming skills (CIS 2500)
Discrete mathematics and introduction to graphs (CIS 1910/2910)
Algorithms and basic analysis (CIS 3490)

Course Topics:

Finite Automatons/Regular languages
Pushdown Automatons/Context free languages
Turing machines and variants
Undecidable languages (Halting Problem)
Np-completeness

Course Format:

Lecture format: Standard lectures
Online materials location and format: Courselink, notes/assignments posted
Lab or tutorial format and expectations: No lab/tutorial

Method of evaluation:

Number of Assignments: 5
Number of Graded Labs: 0
Number of Quizzes: 11
Formal Midterm? Yes
Course project? No
Final Exam? Yes
Group work? No
mostly programming assignments? No
Written documents? No