Контрольная работа по методичке: Математическая логика. Д.В. Бутенина и В.М. Лагодинский. Вариант 7. 9 задач
-
Категории:
Работа Контрольная, Дискретная математика
-
Добавлен:
31.07.2014
-
Размер:
174 KB
-
Покупок:
5
-
Добавил:
Максим102
Написать сообщение
Скачать
Состав работы
7332E37A-B57F-4FCF-BB99-4DDB64EBA302.docx
|
Необходимые программы
Работа представляет собой файл, который можно открыть в программе:
- Microsoft Word
Описание
Контрольная по методичке:
Математическая логика. Д.В. Бутенина и В.М. Лагодинский.
Вариант 7.
9 задач
Вариант 1.
Задание №1 Доказать равенство множеств.
Задание №2. Построить таблицу истинности для логической функции .
Задание № 3. Найти выражение для функции, двойственной функции и определить номер двойственной функции.
.
Задание № 4. Упростить выражение для функции .
.
Задание № 5 Найти СДНФ и СКНФ для функции с заданным номером и упростить по методу Квайна СДНФ.
.
Задание № 6 Найти полином Жегалкина для функции с заданным номером.
.
Задание №7 Доказать секвенцию табличным методом.
.
Задание №8. Доказать тавтологию методом резолюций
.
Задание №9. Проанализировать вывод секвенции.
1) 4) 7)
2) 5) 8)
3) 6) 9)
Смотри файл.
Математическая логика. Д.В. Бутенина и В.М. Лагодинский.
Вариант 7.
9 задач
Вариант 1.
Задание №1 Доказать равенство множеств.
Задание №2. Построить таблицу истинности для логической функции .
Задание № 3. Найти выражение для функции, двойственной функции и определить номер двойственной функции.
.
Задание № 4. Упростить выражение для функции .
.
Задание № 5 Найти СДНФ и СКНФ для функции с заданным номером и упростить по методу Квайна СДНФ.
.
Задание № 6 Найти полином Жегалкина для функции с заданным номером.
.
Задание №7 Доказать секвенцию табличным методом.
.
Задание №8. Доказать тавтологию методом резолюций
.
Задание №9. Проанализировать вывод секвенции.
1) 4) 7)
2) 5) 8)
3) 6) 9)
Смотри файл.
Похожие материалы
Контрольная работа по методичке: Математическая логика. Д.В. Бутенина и В.М. Лагодинский. Вариант 1. 9 задач
Максим102
: 18 сентября 2014
Контрольная работа по методичке: Математическая логика. Д.В. Бутенина и В.М. Лагодинский. Вариант 1. 9 задач
Вариант 1.
Задание №1 Доказать равенство множеств.
Задание №2. Построить таблицу истинности для логической функции .
Задание № 3. Найти выражение для функции, двойственной функции и определить номер двойственной функции.
.
Задание № 4. Упростить выражение для функции .
.
Задание № 5 Найти СДНФ и СКНФ для функции с заданным номером и упростить по методу Квайна СДНФ.
.
Задание № 6 Найти
Максим102
: 18 сентября 2014
200 руб.
Математическая логика и теория алгоритмов. Контрольная работа, Вариант 7.
blur
: 31 августа 2023
Задача 1. Построить таблицу истинности логической формулы. ((A→B)→(A~C))→(A→(B→C))
Задача 2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции.
Если в декабре будет сильный мороз, то озеро замерзнет. Если толщина льда будет больше метра, то можно устроить хоккейный матч на озере. В декабре стояла холодная погода и толщина льда стала 2 метра. Значит, хоккейный мат состоится.
Задача 3. В формуле указать свободные и связанные перем
blur
: 31 августа 2023
150 руб.
Математическая логика и теория алгоритмов. Контрольная работа. Вариант №7
Damovoy
: 4 ноября 2020
Задания для варианта 7.
1. Пользуясь определением формулы исчисления высказываний проверить, является ли данное выражение формулой.
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
Незнание правил дорожного движения не освобождает от ответственности в случае их несоблюдения. При нарушении правил водитель несет ответственность. Следовательно, знать правила нужно.
3. Пользуясь определением формулы логик
Damovoy
: 4 ноября 2020
110 руб.
Контрольная работа. Математическая логика и теория алгоритмов. Вариант №7
Znich
: 31 марта 2016
1) Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
2) Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
3)Пользуясь определением формулы логики предикатов проверить, что выражение является формулой. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме
4) Построить машину Тьюринга для перевода из начальной конфигурации
Znich
: 31 марта 2016
150 руб.
Контрольная работа: Математическая логика и теория алгоритмов. Вариант №7
ДО Сибгути
: 4 февраля 2016
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 – женщина.
С использованием этих предикатов записать формулу, выражающую следующее утверждение: X – шурин.
3. Привести формулу к
ДО Сибгути
: 4 февраля 2016
70 руб.
Математическая логика и теория алгоритмов. Контрольная работа. Вариант №7
GTV8
: 10 сентября 2012
I. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
II. Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
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 – женщина.
С использованием этих предикатов записать формулу, выражающую следующее утверждение: X – шурин.
III. Привести формулу к предварен
GTV8
: 10 сентября 2012
500 руб.
Элементы математической логики
alfFRED
: 12 августа 2013
Искусство логического мышления
В процессе всей своей деятельности, человеку приходится разрешать различные проблемы и задачи. Самая суть нашего мыслительного процесса заключается в поиске решений. И конечно хотелось бы находить нужные решения, по возможности быстро. Однако очень часто наши рассуждения идут в неверном направлении, и мы приходим к ошибочному выводу. Приходится возвращаться к тому, с чего начинали и искать решение в другом направлении. Наш ум берясь за задачу видит сразу много путе
alfFRED
: 12 августа 2013
10 руб.
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №7
hikewa8019
: 8 февраля 2021
Вариант 7
Задача 1. Построить таблицу истинности логической формулы.
((A→B)→(A~C))→(A→(B→C))
Задача 2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции
Если в декабре будет сильный мороз, то озеро замерзнет. Если толщина льда будет больше метра, то можно устроить хоккейный матч на озере. В декабре стояла холодная погода и толщина льда стала 2 метра. Значит, хоккейный матч состоится.
Задача 3. В формуле указать свободные и связ
hikewa8019
: 8 февраля 2021
150 руб.
Другие работы
Астрономические причины хронологических сдвигов
Elfa254
: 10 августа 2013
Если мы отметим на временной оси даты известных нам исторических событий, то получим, так называемую, глобальную хронологическую карту. Несмотря на новое и наукообразное звучание этого термина, предложенного А.Т. Фоменко, содержание его хорошо известно по крайней мере с 16 века, когда Иосиф Скалигер свёл в единую таблицу события библейской и светской истории человечества в хронологическом порядке. Такие таблицы удобны в употреблении, поэтому они составляются и в наше время. Для ознакомления с их
Elfa254
: 10 августа 2013
Ценообразование и система цен на продукцию услуги в рыночной экономике
alfFRED
: 6 ноября 2013
Введение……………………………………………………………………..........3
Глава 1. Цена - денежное выражение стоимости товара………………………4
1.1.Сущность цены………………………………………………………...4
1.2. Система цен на продукцию и их структура…………………………6
1.3. Факторы, влияющие на уровень цен………………………………...9
1.4. Функции цены………………………………………………………..12
Глава 2.Классификация цен по различным критериям……………………….14
2.1.Классификация цен по степени регулируемости…………………...14
2.2.Классификация цен по характеру обслуживаемого оборота………15
2.3
alfFRED
: 6 ноября 2013
10 руб.
Благоустройство внутри дворовой территории
alfFRED
: 28 августа 2013
В настоящее время благоустройству и озеленению городской среды уделяется особое внимание, о чем говорит принципиальный переход от решения чисто утилитарных задач к созданию гармоничной среды, имеющей определенную эстетическую ценность вне зависимости от величины и значения объекта в структуре города. Здесь трудно провести грань между архитектурным и дизайнерским проектированием.
Работы по благоустройству территории включают в себя:
Создание дорожек и тропинок на участке
Строительство подпорны
alfFRED
: 28 августа 2013
Гидравлика Пермская ГСХА Задача 5 Вариант 3
Z24
: 3 ноября 2025
Определить глубину воды H в резервуаре А, если известны показания ртутного манометра h1, пьезометра h.
Z24
: 3 ноября 2025
150 руб.
