Контрольная работа по методичке: Математическая логика. Д.В. Бутенина и В.М. Лагодинский. Вариант 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 руб.
Другие работы
Национальный продукт и его измерения. Валовой национальный продукт. Валовой внутренний продукт
Qiwir
: 2 марта 2014
Результатом функционирования национальной экономики является национальный продукт.
Попытки измерить объем национального продукта предпринимались давно. К первым из них следует отнести экономические таблицы, составленные Ф.Кенэ и его последователями - физиократами. Классическая школа, а следом за ней марксистская политическая экономия использовали принципы математического моделирования и схемы для анализа воспроизводственного процесса, но в основном для отображения распределения и перераспределен
Qiwir
: 2 марта 2014
10 руб.
Основы построения телекоммуникационных систем и сетей. Экзамен. Билет №10.
kbcfy
: 6 декабря 2014
1. Эффективное (статистическое) кодирование. Назначение. Понятие префиксного кода. Метод Хаффмена. Достоинства и недостатки эффективного кодирования.
2. Полоса частот аналогового сигнала 5 кГц. Определить требуемое значение скорости передачи информации, если используется 256 уровней квантования?
3. Исходная двоичная последовательность 1001000110, какой будет последовательность на выходе перекодирующего устройства при ОФМ.
kbcfy
: 6 декабря 2014
100 руб.
Упрощенная система налогообложения индивидуальных предпринимателей на основе патента и практика ее применения
Slolka
: 4 января 2014
Упрощенная система налогообложения организациями и индивидуальными предпринимателями применяется наряду с иными режимами налогообложения, предусмотренными законодательством Российской Федерации о налогах и сборах.
Применение упрощенной системы налогообложения на основе патента разрешено индивидуальным предпринимателям, не привлекающим в своей предпринимательской деятельности наемных работников, в том числе по договорам гражданско-правового характера, и осуществляющим один из видов предпринимате
Slolka
: 4 января 2014
15 руб.
Простой разрез. Вариант 19 - Крышка
.Инженер.
: 23 января 2026
Т.А. Унсович, А.В. Савицкая. Сборник заданий по инженерной графике. Изображения - виды, разрезы, сечения. Простой разрез. Вариант 19 - Крышка
По наглядному изображению детали (аксонометрической проекции) выполнить комплексный чертеж, состоящий из трех проекций, при этом обратить особое внимание на выбор главного вида детали.
На изображениях выполнить простые разрезы, необходимые для выявления конструкции внутренней части детали. Для симметричных деталей применить соединение половины вида и
.Инженер.
: 23 января 2026
100 руб.
