Automata and language theory; computability theory. Uses programming projects to show the relationship between theory and application.
Learn theoretical aspects of computer science.
- Relations and functions
- Elementary graph theory
- Automata and language theory
- Computiblilty theory