
Some of the ours Courses in the Curriculum of the Bachelor
Programs
Automata on Infinite Objects
Computatility and Complexity
Construction of Programming Systems in C++
Discrete Mathematics
Discrete Structures, part I and part II
Foundations of Arithmetic
Introduction in Temporal Logic
Languages, Automata and Computability
Logic Programming
Logic Programming (in practice)
Mathematical Logic
Mathematics for Geologists
Nonclassical Logics
Nonclassical Logics for Artificial Intelligence
Philosophy of the Mathematics, part I and part II
Relational Languages and Data Bases
Semantics of Programming Languages
Set Theory
You can read more in Bulgarian.
Last edition: 16 November 2010 at 09:19 EET

