Математическая логика и теория алгоритмов. Вариант 20

ВСЁ ДЛЯ СТУДЕНТА

Пятница, 10.01.2025, 16:50

Приветствую Вас, Гость

[ Новые сообщения · Участники · Правила форума · Поиск · RSS ]

Страница 1 из 1
1

Математическая логика и теория алгоритмов. Вариант 20 (Контрольная работа)

Математическая логика и теория алгоритмов. Вариант 20

engineerklub

Дата: Вторник, 31.10.2017, 08:24 | Сообщение # 1

Генералиссимус

Группа: Администраторы

Сообщений: 29399

Репутация: 0

Статус: Offline

Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант 20

Форматы файлов: Microsoft Word
Сдано в учебном заведении: ДО СИБГУТИ

Описание:
Исчисление высказываний
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.

2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
Мне обязательно нужно сходить в магазин. Я хожу в магазин только тогда, когда я свободен. Когда я свободен, я предпочитаю отдыхать. Значит, я не пойду в магазин.

Исчисление предикатов
3. Пользуясь определением формулы логики предикатов проверить, что выражение является формулой. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме

Теория алгоритмов
4. Построить машину Тьюринга для перевода из начальной конфигурации в заключительную. На ленте МТ записаны нули и единицы, пустые ячейки содержат нули. Проверить работу машины Тьюринга для конкретных значений x,y. Нарисовать граф, соответствующий построенной МТ.

5. Показать примитивную рекурсивность функции f(x,y).

Комментарии: Зачет без замечаний!
Дата сдачи: октябрь 2017 г.
Преподаватель: Мачикина Е.П.
Помогу с другим вариантом.

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

Математическая логика и теория алгоритмов. Вариант 20 (Контрольная работа)

Страница 1 из 1
1