Описание
Рекурсивные функции и вычислимость, алгоритмы, тезис Черча, машины Тьюринга, вычислительная логика, NP-полнота.
Предварительные требования
- Предпосылка(и): MATH 2100 или COMP 3805 или разрешение Школы.
Условия и порядок
- Также значится как MATH 4803 .
- Предпосылка(и): MATH 2100 или COMP 3805 или разрешение Школы.
Текст источника на языке оригинала
Recursive functions and computability, algorithms, Church's thesis, Turing machines, computational logic, NP-completeness.
- Prerequisite(s): MATH 2100 or COMP 3805 or permission of the School.
- Also listed as MATH 4803 .
Источники и ссылки
Даты и источники сохраняются, чтобы помочь вам проверить сведения. Переводы предлагаются для удобства чтения; официальным источником для условий и требований является оригинал.
Исходная ссылка : https://calendar.carleton.ca/undergrad/courses/COMP/