#include "header"

<h2>Нашите курсове в бакалавърските програми на Софийския университет</h2>

<p>
   Катедрата е отговорна за редица курсове от бакалавърските програми
   по Информатика, Математика, Приложна математика, Математика и
   информатика, Философия и Геология на Софийския университет.
</p>

<h3>Зимен семестър, 2006/2007<>г.</h3>

<ul>

   <li>
      <subj>Математика,</subj> Геолого-географски факултет,
      спец.<>геология, задължителен, хорариум<>4+2, лекции:
      доц.<>Петьо Петков, упражнения: ас.<>А.<>Александров
   </li>

   <li>
      <subj>Дискретна математика,</subj> спец. приложна математика,
      задължителен, хорариум<>3+3, лекции: доц.<>Анатолий Буда,
      упражнения: доц.<>Анатолий Буда и ас.<>Антон Зиновиев
   </li>

   <li>
      <subj>Логическо програмиране,</subj> спец. компютърни науки,
      задължителен, хорариум<>3+0+2, лекции: доц.<>Тинко Тинчев
   </li>

   <li>
      <subj>Математическа логика,</subj> спец. математика,
      задължителен, хорариум<>3+2, лекции: проф.<>Димитър Скордев,
      упражнения: ас.<>Антон Зиновиев
   </li>

   <li>
      <subj>Дискретни структури<>I,</subj> спец. софтуерно инжинерство,
      задължителен, хорариум<>3+3, лекции: доц.<>Ангел Дичев
   </li>

   <li>
      <subj>Изчислимост и сложност,</subj> изборен, хорариум<>3+2,
      лекции: доц.<>Иван Сосков и доц.<>Стела Николова, упражнения:
      доц.<>Стела Николова
   </li>

   <li>
      <subj>Математическа логика,</subj> изборен, хорариум<>3+1,
      лекции и упражнения: проф.<>Димитър Вакарелов
   </li>

   <li>
      <subj>Теория на множествата,</subj> изборен, хорариум<>2+2,
      лекции и упражнения: доц.<>Тинко Тинчев
   </li>

   <li>
      <subj>Некласически логики,</subj> Философски факултет, изборен,
      хорариум<>2+2, лекции и упражнения: ст.н.с.<>Владимир Сотиров
   </li>

   <li>
      <subj>Философия на математиката --- I<>част,</subj> Философски
      факултет, изборен, хорариум<>2+0, лекции: ст.н.с.<>Владимир
      Сотиров
   </li>

</ul>

<h3>Летен семестър, 2006/2007<>г.</h3>

<ul>

   <li>
      <subj>Дискретна математика,</subj> спец. математика,
      задължителен, хорариум<>2+2, лекции: доц.<>Анатолий Буда,
      упражнения: доц.<>Анатолий Буда и ас.<>Антон Зиновиев
   </li>

   <li>
      <subj>Езици, автомати и изчислимост,</subj> спец. компютърни
      науки, задължителен, хорариум<>3+2, лекции: доц.<>Александра
      Соскова, упражнения: доц.<>Александра Соскова и асп.<>Христо
      Ганчев
   </li>

   <li>
      <subj>Логическо програмиране,</subj> спец. информатика,
      задължителен, хорариум<>3+2, лекции: проф.<>Димитър Скордев,
      упражнения: доц.<>Стела Николова
   </li>

   <li>
      <subj>Логическо програмиране,</subj> спец. информатика,
      задължителен, хорариум<>3+2, доц.<>Тинко
      Тинчев, ас.<>Антон Зиновиев
   </li>

   <li>
      <subj>Логическо програмиране,</subj> спец. математика и
      информатика, задочно обучение, задължителен, хорариум<>30+20,
      лекции и упражнения: доц. Александра Соскова
   </li>

   <li>
      <subj>Семантика на езиците за програмиране,</subj>
      спец. информатика, задължителен, хорариум<>2+2, лекции:
      доц.<>Стела Николова, упражнения: доц.<>Стела Николова
   </li>

   <li>
      <subj>Семантика на езиците за програмиране,</subj>
      спец. информатика, задължителен, хорариум<>2+2, лекции:
      проф.<>Иван Сосков, упражнения: доц.<>Александра Соскова,
      асп.<>Христо Ганчев
   </li>

   <li>
      <subj>Семантика на езиците за програмиране,</subj>
      спец. математика и информатика, задочно обучение, задължителен,
      хорариум<>40+0, лекции: проф.<>Иван Сосков
   </li>

   <li>
      <subj>Дискретни структури<>II,</subj> спец. софтуерно инжинерство,
      задължителен, хорариум<>3+2, лекции: доц.<>Ангел Дичев
   </li>

   <li>
      <subj>Автомати над безкрайни обекти,</subj> изборен,
      хорариум<>3+0, проф.<>Иван Сосков
   </li>

   <li>
      <subj>Логическо програмиране (практикум),</subj>
      хорариум<>0+0+2, хон.ас.<>Димитър Добрев
   </li>

   <li>
      <subj>Математическа логика,</subj> изборен, хорариум<>3+1,
      лекции и упражнения: проф.<>Димитър Вакарелов
   </li>

   <li>
      <subj>Изграждане на софтуерни системи на Си++,</subj>
      изборен, хорариум<>2+2, лекции и упражнения; ас.<>Антон Зиновиев
   </li>

   <li>
      <subj>Некласически логики за изкуствен интелект,</subj>
      изборен, хорариум<>3+1, лекции и упражнения: проф.<>Димитър Вакарелов
   </li>

   <li>
      <subj>Основи на аритметиката,</subj> изборен, хорариум<>3+0,
      лекции: доц.<>Петьо Петков
   </li>

   <li>
      <subj>Релационни езици и бази данни,</subj>
      изборен, хорариум<>2+0, лекции: доц.<>Тинко Тинчев
   </li>

   <li>
      <subj>Увод в темпоралната логика,</subj>
      изборен, хорариум<>3+1, лекции и упражнения: д-р<>Димитър Гелев
   </li>

   <li>
      <subj>Некласически логики,</subj> Философски факултет, изборен,
      хорариум<>2+2, лекции и упражнения: ст.н.с.<>Владимир Сотиров
   </li>

   <li>
      <subj>Философия на математиката --- II<>част,</subj> Философски
      факултет, изборен, хорариум<>2+0, лекции: ст.н.с.<>Владимир
      Сотиров
   </li>

</ul>

#include "footer"