↑ вверх

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

Этот сайт продаётся. По всем вопросам обращаться по +7 913 923-45-34 (Денис)
Корзина пуста!
Обратная связь




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

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

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

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

7. Незнание правил дорожного движения не освобождает от  ответственности в случае их несоблюдения. При нарушении правил водитель несет ответственность. Следовательно,  знать  правила нужно.

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

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

 

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

 

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