Контрольная работа по методичке: Математическая логика. Д.В. Бутенина и В.М. Лагодинский. Вариант 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 руб.
Другие работы
Анализ рынка углеводородов стран Центральной и Южной Азии
Elfa254
: 3 сентября 2013
План.
1. Введение.
1.1. Анализ изменения структуры мирового рынка углеводородов (нефти и газа), и место Центрально-Южноазиатского (ЦЮАз) региона на этом рынке.
1.2. Анализ существующих прогнозов развития рынка.
1.2.1. Собственное производство.
1.2.2. Потребление.
1.2.3. Внешние поставки.
2. Разработка модели.
2.1. Анализ возможных подходов к выбору метода решения задачи.
2.2. Построение модели.
2.3. Результаты и их анализ.
3. Литература.
1.1. Анализ изменения
Elfa254
: 3 сентября 2013
45 руб.
Гидравлика и гидропневмопривод - однолопастной шиберный поворотный гидродвигатель
elementpio
: 28 августа 2011
Содержание
1. Выбор основных параметров гидропривода 3
2. Выбор масла 9
3. Разработка принципиальной схемы гидропривода 10
4. Расчет показателей надежности гидропривода 14
5. Расчет гидролиний 16
6. Построение эпюры изменения давления по длине
гидросистем 19
7. Расчет гидродвигателя поворотного движения 24
8. Расчет размеров гидробака 28
9. Подбор уплотнений 29
10. Список использованной литературы 30
elementpio
: 28 августа 2011
45 руб.
Максимізація прибутку в монополії
alfFRED
: 31 октября 2013
Фірма – монополіст одночасно приймає рішення про обсяг випуску і про ціну продукції, в той час як конкурентна фірма визначає лише обсяг. Для оптимізації обсягу виробництва монополіст використовує універсальне правило граничного випуску , справедливе як для моделі , так і для моделі .
Рис. 9.4 ілюструє прийняття рішення монополістом за моделлю . Точки перетину кривих і і є точками беззбитковості, а виробництво в межах обсягів, що відповідають цим точкам, є прибутковим. Відстань між кривими і
alfFRED
: 31 октября 2013
10 руб.
Бруй Л.П. Техническая термодинамика ТОГУ Задача 1 Вариант 62
Z24
: 2 декабря 2025
Расчет газовой смеси
Газовая смесь состоит из нескольких компонентов, содержание которых в смеси задано в процентах по объему (табл.1.1).
Определить:
1) кажущуюся молекулярную массу смеси;
2) газовую постоянную смеси;
3) средние мольную, объемную и массовую теплоемкости смеси при постоянном давлении в пределах температур от t1 до t2 (табл.1.2).
1. Что называется удельной газовой постоянной? Единица ее измерения в системе СИ. Чем она отличается от универсальной газовой постоянно
Z24
: 2 декабря 2025
150 руб.
