Courses: 
 Algebra
 Linear Algebra
 Discrete Mathematics
 Differential Geometry
 Analytical Geometry
 Number Theory
 ErrorCorrecting Codes
 Information Theory
 Computational Complexity
 Automata Theory
 Linguistic Foundations of Informatics
 Mathematical Logic and Logical Programming
 Philosophy of Mathematics and Computer Science

Special Courses: 

Special Seminars: 
Theoretical Computer Science 

