CIS 590 - Foundations of Computing

(3 credits)

Prerequisites: CIS 505 and CIS 535. Sets, relations, regular languages, finite automata, context-free languages, pushdown automata, phrase-structure languages, Turing machines, Church’s theory, recursion, computability, decidability, computational complexity.