Контрольная работа по методичке: Математическая логика. Д.В. Бутенина и В.М. Лагодинский. Вариант 1. 9 задач
-
Категории:
Работа Контрольная, Дискретная математика
-
Добавлен:
18.09.2014
-
Размер:
168 KB
-
Покупок:
6
-
Добавил:
Максим102
Написать сообщение
Скачать
Состав работы
5FF0A3A4-0711-47B9-B936-F50D3FA9D884.docx
|
Работа представляет собой файл, который можно открыть в программе:
- Microsoft Word
Описание
Контрольная работа по методичке: Математическая логика. Д.В. Бутенина и В.М. Лагодинский. Вариант 1. 9 задач
Вариант 1.
Задание №1 Доказать равенство множеств.
Задание №2. Построить таблицу истинности для логической функции .
Задание № 3. Найти выражение для функции, двойственной функции и определить номер двойственной функции.
.
Задание № 4. Упростить выражение для функции .
.
Задание № 5 Найти СДНФ и СКНФ для функции с заданным номером и упростить по методу Квайна СДНФ.
.
Задание № 6 Найти полином Жегалкина для функции с заданным номером.
.
Задание №7 Доказать секвенцию табличным методом.
.
Задание №8. Доказать тавтологию методом резолюций
.
Задание №9. Проанализировать вывод секвенции.
1) 4) 7)
2) 5) 8)
3) 6) 9)
Смотри файл.
Вариант 1.
Задание №1 Доказать равенство множеств.
Задание №2. Построить таблицу истинности для логической функции .
Задание № 3. Найти выражение для функции, двойственной функции и определить номер двойственной функции.
.
Задание № 4. Упростить выражение для функции .
.
Задание № 5 Найти СДНФ и СКНФ для функции с заданным номером и упростить по методу Квайна СДНФ.
.
Задание № 6 Найти полином Жегалкина для функции с заданным номером.
.
Задание №7 Доказать секвенцию табличным методом.
.
Задание №8. Доказать тавтологию методом резолюций
.
Задание №9. Проанализировать вывод секвенции.
1) 4) 7)
2) 5) 8)
3) 6) 9)
Смотри файл.
Похожие материалы
Контрольная работа по методичке: Математическая логика. Д.В. Бутенина и В.М. Лагодинский. Вариант 7. 9 задач
Максим102
: 31 июля 2014
Контрольная по методичке:
Математическая логика. Д.В. Бутенина и В.М. Лагодинский.
Вариант 7.
9 задач
Вариант 1.
Задание №1 Доказать равенство множеств.
Задание №2. Построить таблицу истинности для логической функции .
Задание № 3. Найти выражение для функции, двойственной функции и определить номер двойственной функции.
.
Задание № 4. Упростить выражение для функции .
.
Задание № 5 Найти СДНФ и СКНФ для функции с заданным номером и упростить по методу Квайна СДНФ.
.
Задание № 6 Найти полин
Максим102
: 31 июля 2014
200 руб.
Математическая логика и теория алгоритмов. вариант №1
Павел161
: 29 июня 2020
А – день даты (от 1 до 31) отправки экзаменационного задания, В – месяц даты (от 1 до 12) отправки экзаменационного задания.
1. Функция получена операцией примитивной рекурсии из функций и .
Вычислить , если ,
2. Функция получена операцией суперпозиции функций , , ,
Вычислить , если , , ,
.
3. Проверить правильность рассуждения (метод любой)
Если ослик Иа пойдет гулять, то он обязательно потеряет хвост. Ослик Иа пойдет гулять, если Вини-пух пойдет с ним. Вини-пух решил ос
Павел161
: 29 июня 2020
500 руб.
Математическая логика и теория алгоритмов, Вариант №1
Efimenko250793
: 6 января 2018
1. Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
1. Если подозреваемый совершил кражу, то либо кража была тщательно подготовлена, либо имелся соучастник. Если бы кража была тщательно подготовлена, то был бы соучастник. Значит, подозреваемый не виновен в краже.
3 Пользуясь определением формулы логи
Efimenko250793
: 6 января 2018
650 руб.
Контрольная работа по математической логике. Вариант №1
Druzhba1356
: 2 декабря 2014
Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций
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. Привести формулу к предваренной форме
4. Построить машину Тьюринга для перевода из одной конфигурации в другую.
. На ленте всех ма
Druzhba1356
: 2 декабря 2014
100 руб.
Зачетная работа по математической логике. Вариант №1
Nicola90
: 28 апреля 2013
Вопрос 26. Проверьте правильность рассуждений:
Если он принадлежит к нашей компании, то он храбр и на него можно положиться. Он не принадлежит к нашей компании. Значит, он не храбр или же на него нельзя положиться.
Ответ:
Рассмотрим выражение «Если он принадлежит к нашей компании (А), то он храбр (В) и на него можно положиться (С).»
В данном рассуждении мы можем увидеть:
Nicola90
: 28 апреля 2013
150 руб.
Контрольная работа по математической логике. Вариант №1
Nicola90
: 28 апреля 2013
Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций
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. Привести формулу к предваренной форме
4. Построить машину Тьюринга для перевода из одной конфигурации в другую.
. На ленте всех
Nicola90
: 28 апреля 2013
120 руб.
Элементы математической логики
alfFRED
: 12 августа 2013
Искусство логического мышления
В процессе всей своей деятельности, человеку приходится разрешать различные проблемы и задачи. Самая суть нашего мыслительного процесса заключается в поиске решений. И конечно хотелось бы находить нужные решения, по возможности быстро. Однако очень часто наши рассуждения идут в неверном направлении, и мы приходим к ошибочному выводу. Приходится возвращаться к тому, с чего начинали и искать решение в другом направлении. Наш ум берясь за задачу видит сразу много путе
alfFRED
: 12 августа 2013
10 руб.
Математическая логика и теория алгоритмов. Контрольная работа. Вариант: 1.
Cole82
: 1 июня 2015
1. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
2. Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты.
3. Привести формулу к предваренной форме.
4. Построить машину Тьюринга для перевода из одной конфигурации в другую. На ленте всех машин Тьюринга записаны лишь нули и единицы, при этом пустые ячейки содержат нули. ( x , y ,z 1) Проверить работу машины Тьюринга для конкретных значений x , y , z .
5. Показать прими
Cole82
: 1 июня 2015
21 руб.
Другие работы
Гидравлика Севмашвтуз 2016 Задача 36 Вариант 6
Z24
: 1 ноября 2025
Вода вытекает из бассейна шириной В и глубиной Н1 в лоток шириной b и глубиной H2 через круглое отверстие в тонкой стенке диаметром d, центр которого расположен на расстоянии а=0,1 м от дна бассейна. Определить расход воды Q, проходящей через отверстие.
Z24
: 1 ноября 2025
150 руб.
Административная ответственность и ее отличие от других видов юридической ответственности
elementpio
: 17 февраля 2013
Административная ответственность и ее отличие от других видов юридической ответственности. Обстоятельства, смягчающие административную ответственность. Задачи производства по делам об административных правонарушениях. Состав административного правонарушения.
elementpio
: 17 февраля 2013
Курсовая работа по дисциплине «Основы теории цепей» На тему: «Расчет электрических фильтров». Вариант №36
xtrail
: 3 мая 2013
Содержание:
Введение. 1 стр.
1. Задание на курсовую работу. 2 стр.
2. Расчет полосового LC-фильтра. 4 стр.
2.1. Расчет амплитудног
xtrail
: 3 мая 2013
450 руб.
Лабораторная работа №1 по предмету: Теория электрических цепей. Вариант №16
Shaman
: 25 ноября 2016
Лабораторная работа № 1
Законы Ома и Кирхгофа в резистивных цепях.
Работа подходит для всех вариантов с последней цифрой пароля 6.
В архиве имеется так же электронная схема для Electronics Workbench.
Shaman
: 25 ноября 2016
100 руб.
