#include "header"

<h2>
   Учебни планове на магистърските програми по специализация "`Логика
   и алгоритми"'
</h2>

<ul>
   <li>
      Обучението се извършва в рамките на три семестъра, като третият
      е предназначен за резработване и защита на дипломна работа.  За
      студенти, които не са завършили ФМИ, се предвижда една
      допълнителна учебна година, през която те ще трябва да слушат
      избрани курсове от бакалавърските програми на ФМИ и от
      магистърските програми по "`Логика и алгоритми"'.
   </li>
</ul>

<h3>Учебен план за получаване на образователна степен "`магистър по
математика"'</h3>

<dl>
   <dt>I<>семестър</dt>
   <dd>
      1.<>Математическа логика<>II<br>
      2.<>Модална логика<br>
      3.<>Теория на рекурсията<br>
      4.<>Ламбда смятане<br>
   </dd>
   <dt>II<>семестър</dt>
   <dd>
      1.<>Теория на моделите<br>
      2.<>Теория на множествата<br>
      3.<>Изборни дисциплини --- 90<>часа<br>
   </dd>
   <dt>III<>семестър</dt>
   <dd>
      Разработване и защита на дипломна работа<br>
   </dd>
</dl>

<h3>Учебен план за получаване на образователна степен "`магистър по
информатика"'</h3>

<dl>
   <dt>I<>семестър</dt>
   <dd>
      1.<>Математическа логика<>II<br>
      2.<>Модална логика<br>
      3.<>Теория на рекурсията<br>
      4.<>Ламбда смятане<br>
      5.<>Алгоритми и структури данни<br>
   </dd>
   <dt>II<>семестър</dt>
   <dd>
      1.<>Автомати над безкрайни обекти<br>
      2.<>Приложения на крайните автомати<br>
      3.<>Изборни дисциплини --- 75<>часа<br>
   </dd>
   <dt>III<>семестър</dt>
   <dd>
      Разработване и защита на дипломна работа<br>
   </dd>
</dl>

#include "footer"