Езици, автомати и изчислимост 2012/2013

Курсът е въведение в класическата и съвременната теория на изчислимостта. Основните теми са теорията на автоматите и формалните езици, изчислимост с машини на Тюринг, Тезис на Чърч – Тюринг, неразрешимост, сложност , класовете P и NP, NP – пълни проблеми. Подходът е математически, но от гледна точка на компютърната наука. Целта на курса е да се разгледат основните идеи, модели и резултати, свързани с теоретичните основи на програмирането.

Числени методи за диференциални уравнения (2012/2013)

Структури от Данни и Програмиране

Увод в Програмирането

Функционално програмиране (2012/2013)

Опеpационни системи - Инфоpматика

Включени са тематичи описания на лабораторните упражнения, провеждани в рамките на едноименния курс, който се чете през пети семестър за студентите от специалност Информатика. Описанията съдържат: от една страна - изброяване на материала, обект на усвояване в съответното занятие, от друга - условията на практическите задачи, задавани за реализиране в рамките на занятието.

Изкуствен интелект (2012/2013)