Целта на курса е запознаването на студентите с машините на Пост и Тюринг. Програмирането на тях се изучава с помощта на конструиране на много и най-различни малки програми. С изучаване на възможностите на тези машини и паралела между тях и съвременните компютри студентите се запознават с (или обогатяват познанията за) основни понятия в информатиката: алгоритъм, диаграми и блок-схеми, анализ и синтез на програми, изчислими функции. Формулират се хипотезите (тезиси) на Чърч и Пост за изчислимост и се разглеждат разрешими и неразрешими алгоритмични проблеми. |
|