Propositional calculus, predicate calculus, temporal logic, formalization of programs; Turing machines, recursive and recursively enumerable languages, context-sensitive grammars and LBAs, Chomsky Hierarchy, Halting, and computability criterion.

CISB353

Course Syllabus