Курсът е въведение в класическата и съвременната теория на изчислимостта. Основните теми са теорията на автоматите и формалните езици, изчислимост с машини на Тюринг, Тезис на Чърч – Тюринг, неразрешимост, сложност , класовете P и NP, NP – пълни проблеми. Подходът е математически, но от гледна точка на компютърната наука. Целта на курса е да се разгледат основните идеи, модели и резултати, свързани с теоретичните основи на програмирането.
- Преподавател: Stefan Gerdzhikov
- Преподавател: Христо Ганчев
- Преподавател: Александра Соскова
- Преподавател: Вая Ракидзи
- Преподавател: Иван Христов
- Преподавател: Татяна Черногорова
- Преподавател: Petar Armyanov
- Преподавател: Мая Армянова
- Преподавател: Борислав Статев
- Преподавател: Йордан Стефанов
- Преподавател: Иво Стоянов
- Преподавател: Petar Armyanov
- Преподавател: Мая Армянова
- Преподавател: Богой Богданов
- Преподавател: Деян Димитров
- Преподавател: Моника Димитрова
- Преподавател: Ангел Николов
- Преподавател: Петър Петров
- Преподавател: Здравко Стойчев
- Преподавател: Иво Стоянов
- Преподавател: Ясен Банчев
- Преподавател: Александър Зейнелов
- Преподавател: Георги Пенчев
- Преподавател: Магдалина Тодорова
Включени са тематичи описания на лабораторните упражнения, провеждани в рамките на едноименния курс, който се чете през пети семестър за студентите от специалност Информатика. Описанията съдържат: от една страна - изброяване на материала, обект на усвояване в съответното занятие, от друга - условията на практическите задачи, задавани за реализиране в рамките на занятието.
- Преподавател: Христина Зашева
- Преподавател: Милко Крачунов
- Преподавател: Здравко Николов
- Преподавател: Мария Нишева-Павлова