#include "header"

<h2>Some of the ours Courses in the Curriculum of the Bachelor
Programs</h2>

   <li>Automata on Infinite Objects</li>
   <li>Computatility and Complexity</li>
   <li>Construction of Programming Systems in C++</li>
   <li>Discrete Mathematics</li>
   <li>Discrete Structures, part I and part II</li>
   <li>Foundations of Arithmetic</li>
   <li>Introduction in Temporal Logic</li>
   <li>Languages, Automata and Computability</li>
   <li>Logic Programming</li>
   <li>Logic Programming (in practice)</li>
   <li>Mathematical Logic</li>
   <li>Mathematics for Geologists</li>
   <li>Nonclassical Logics</li>
   <li>Nonclassical Logics for Artificial Intelligence</li>
   <li>Philosophy of the Mathematics, part I and part II</li>
   <li>Relational Languages and Data Bases</li>
   <li>Semantics of Programming Languages</li>
   <li>Set Theory</li>
</ul>

<p>
   You can read more <url>[[BACHELOR_BG]],in<_>Bulgarian</url>.
</p>

#include "footer"