CS 07510 - Mathematical Foundations of Computer Science
Credits: 3
This course provides a graduate-level introduction to the theoretical foundations of computer science, including finite automata, context-free grammars, Turing machines, and formal logic.
