↑ вверх

Помощь дистанционщикам!
ДО СибГУТИ (www.do.sibsutis.ru),
ДО СибАГС (www.sapanet.ru),
ДО НГУЭиУ (sdo.nsuem.ru),
ДО СибУПК (sdo.sibupk.su) и др ВУЗы

Корзина пуста!
Обратная связь




Вариант 23 Курс 205

50000
      
Просмотров: 183
Тип работы: Контрольная
Название предмета: Математическая логика и теория алгоритмов
Тема/вариант: Вариант 23 Курс 205
Объем работы: 6
ВУЗ: СибГУТИ
Дата выполнения: 2017-10-05
Размер файла, тип файла: 35.36 Kb, DOCX
Методические указания: Курс 205 (7510 Kb)

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

image018

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

Если бы у нее было много денег,  то она бы ездила в институт на такси  и тогда бы никогда не опаздывала.  У нее денег немного. Поэтому она постоянно опаздывает.

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

image067

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

image091

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

image143

 

© ЗачётНА5.РФ , 2019.
Всегда свежие работы Интернет-магазин готовых студенческих работ зачетНА5.РФ.
Я принимаю Яндекс.Деньги
ЗАКАЗАТЬ РАБОТУ
Отправь нам своё задание, и мы поищем твою работу в нашей базе готовых работ. А если не найдем, то порекомендуем партнеров, которые качественно смогут выполнить твой заказ.
(doc, docx, rtf, zip, rar, bmp, jpeg) не более 5 Мб