Каталог файлов
Главная » Файлы » Другие |
Лекции по математической логике и теории алгоритмов
12.01.2011, 11:07 | |
Лекции по математической логике и теории алгоритмов Автор: Н.К. Верещагин, А. Шень Краткое описание: 1. Вычислимость, разрешимость и перечислимость 2. Универсальные функции и неразрешимость 3. Нумерации и операции 4. Свойства главных нумераций 5. Теорема о неподвижной точке 6. m - сводимость и свойства перечислимых множеств 7. Вычисления с оракулом 8. Арифметическая иерархия 9. Машины Тьюринга 10. Арифметичность вычислимых функций 11. Рекурсивные функции Ссылки: | |
Сообщить о битой ссылке | |
Просмотров: 702 | Загрузок: 0 | Комментарии: 1 | Рейтинг: 0.0/0 |
Всего комментариев: 0 | |