Все разделы / Математика /


Страницу Назад
Поискать другие аналоги этой работы



Математическая логика и теория алгоритмов

Дата закачки: 08 Декабря 2009
Закачал: Lampa
    Посмотреть другие работы этого продавца

Тип работы: Работа Контрольная
Форматы файлов: Microsoft Word
Сдано в учебном заведении: СибГУТИ

Описание:
Содержание:
I. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
Построить машину тьюринга для перевода из одной конфигурации в другую.
Показать примитивную рекурсивность функции


Коментарии: 2008 год

Размер файла: 84,6 Кбайт
Фаил: Упакованные файлы (.rar)

 Скачать Скачать

 Добавить в корзину Добавить в корзину

    Скачано: 90         Сейчас качают: 5         Коментариев: 0


Не можешь найти то что нужно? Мы можем помочь сделать! 

От 350 руб. за реферат, низкие цены. Просто заполни форму и всё.

Спеши, предложение ограничено !




Страницу Назад

  Cодержание / Математика / Математическая логика и теория алгоритмов

Вход в аккаунт:

Войти

Перейти в режим шифрования SSL

Забыли ваш пароль?

Вы еще не зарегистрированы?

Создать новый Аккаунт




Сайт помощи студентам, без посредников!