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