CISC 510 - Theoretical Concepts in CS

Credit(s): 3
3 hours lecture, 3 hours contact
This course is an introduction to the theoretical concepts in Computer Science. Concepts include logic, proofs, relations, functions, counting, probability, regular, context-free, and computable (recursive) languages with finite state machines, pushdown automata, and Turing machines, along with basic concepts of computability theory and NP-theory.