CIS 590 - Foundations of Computing

[3 credit(s)]

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