Department of Mathematical Logic and Applications

English version Bulgarian version

Bachelor Courses
Master of Science Programs
Defended Master Theses
Our Postgraduate Students

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.

    Главна страница
    Бакалавърски курсове
    Магистърски програми
    Защитени дипломни работи
    Нашите докторанти