2
11.
|
Тема 11. Применение логики предикатов к математике. Исчисление аксиоматических предикатов . Применение логики предикатов к математике.
|
2
|
12.
|
Тема 12. Исчисление аксиоматики предикатов . Некоторые приложения аксиоматического исчисления предикатов.
|
2
|
13.
|
Тема 13. Понятие алгоритма и его характеристики. Разрешимые и счетные множества. Понятие алгоритма и его характеристики. Разрешимые и счетные множества.
|
2
|
14 .
|
Тема 14. Машины Тьюринга . Машины Тьюринга. Реализация алгоритма на машине Тьюринга. Операции на машине Тьюринга.
|
2
|
15.
|
Тема 15. Основная гипотеза теории алгоритмов. Нормальные марковские алгоритмы. Вычислимые функции по Маркову . Основная гипотеза теории алгоритмов. Нормальные марковские алгоритмы. Вычислимые марковские функции
|
2
|
Всего: 30 часов
|
