Контрольная работа по дисциплине "Математическая логика и теория алгоритмов". Вариант №17
-
Категории:
СибГУТИ, Математическая логика и теория алгоритмов, Работа Контрольная
-
Добавлен:
22.01.2015
-
Размер:
218 KB
-
Покупок:
1
-
Добавил:
Nikis
Написать сообщение
Скачать
Состав работы
31478AA8-7908-4F2D-A551-AB3B7C27E245.doc
|
Работа представляет собой файл, который можно открыть в программе:
- Microsoft Word
Описание
Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
E(x, y) = И <=> x и y – один и тот же человек;
P(x, y) = И <=> x родитель y;
C(x, y) = И <=> x и y – супруги;
M(x) = И <=> x – мужчина;
W(x) = И <=> x – женщина.
С использованием этих предикатов записать формулы, выражающие следующие утверждения: X – тесть
Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. ( x , y ,z 1) Проверить работу машины Тьюринга для конкретных значений x , y , z .
Показать примитивную рекурсивность функции f(x,y)
Привести формулу к предваренной форме
Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
E(x, y) = И <=> x и y – один и тот же человек;
P(x, y) = И <=> x родитель y;
C(x, y) = И <=> x и y – супруги;
M(x) = И <=> x – мужчина;
W(x) = И <=> x – женщина.
С использованием этих предикатов записать формулы, выражающие следующие утверждения: X – тесть
Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. ( x , y ,z 1) Проверить работу машины Тьюринга для конкретных значений x , y , z .
Показать примитивную рекурсивность функции f(x,y)
Привести формулу к предваренной форме
Дополнительная информация
Вид работы: Контрольная работа 1
Оценка:Зачет
Оценка:Зачет
Похожие материалы
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №17
IT-STUDHELP
: 4 ноября 2022
Вариант 17
-------------------------------------------
Контрольная работа
по дисциплине
«Математическая логика и теория алгоритмов»
-------------------------------------------
Задача 1. Построить таблицу истинности логической формулы.
17. (A⟶B)⟶((C⟶A)⟶(C~B))
Задача 2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции.
17. Если погода хорошая, то самолет взлетит. Если самолет взлетает, то все пассажиры на борту. На борту все п
IT-STUDHELP
: 4 ноября 2022
680 руб.
Контрольная работа по дисциплине: математическая логика и теории алгоритмов
Necron04
: 30 марта 2021
Задание по математической логике и теории алгоритмов
Исчисление высказываний
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
Варианты
1. Если человек обедает в кафе быстрого питания, то он голоден и куда-то торопится. Человек не обедает в кафе быстрого питания, хотя и очень торопится. Значит, он не
Necron04
: 30 марта 2021
500 руб.
Контрольная работа по дисциплине «Математическая логика и теория алгоритмов»
m9c1k
: 16 июля 2010
1) Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
2) Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
E(x, y) = И <=> x и y – один и тот же человек;
P(x, y) = И <=> x родитель y;
C(x, y) = И <=> x и y – супруги;
M(x) = И <=> x – мужчина;
W(x) = И <=> x – женщина.
С использованием этих предикатов записать формулы, выражающие следующие утверждения:
X – прабабушка.
3) Привести формулу к предваренной форме
4) Пос
m9c1k
: 16 июля 2010
270 руб.
КОНТРОЛЬНАЯ РАБОТА по дисциплине «Математическая логика и теория алгоритмов» Вариант 6
MehVV
: 31 октября 2025
Вариант №6
Задача 1. Построить таблицу истинности логической формулы.
Задача 2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции.
Задача 3. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме. Для каждого преобразования указать, какие равносильности были использованы. Для итоговой формулы указать свободные и связанные переменные.
Задача 4. На координатной плоскости даны множества A и B
MehVV
: 31 октября 2025
300 руб.
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант 2
Учеба "Под ключ"
: 7 июля 2025
Вариант 2
Задание №1. Логика высказываний
Данное высказывание записать в виде формулы логики высказываний. Построить отрицание данного высказывания в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык.
Тело, лишённое опоры, падает на землю.
Задание №2. Логика предикатов
Данное суждение записать в виде формулы логики предикатов. Построить отрицание данного суждения в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык.
Некоторые
Учеба "Под ключ"
: 7 июля 2025
1000 руб.
Контрольная работа По дисциплине: Математическая логика и теория алгоритмов Вариант 4
Nitros
: 28 июня 2025
Задание по математической логике и теории алгоритмов
Исчисление высказываний
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
Варианты
4)
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
Варианты
4. Если бы он хорошо знал английский язык или хотя бы она говорила помедленней, то он бы ее понял. Но он ее не понял. Значит, она как всегда го
Nitros
: 28 июня 2025
450 руб.
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №9
holm4enko87
: 20 ноября 2024
ЗАДАНИЕ No1: ЛОГИКА ВЫСКАЗЫВАНИЙ.
Данное высказывание записать в виде формулы логики высказываний. Построить отрицание данного высказывания в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык.
Вариант 9. Если число делится на 3, то сумма его цифр делится на 3.
ЗАДАНИЕ No2: ЛОГИКА ПРЕДИКАТОВ.
Данное суждение записать в виде формулы логики предикатов. Построить отрицание данного суждения в виде формулы, не содержащей внешних знаков отрицания. Перевести на естест
holm4enko87
: 20 ноября 2024
350 руб.
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант 12
holm4enko87
: 11 ноября 2024
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой (см. скрин).
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
Намеченная атака удастся, только если захватить противника врасплох или же если он беспечен. Захватить его врасплох можно только, если он беспечен. Значит, атака удастся.
3. Пользуясь определением формулы логики предикатов проверить, что выраж
holm4enko87
: 11 ноября 2024
700 руб.
Другие работы
Модели социально-экономического развития общества на примере Японии
elementpio
: 14 сентября 2013
Содержание
Введение
1. Теоретические аспекты понятия «экономическая модель»
2. Социально-экономическая модель Японии
Заключение
Список использованной литературы
Введение
Современная Япония - высокоразвитое в промышленном и научно-техническом отношении государство, один из трех мировых центров империалистического соперничества. Особенности экономического развития этой страны, ее достижения в передовых отраслях научно-технического прогресса, способность быстро реагировать на изменяющ
elementpio
: 14 сентября 2013
Бухгалтерский учет, его объекты и основные задачи
Lokard
: 30 декабря 2014
Введение
Ведение бухгалтерского учета осуществляется в соответствии с нормативными документами, имеющими разный статус. Одни из них обязательны к применению (Закон о бухгалтерском учете, положения по бухгалтерскому учету), другие носят рекомендательный характер (План счетов, методические указания, комментарии).
Основным документом по бухгалтерскому учету является ФЗ О бухгалтерском учете № 129-ФЗ от 21.11.96 г., который определяет правовые основы бухгалтерского учета, его содержание, принципы,
Lokard
: 30 декабря 2014
19 руб.
Контрольная работа №1 по дисциплине: Энергоснабжение телекоммуникационных систем (вариант 4)
hellofromalexey
: 3 февраля 2020
Задание 1
Начертить схему выпрямления и временные диаграммы напряжения на её входе и выходе, пояснить принцип работы рассматриваемого выпрямителя.
Определить:
1) Действующее значение напряжения U2 и тока I2 на вторичной обмотке трансформатора;
2) Частоту пульсаций первой (основной) гармоники f1 выходного напряжения и коэффициент пульсации по первой гармонике КП1;
3) Коэффициент трансформации силового трансформатора КТР.
Выбрать тип кремниевых диодов, рассчитать коэффициент полезного действия η в
hellofromalexey
: 3 февраля 2020
250 руб.
Контрольная работа №1, 1-й семестр. Информатика
Uiktor
: 17 декабря 2015
1. Характеристика периферийных устройств персонального компьютера( на этот вопрос весь интернет забит ответами бесплатно)
2. Сформировать двумерный массив А размером 5*7 с помощью генератора случайных чисел и вывести элементы массива на экран. Найти суммы положительных элементов каждой строки матрицы и записать их в одномерный массив В. Вывести элементы массива В на экран.
Uiktor
: 17 декабря 2015
90 руб.
