Для студентов по предмету МатематикаНеразрешимость логики первого порядкаНеразрешимость логики первого порядка
2016-07-302016-07-30СтудИзба
Курсовая работа: Неразрешимость логики первого порядка
Описание
Неразрешимость логики первого порядка
Содержание
- Введение
- 2. Основные понятия логики первого порядка
- 3. Понятие машины Тьюринга
- 4. Доказательство неразрешимости проблемы остановки
- 5. Неразрешимости логики первого порядка
- Вывод неразрешимости логики первого порядка из неразрешимости проблемы остановки
- Доказательство неразрешимости логики первого порядка методом Геделя
- Заключение
- Список использованных источников
Характеристики курсовой работы
Предмет
Просмотров
109
Качество
Идеальное компьютерное
Размер
241,08 Kb
Список файлов
TaskMen
30 июля 2016 в 10:58
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
