#include "header"

<h2>Master of Sciences Programs in ``Logic and Algorithms''</h2>

<ul>
   <li>
   Our Department is responsible for the teaching of the Master of
   Sciences students in the subject "`Logic and algorithms"'.  There
   are two programs---one for degree "`Master of Sciences in
   Mathematics"' and another for degree "`Master of Sciences in
   Informatics"'.
</li>

<li> The courses extends for three semesters, the third being for
working out and defending of a Master of Sciences Thesis.  For
Students who have not studied in our Faculty there is one additional
year during which they have to attend a selection of the existing
Bachelor and Master of Sciences courses. </li>


<h3>Program for degree ``Master of Sciences in Mathematics''</h3>

<dl>
   <dt>First<>semester</dt>
   <dd>
      1.<>Mathematical logic<>II<br>
      2.<>Modal logic<br>
      3.<>Recursion theory<br>
      4.<>Lambda calculus<br>
   </dd>
   <dt>Second semester</dt>
   <dd>
      1.<>Model theory<br>
      2.<>Set theory<br>
      3.<>Other subjects---90<>hours<br>
   </dd>
   <dt>Third<>semester</dt>
   <dd>
      Working out and defending a Master Thesis.<br>
   </dd>
</dl>

<h3>Program for degree ``Master of Sciences in Informatics''</h3>

<dl>
   <dt>First<>semester</dt>
   <dd>
      1.<>Mathematical logic<>II<br>
      2.<>Modal logic<br>
      3.<>Recursion theory<br>
      4.<>Lambda calculus<br>
      5.<>Algorithms and data structures<br>
   </dd>
   <dt>Second<>semester</dt>
   <dd>
      1.<>Automata on on infinite objects<br>
      2.<>Applications of finite automata<br>
      3.<>Other subjects---75<>hours<br>
   </dd>
   <dt>Third<>semester</dt>
   <dd>
      Working out and defending a Master Thesis.<br>
   </dd>
</dl>

#include "footer"