Контрольная работа по методичке: Математическая логика. Д.В. Бутенина и В.М. Лагодинский. Вариант 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
Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций
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 руб.
Зачетная работа по математической логике. Вариант №1
Nicola90
: 28 апреля 2013
Вопрос 26. Проверьте правильность рассуждений:
Если он принадлежит к нашей компании, то он храбр и на него можно положиться. Он не принадлежит к нашей компании. Значит, он не храбр или же на него нельзя положиться.
Ответ:
Рассмотрим выражение «Если он принадлежит к нашей компании (А), то он храбр (В) и на него можно положиться (С).»
В данном рассуждении мы можем увидеть:
Nicola90
: 28 апреля 2013
150 руб.
Элементы математической логики
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 руб.
Другие работы
Механика жидкости и газа СПбГАСУ 2014 Задача 7 Вариант 36
Z24
: 1 января 2026
Из резервуара при постоянном манометрическом давлении рм = (20 + 0,2·y) кПа и постоянном уровне H = (1,0 + 0,1·z) м вода вытекает по вертикальной трубе переменного сечения, нижний конец которой погружен в открытый резервуар.
Определить расход Q в трубе и полное гидростатическое давление р2 в сечении 2 – 2, расположенном на высоте h = (0,5 + 0,02·y) = 0,58 м от свободной поверхности нижнего резервуара, если d1 = (50 + 5·z) = 95 мм, d2 = (75 + 2·y) = 83 мм (рис. 7).
Учитывать только местные
Z24
: 1 января 2026
250 руб.
Реферат по дисциплине: Всеобщая история. Тема 1
xtrail
: 25 июля 2024
Тема: "Складывание и противоборство двух военно-политических блоков после Второй мировой войны"
Содержание
Введение. 3
Причины формирования военно-политических блоков. 4
Начало противостояния. 5
Североатлантический пакт, создание НАТО. 7
Подписание Варшавского договора. 8
Противоборство военно-политических блоков 9
Завершение «холодной войны». 12
Итоги «холодной войны». 13
Заключение. 14
Список используемой литературы. 16
xtrail
: 25 июля 2024
350 руб.
Теплотехника Задача 1.46
Z24
: 30 января 2026
Определить тягу Δp через дымовую трубу высотой H=50 м, если плотность наружного воздуха ρ1=1,2 кг/м3. Плотность дымовых газов рассчитывать, как плотность воздуха при температуре t=250 ºС и давлении 0,1 МПа по уравнению состояния.
Z24
: 30 января 2026
150 руб.
Операционные системы реального времени. Лабораторная работа №1 + Контрольная работа. Вариант 10 + Экзаменационная работа. Билет 1.
Bodibilder
: 6 июня 2019
Лабораторная работа No1
Задание:
В данной лабораторной работе предлагается разработать систему из двух программ: программа рисования, работающая в графическом режиме с помощью библиотеки wingraph, и запускающее её, а затем управляющее ей консольное приложение. Всё это делается по аналогии с примерами, рассмотренными в лекционном материале. Варианты заданий уточняются ниже. Во всех заданиях движение фигур должно реализовываться отдельными нитями. Рекомендуется по возможности использовать один и т
Bodibilder
: 6 июня 2019
40 руб.
