This course discusses advanced topics of theoretical computer science. It concentrates on the very recent research in the area of automata, formal languages, formal models, computability, complexity, and translation. The relation between theoretical computer science and mathematics is explained in detail. Philosophical aspects of theoretical computer science are discussed as well.
Instructors: Alexander Meduna
Start Date: 2024-09-16
End Date: 2024-12-16
Mode: on campus
Credits: 52 HOURS PER SEMESTER
Learning Outcomes:
- To give an in-depth overview of modern theoretical computer science. Most importantly, to present the latest research in the area of automata, formal languages, formal models, computability, complexity, and translation. Thorough grasp of concepts and results achieved in modern theoretical computer science.
Workload: 3 hours of lecture and 1 hour of project per week in term
Prerequisites: Basic knowledge of things.
Languages: eng
Link: Course Link
