[Calendar Home Page] Wilfrid Laurier University - 2001/2002 Undergraduate Academic Calendar

Course Description

CP414 Foundations of Computing **NEW** 0.5

Deterministic and nondeterministic finite automata (DFAs and NFAs), regular expressions, context-free grammars, relationship of push-down automata and context-free grammars, definition of the classes P and NP, NP-completeness (Cook's theorem), standard NP-complete problems, reduction techniques, Turing machines. The halting problem.

Prerequisite: CP312, MA238.

[Table of Contents] [Index] [Glossary]
[Courses by Subject] [Courses by Name] [Calendar Search]

Official electronic version updated on February 4, 2002

[LAURIER Home Page] [COMMENTS] M. Watson, Editor [Course Timetable] Course Timetable