Контрольная работа по дисциплине: Математическая логика.
-
Категории:
Математическая логика и теория алгоритмов, Работа Контрольная
-
Добавлен:
05.10.2023
-
Размер:
168 KB
-
Покупок:
0
-
Добавил:
IT-STUDHELP
Написать сообщение
Скачать
Состав работы
B8D26DC5-88E5-47F1-9190-1D54B72C3B97.doc
|
Работа представляет собой файл, который можно открыть в программе:
- Microsoft Word
Описание
Задание 2. Привести следующие формулы к минимальной КНФ.
3. ;
Задание 3.Проверить правильность логического вывода методом прямого преобразования, методом семантических таблиц и методом резолюций.
15. ;
Задание 4.Минимизировать логическую функцию F(a, b, c), заданную ТИ (табл.1), с помощью четырех методов:
1. Методом Квайна;
2. Методом испытания импликант;
3. Методом импликантных матриц;
4. Методом карт Карно.
Сравнить полученные минимизированные формы функции.
Таблица 1- ТИ функции Fi, i=21
a b c F21
0 0 0 1
0 0 1 1
0 1 0 0
0 1 1 0
1 0 0 0
1 0 1 1
1 1 0 0
1 1 1 1
Задание 6.Привести формулы к предваренной нормальной форме (ПНФ) и сколемовской нормальной форме (СНФ)
21.
=============================================
3. ;
Задание 3.Проверить правильность логического вывода методом прямого преобразования, методом семантических таблиц и методом резолюций.
15. ;
Задание 4.Минимизировать логическую функцию F(a, b, c), заданную ТИ (табл.1), с помощью четырех методов:
1. Методом Квайна;
2. Методом испытания импликант;
3. Методом импликантных матриц;
4. Методом карт Карно.
Сравнить полученные минимизированные формы функции.
Таблица 1- ТИ функции Fi, i=21
a b c F21
0 0 0 1
0 0 1 1
0 1 0 0
0 1 1 0
1 0 0 0
1 0 1 1
1 1 0 0
1 1 1 1
Задание 6.Привести формулы к предваренной нормальной форме (ПНФ) и сколемовской нормальной форме (СНФ)
21.
=============================================
Дополнительная информация
Оценка: Отлично
Дата оценки: 05.10.2023г.
Помогу с вашим онлайн тестом, другой работой или дисциплиной.
E-mail: sneroy20@gmail.com
E-mail: ego178@mail.ru
Дата оценки: 05.10.2023г.
Помогу с вашим онлайн тестом, другой работой или дисциплиной.
E-mail: sneroy20@gmail.com
E-mail: ego178@mail.ru
Похожие материалы
Контрольная работа по дисциплине: математическая логика и теории алгоритмов
Necron04
: 30 марта 2021
Задание по математической логике и теории алгоритмов
Исчисление высказываний
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
Варианты
1. Если человек обедает в кафе быстрого питания, то он голоден и куда-то торопится. Человек не обедает в кафе быстрого питания, хотя и очень торопится. Значит, он не
Necron04
: 30 марта 2021
500 руб.
Контрольная работа по дисциплине "Математическая логика". Вариант №20
sinikiss
: 19 сентября 2013
1) Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
2) Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
1. E(x, y) = И <=> x и y – один и тот же человек;
2. P(x, y) = И <=> x родитель y;
3. C(x, y) = И <=> x и y – супруги;
4. M(x) = И <=> x – мужчина;
5. W(x) = И <=> x – женщина.
С использованием этих предикатов записать формулы, выражающие следующее утверждения: Некоторые супруги бездетны
3) Привести формулу к п
sinikiss
: 19 сентября 2013
150 руб.
Контрольная работа по дисциплине «Математическая логика и теория алгоритмов»
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 руб.
Другие работы
Место и роль объективных и субъективных детерминант в оценке качества жизни населения муниципального образования
alfFRED
: 9 ноября 2013
В настоящее время в России уделяется особенное внимание подходам к определению роли государства в решении социально-экономических задач. Поворотным моментом в ценностно-мировоззренческом ориентире России стала концепция развития страны В.В. Путина, подчинённая единой логике и укладывающаяся в единую стратегию, получившую название «План Путина», состоящий в решении пяти основных задач, необходимых для превращения России в одну из величайших и наиболее развитых держав мира: сохранение и развитие Р
alfFRED
: 9 ноября 2013
10 руб.
Направляющие системы электросвязи. Вариант 1. 2 курс, 4 семестр.
Alexandr1305
: 8 мая 2020
В архив вложено 4 документа: непосредственно 1 и 2 лабораторные работы со всеми решениями, задачами, таблицами и графиками. А также 2 документа с тестовыми вопросами, которые нужно будет выполнить перед началом лабораторных работ (в тесте всего 10 вопросов, но в программе каждый раз открываются в разном порядке - общее количество вопросов - 30). На все 30 вопросов в 1 и 2 лабораторной работе в документе Ворд Вы найдете ответы (все верные).
Лабораторная работа № 1
1. ЦЕЛЬ РАБОТЫ
Целью работы яв
Alexandr1305
: 8 мая 2020
120 руб.
Валютная и налоговая политика государства в обеспечении условий возврата капитала в Россию
Qiwir
: 29 октября 2013
ВСТУПИТЕЛЬНОЕ СЛОВО
Российская экономика развивается в сложных, противоречивых условиях, испытывая на себе действие ряда позитивных и негативных факторов. Это находит отражение в экономической политике в целом и её важнейших составляющих – валютной и налоговой политике.
Особенность ситуации России состоит в том, что до конца 1999 г. не было достаточно определённых приоритетов экономической политики. В конце 1999 г. в статье В. Путина "Россия на рубеже тысячелетий" были обозначены основные на
Qiwir
: 29 октября 2013
10 руб.
ГОСТ Р 54307-2011 Дороги автомобильные общего пользования. Изделия для дорожной разметки. Полимерные ленты. Методы испытаний
GnobYTEL
: 29 июня 2013
Название англ.: Аutomobile roads of the general use. Horizontal illumination from artificial lighting. Control methods
Дата введения в действие: 01.09.2011
Область и условия применения: Настоящий стандарт распространяется на горизонтальную освещенность от искусственного освещения автомобильных дорог общего пользования и устанавливает методы её контроля
GnobYTEL
: 29 июня 2013
