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

Курсът запознава с основите на съвременните операционни системи (ОС). Темите включват както запознаване с функциите на ОС така и въпроси, свързани с дизайна и вътрешни механизми при функционирането им. Изучава се интерфейс на ниво команден език. Материалът се илюстрира с примери от различни съвремени ОС, като UNIX, LINUX, MINIX, MS-DOS, Windows и др.
Тук ще бъде и извънучебното продължение на нововъведените консултации по курса.

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

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

Курсът е предназначен за студенти I курс от специалност компютърни науки. Дава приложение на темите, разгледани в курса Дискретни структури. Дава основата за курсовете: Езици за програмиране, Дизайн и анализ на алгоритми, Изчислимост и сложност и Семантики на езиците за програмиране.

Дизайн и анализ на алгоритми 2009

Курсът по Дизайн и анализ на алгоритми обръща по-сериозно внимание на понятията алгоритъм, сложност и на практически задачи, свързани с тях. Накратко - ще пишем код усмивка

Бази от данни 2008/2009

Курсът е предназначен за студенти от трети курс на бакалавърски програми Компютърни науки.