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