Курсът е
въведение в класическата и съвременната
теория на изчислимостта. Основните
теми са теорията на автоматите и
формалните езици, изчислимост с машини
на Тюринг, Тезис на Чърч – Тюринг,
неразрешимост, сложност , класовете P
и NP,
NP
– пълни проблеми. Подходът е математически,
но от гледна точка на компютърната
наука. Целта на курса е да се разгледат
основните идеи, модели и резултати,
свързани с теоретичните основи на
програмирането.
Курсът е
предназначен за студенти I
курс от специалност компютърни науки.
Дава приложение на темите, разгледани
в курса Дискретни структури. Дава
основата за курсовете: Езици за
програмиране, Дизайн и анализ на
алгоритми, Изчислимост и сложност и
Семантики на езиците за програмиране.
въведение в класическата и съвременната
теория на изчислимостта. Основните
теми са теорията на автоматите и
формалните езици, изчислимост с машини
на Тюринг, Тезис на Чърч – Тюринг,
неразрешимост, сложност , класовете P
и NP,
NP
– пълни проблеми. Подходът е математически,
но от гледна точка на компютърната
наука. Целта на курса е да се разгледат
основните идеи, модели и резултати,
свързани с теоретичните основи на
програмирането.
Курсът е
предназначен за студенти I
курс от специалност компютърни науки.
Дава приложение на темите, разгледани
в курса Дискретни структури. Дава
основата за курсовете: Езици за
програмиране, Дизайн и анализ на
алгоритми, Изчислимост и сложност и
Семантики на езиците за програмиране.
- Преподавател: Stefan Gerdzhikov
- Преподавател: Мартин Александров
- Преподавател: Даниел Велков
- Преподавател: Александра Соскова
Ще понапишем малко код, ще упражним малко алгоритми и ще проверим доколко сме ги усвоили..
- Преподавател: Anton Dimitrov
- Преподавател: Hristo Stefanov
- Преподавател: Anton Zhelyazkov
- Преподавател: Йордан Зайков
- Преподавател: Красимир Манев
- Преподавател: Мартин Обрешков
- Преподавател: Орлин Тенчев