Some of the Courses in the Curriculum of the Bachelor Programs

• Computability and Complexity
  
• Discrete Mathematics and Algorithms
• Discrete Structures
  
• Introduction in Temporal Logic
• Languages, Automata and Computability
• Logic Programming
• Mathematical Logic
  
• Nonclassical Logics
• Nonclassical Logics for Artificial Intelligence
• Philosophy of the Mathematics
  
• Semantics of Programming Languages
• Set Theory

You can read more in Bulgarian.