2
11.
|
Тема 11. Применение логики предикатов к математике. Исчисление аксиоматических предикатов. Применение логики предикатов к математике. Исчисление аксиоматических предикатов.
|
2
|
12.
|
Тема 12. Понятие алгоритма и его характеристики. Разрешимые и счетные множества. Понятие алгоритма и его характеристики. Разрешимые и счетные множества.
|
2
|
13.
|
Тема 13. Машины Тьюринга. Реализация алгоритма на машине Тьюринга. Операции на машине Тьюринга.
|
2
|
14.
|
Тема 14. Основная гипотеза теории алгоритмов. Нормальные марковские алгоритмы. Основная гипотеза теории алгоритмов. Нормальные марковские алгоритмы.
|
2
|
15.
|
Тема 15. Вычислимые функции по Маркову . Вычислимые марковские функции.
|
2
|
Всего: 30 часов
|
ПРИМЕЧАНИЕ: Практические занятия должны проводиться одним профессором-преподавателем на академическую группу в аудитории, оснащенной мультимедийным оборудованием. Уроки должны проводиться активными и интерактивными методами, должны использоваться соответствующие педагогические и информационные технологии.
Самостоятельное обучение и независимый план обучения
Do'stlaringiz bilan baham: |
