Страницу Назад
Поискать другие аналоги этой работы
250 Математическая логика и теория алгоритмов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 |
Есть вопросы? Посмотри часто задаваемые вопросы и ответы на них. Опять не то? Мы можем помочь сделать! Некоторые похожие работы:СИНЕРГИЯ Нечеткая логика и нейронные сети 2023 год Тест 70 баллов 2023 годКонтрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №20 Экзаменационная работа по дисциплине: Математическая логика и теория алгоритмов. Билет 1 Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант № 14 Онлайн Тест 1 по дисциплине: Математическая логика и теория алгоритмов. Математическая логика и теория алгоритмов. Контрольная работа. Вариант №9 Зачетная работа по дисциплине: Математическая логика и теория алгоритмов. Билет №21 Ещё искать по базе с такими же ключевыми словами. |
Не можешь найти то что нужно? Мы можем помочь сделать! От 350 руб. за реферат, низкие цены. Спеши, предложение ограничено ! |
Вход в аккаунт:
Страницу Назад
Cодержание / Математическая логика и теория алгоритмов / Математическая логика и теория алгоритмов
Вход в аккаунт: