Страницу Назад
Поискать другие аналоги этой работы
Математическая логика и теория алгоритмовID: 171028Дата закачки: 21 Июня 2016 Продавец: danila1271 (Напишите, если есть вопросы) Посмотреть другие работы этого продавца Тип работы: Работа Контрольная Форматы файлов: Microsoft Word Сдано в учебном заведении: ******* Не известно Описание: 1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой. ¬(A→¬(¬B→C))→((A→¬B)→¬(A→¬C)) 2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций. Мне обязательно нужно сходить в магазин. Я хожу в магазин только тогда, когда я свободен. Когда я свободен, я предпочитаю отдыхать. Значит, я не пойду в магазин. 3. Пользуясь определением формулы логики предикатов проверить, что выражение является формулой. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме (∀xQ(x,y)→∃yQ(x,y))v∃xR(x,y) 4. Построить машину Тьюринга для перевода из начальной конфигурации в заключительную. На ленте МТ записаны нули и единицы, пустые ячейки содержат нули, . Проверить работу машины Тьюринга для конкретных значений x,y. Нарисовать граф, соответствующий построенной МТ. 5. Показать примитивную рекурсивность функции f (x,y). f(x,y)={■(3,y=6,@4,y≥7@ x+1,иначе)┤ Комментарии: 2016 ДО СИБГУТИ Мачикина Елена Павловна Размер файла: 0 байт Фаил: 
(.)
Внимание! Фаил удален. Пожалуйста воспользуйтесь поиском. Скачано: 3 Коментариев: 0 |
Есть вопросы? Посмотри часто задаваемые вопросы и ответы на них. Опять не то? Мы можем помочь сделать! |
Вход в аккаунт:
Страницу Назад
Cодержание / Математическая логика и теория алгоритмов / Математическая логика и теория алгоритмов
Вход в аккаунт: