Přístupnostní navigace
E-application
Search Search Close
Course detail
FIT-TIDAcad. year: 2023/2024
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.Topics for the state doctoral exam (SDZ):
Language of instruction
Mode of study
Guarantor
Department
Entry knowledge
Rules for evaluation and completion of the course
1. Write a paper during the semester:
2. Oral exam consists of two questions, 30 points each.
Aims
Study aids
Prerequisites and corequisites
Basic literature
Recommended reading
Classification of course in study plans
specialization DRH , 0 year of study, winter semester, elective
branch DVI4 , 0 year of study, winter semester, elective
Lecture
Teacher / Lecturer
Syllabus
Guided consultation in combined form of studies
Project