Контрольная работа по методичке: Математическая логика. Д.В. Бутенина и В.М. Лагодинский. Вариант 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 руб.
Другие работы
Инженерная графика. Задание №1. Вариант №13. Задача №4. Рама
Чертежи
: 18 ноября 2022
Все выполнено в программе КОМПАС 3D v16.
Боголюбов С.К. (1978г.) Задания по курсу черчения
Задание №1. Вариант №13. Задача №4. Рама
Заменить вид спереди разрезом А-А.
В состав работы входят 3 файла:
- 3D модель детали
- ассоциативный чертеж с необходимыми разрезами, выполненный по этой модели
- аналогичный обычный чертеж
Все работы выполнены в программе Компас 3D 16 версии, для открытия этих файлов нужен компас не ниже этой версии. Либо если вам достаточен просмотр файлов, без заполнений р
Чертежи
: 18 ноября 2022
80 руб.
Конвертер вертикальный
Nazariy130902
: 4 октября 2014
Данным проектом предлагается изменить конструкцию подшипниковой опоры конвертера, которая позволит устранить проскальзывание роликов линейного подшипника, повысит простоту эксплуатации подшипниковой опоры, а также предотвратит поворот конвертера вокруг вертикальной оси.
Ожидаемый экономический эффект при внедрении данных технологических новшеств составит:
- в результате экономии на ремонтах 15630 грн.;
- в результате экономии условно постоянных расходов 133037,6 грн.;
- общий экономический э
Nazariy130902
: 4 октября 2014
250 руб.
Человек – существо социальное
Slolka
: 16 ноября 2013
1. Антиномичность человеческого бытия
Человек — создание природы. Он есть животное, принадлежащее к одному из 10 млн. видов живых организмов, населяющих Землю, — виду Homo sapiens (род гоминид, отряд приматов, класс млекопитающих). Его тело имеет особые видовые признаки, по которым он отличается от других животных. Это, в частности, особая форма черепа и позвоночника, строение руки (противопоставленность большого пальца остальным), отсутствие сплошного волосяного покрова и др. Но вместе с тем ан
Slolka
: 16 ноября 2013
5 руб.
Техническая термодинамика и теплопередача ГАУСЗ (ТГСХА) Задача 5 Вариант 30
Z24
: 25 декабря 2025
Плоская стальная стенка толщиной δс омывается с одной стороны горячими газами с температурой tl, с другой стороны водой с температурой t2. Определить коэффициент теплопередачи К от газов к воде, удельный тепловой поток q и температуры обеих поверхностей стенки, если известны коэффициенты теплопередачи от газа к стенке α1 и от стенки к воде α2; коэффициент теплопроводности стали λс=58 Вт/(м·К). Определить также все указанные выше величины, если стенка со стороны воды покрыта слоем накипи толщиной
Z24
: 25 декабря 2025
180 руб.
