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