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

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

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

Това е сайта на курса по "Изкуствен интелект", спец. Информатика, 4 курс, 2011/2012 учебна година

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

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

Операционни системи (Инф)

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

Структури от данни и програмиране (2011/12)

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