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

Съдържанието на курса - преподаван и упражняван материал, както и разпределението му по седмици, са идентични с едноименните курсове за специалности Компютърни Науки и Софтуерно Инженерство, четени през летните семестри съответно на 2009/2010 и 2010/2011 учебни години

Операционни Системи

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

Семинарни и лабораторни упражнения по Увод в програмирането.

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

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

Структури от Данни и Програмиране (Информатика) 2010/11

Тук ще се публикуват материали и ще се предават задания по СДП и СДП Практикум за спец. Информатика. Кодът за записване е SDP2011.

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

Това е сайта на курса по "Изкуствен интелект", спец. Информатика, зимен семестър 2010/2011

Числени методи за диференциални уравнения 2010/11

Това са упражненията към курса "Числени методи за диференциални уравнения " 2010-2011, който се чете от доц. Черногорова /информатика 4 курс/.

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


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

Изложението се базира на функционалния език Scheme, диалект на езика Лисп.