Настройки на записването

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

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

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