Degree program Mathematics
Qualification awarded Master of Science
Admission requirements
Admission is based on an interview. The successful candidate must show strong motivation
and good basic knowledge in the area of Theoretical foundations of Computer Science and
Mathematical Logic.
goals
Educational
Advanced knowledge in Mathematical
Logic and Theoretical Computer Science
Professional
1. Preparation for a research and/or
academic position
2. Analysis and verification of software
applications
Access to further studies Students who have completed successfully the program will be
well prepared for continuing their studies in any Ph. D. program in the areas of
Mathematical Logic and Compute Science.
Course structure diagram with ECTS credits (60 per year)
First year
First semester
Course code and course ECTS Type
title
credits of
course
Mathematical Logic 2
8
O
Modal Logic
8
O
Recursion Theory
8
O
Lambda Calculus
6
O
Second semester
Course code and course ECTS Type
title
credits of
course
Model Theory
8
O
Set Theory 2
8
O
Automata on infinite
8
E
objects
Applications of finite
8
E
automata
Complexity Theory
6
E
Applied Modal Logic
6
E
* Remarks on the application of the credit system . O – obligatory ; E – elective
Second year
Third semester
Fourth semester
Course code and course
ECTS Type Course code and course
ECTS Type
title
credits of
title
credits of
course
course
Preparation of the Master
30
O
Thesis
* Remarks on the application of the credit system .
Third year
Fifth semester
sixth semester
Course code and course ECTS Type Course code and course ECTS Type
title
credits of
title
credits of
course
course
* Remarks on the application of the credit system .
Fourth year
Seventh semester
Eighth semester
Course code and course ECTS Type Course code and course ECTS Type
title
credits of
title
credits of
course
course
* Remarks on the application of the credit system .
Examination and assessment regulations Oral and written exams, Presentations
Final examination Defense of the Master Thesis
Technical facilities
Research areas Mathematics, Mathematical Logic, Theoretical Computer Science
Peculiarities of the application of the credit system
ECTS departmental coordinator Prof. Ivan Soskov