Математическая логика и теория алгоритмов
ID: 28623
Дата закачки: 08 Декабря 2009
Закачал:
Lampa (Напишите, если есть вопросы)
Посмотреть другие работы этого продавца
Тип работы:
Работа Контрольная
Форматы файлов:
Microsoft Word
Сдано в учебном заведении:
СибГУТИ
Описание:
Содержание:
I. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
Построить машину тьюринга для перевода из одной конфигурации в другую.
Показать примитивную рекурсивность функции
Комментарии:
2008 год
Размер файла:
84,6 Кбайт
Фаил:
(.rar)
Скачано: 144
Коментариев: 0