Контрольная работа по методичке: Математическая логика. Д.В. Бутенина и В.М. Лагодинский. Вариант 7. 9 задач
-
Категории:
Работа Контрольная, Дискретная математика
-
Добавлен:
31.07.2014
-
Размер:
174 KB
-
Покупок:
5
-
Добавил:
Максим102
Написать сообщение
Скачать
Состав работы
7332E37A-B57F-4FCF-BB99-4DDB64EBA302.docx
|
Работа представляет собой файл, который можно открыть в программе:
- Microsoft Word
Описание
Контрольная по методичке:
Математическая логика. Д.В. Бутенина и В.М. Лагодинский.
Вариант 7.
9 задач
Вариант 1.
Задание №1 Доказать равенство множеств.
Задание №2. Построить таблицу истинности для логической функции .
Задание № 3. Найти выражение для функции, двойственной функции и определить номер двойственной функции.
.
Задание № 4. Упростить выражение для функции .
.
Задание № 5 Найти СДНФ и СКНФ для функции с заданным номером и упростить по методу Квайна СДНФ.
.
Задание № 6 Найти полином Жегалкина для функции с заданным номером.
.
Задание №7 Доказать секвенцию табличным методом.
.
Задание №8. Доказать тавтологию методом резолюций
.
Задание №9. Проанализировать вывод секвенции.
1) 4) 7)
2) 5) 8)
3) 6) 9)
Смотри файл.
Математическая логика. Д.В. Бутенина и В.М. Лагодинский.
Вариант 7.
9 задач
Вариант 1.
Задание №1 Доказать равенство множеств.
Задание №2. Построить таблицу истинности для логической функции .
Задание № 3. Найти выражение для функции, двойственной функции и определить номер двойственной функции.
.
Задание № 4. Упростить выражение для функции .
.
Задание № 5 Найти СДНФ и СКНФ для функции с заданным номером и упростить по методу Квайна СДНФ.
.
Задание № 6 Найти полином Жегалкина для функции с заданным номером.
.
Задание №7 Доказать секвенцию табличным методом.
.
Задание №8. Доказать тавтологию методом резолюций
.
Задание №9. Проанализировать вывод секвенции.
1) 4) 7)
2) 5) 8)
3) 6) 9)
Смотри файл.
Похожие материалы
Контрольная работа по методичке: Математическая логика. Д.В. Бутенина и В.М. Лагодинский. Вариант 1. 9 задач
Максим102
: 18 сентября 2014
Контрольная работа по методичке: Математическая логика. Д.В. Бутенина и В.М. Лагодинский. Вариант 1. 9 задач
Вариант 1.
Задание №1 Доказать равенство множеств.
Задание №2. Построить таблицу истинности для логической функции .
Задание № 3. Найти выражение для функции, двойственной функции и определить номер двойственной функции.
.
Задание № 4. Упростить выражение для функции .
.
Задание № 5 Найти СДНФ и СКНФ для функции с заданным номером и упростить по методу Квайна СДНФ.
.
Задание № 6 Найти
Максим102
: 18 сентября 2014
200 руб.
Математическая логика и теория алгоритмов. Контрольная работа, Вариант 7.
blur
: 31 августа 2023
Задача 1. Построить таблицу истинности логической формулы. ((A→B)→(A~C))→(A→(B→C))
Задача 2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции.
Если в декабре будет сильный мороз, то озеро замерзнет. Если толщина льда будет больше метра, то можно устроить хоккейный матч на озере. В декабре стояла холодная погода и толщина льда стала 2 метра. Значит, хоккейный мат состоится.
Задача 3. В формуле указать свободные и связанные перем
blur
: 31 августа 2023
150 руб.
Математическая логика и теория алгоритмов. Контрольная работа. Вариант №7
Damovoy
: 4 ноября 2020
Задания для варианта 7.
1. Пользуясь определением формулы исчисления высказываний проверить, является ли данное выражение формулой.
2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
Незнание правил дорожного движения не освобождает от ответственности в случае их несоблюдения. При нарушении правил водитель несет ответственность. Следовательно, знать правила нужно.
3. Пользуясь определением формулы логик
Damovoy
: 4 ноября 2020
110 руб.
Контрольная работа. Математическая логика и теория алгоритмов. Вариант №7
Znich
: 31 марта 2016
1) Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой.
2) Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций.
3)Пользуясь определением формулы логики предикатов проверить, что выражение является формулой. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме
4) Построить машину Тьюринга для перевода из начальной конфигурации
Znich
: 31 марта 2016
150 руб.
Контрольная работа: Математическая логика и теория алгоритмов. Вариант №7
ДО Сибгути
: 4 февраля 2016
1. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций. (см.скрин)
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 – женщина.
С использованием этих предикатов записать формулу, выражающую следующее утверждение: X – шурин.
3. Привести формулу к
ДО Сибгути
: 4 февраля 2016
70 руб.
Математическая логика и теория алгоритмов. Контрольная работа. Вариант №7
GTV8
: 10 сентября 2012
I. Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
II. Пусть Омега - множество людей. На множестве Омега заданы следующие предикаты:
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 – женщина.
С использованием этих предикатов записать формулу, выражающую следующее утверждение: X – шурин.
III. Привести формулу к предварен
GTV8
: 10 сентября 2012
500 руб.
Элементы математической логики
alfFRED
: 12 августа 2013
Искусство логического мышления
В процессе всей своей деятельности, человеку приходится разрешать различные проблемы и задачи. Самая суть нашего мыслительного процесса заключается в поиске решений. И конечно хотелось бы находить нужные решения, по возможности быстро. Однако очень часто наши рассуждения идут в неверном направлении, и мы приходим к ошибочному выводу. Приходится возвращаться к тому, с чего начинали и искать решение в другом направлении. Наш ум берясь за задачу видит сразу много путе
alfFRED
: 12 августа 2013
10 руб.
Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №7
hikewa8019
: 8 февраля 2021
Вариант 7
Задача 1. Построить таблицу истинности логической формулы.
((A→B)→(A~C))→(A→(B→C))
Задача 2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции
Если в декабре будет сильный мороз, то озеро замерзнет. Если толщина льда будет больше метра, то можно устроить хоккейный матч на озере. В декабре стояла холодная погода и толщина льда стала 2 метра. Значит, хоккейный матч состоится.
Задача 3. В формуле указать свободные и связ
hikewa8019
: 8 февраля 2021
150 руб.
Другие работы
Размещение производительных сил и территориальная организация хозяйства на примере Томской области
alfFRED
: 3 ноября 2013
Реферат
Введение
Глава 1 Природно-ресурсный потенциал Томской области
1.1 Природно-ресурсный потенциал
1.1.1 Топливно-энергетические ресурсы
1.1.2 Рудные ресурсы
1.1.3 Горно-химическое сырье
1.1.4 Земельные ресурсы
1.1.5 Водные ресурсы
1.1.6 Гидроэнергетические ресурсы
1.1.7 Лесные ресурсы
1.1.8 Климатические условия
1.1.9 Биологические ресурсы суши и водные биоресурсы
1.2 Население как главный фактор развития экономики
Глава 2 Анализ экономики Томской области
2.1 Анализ отрасле
alfFRED
: 3 ноября 2013
10 руб.
Курсовая работа "Электроснабжение механического цеха"
Optimeezm
: 4 мая 2009
Курсовая для студентов колледжей 3-го курса, обучающихся по специальности "Техническая эксплуатация и обслуживание электрического и электромеханического оборудования" по предмету Электроснабжение. Содержит все пункты, готова к сдаче (надо подставить свой вариант). Возможно, и для ВУЗа подойдет, если студент учится по профилю. Пункты пронумерованы точно, результат верен.
Optimeezm
: 4 мая 2009
Соотношение теоретического и эмпирического в познавательной деятельности военных кадров
Lokard
: 9 марта 2014
Содержание:
1. Введение.
2. Культура мышления командира.
3. Роль системы методов в интеллектуальной деятельности командира.
4. Организация умственного труда.
5. Пути формирования культуры мышления командных кадров.
6. Роль человеческого фактора в военном деле.
7. Заключение
8. Список использованной литературы.
Введение
Мышление всегда было и остается предметом изучения самых разных дисциплин: гносеологии и логики, психологии и педагогики, физиологии и кибернетики. Вопрос о природе мышле
Lokard
: 9 марта 2014
5 руб.
Механика жидкости и газа СПбГАСУ 2014 Задача 8 Вариант 79
Z24
: 1 января 2026
Из бачка I вода подается при постоянном уровне через цилиндрический насадок диаметром d1 = (0,3 + 0,02·y) м в емкость, разделенную на два отсека: II и III. В перегородке есть прямоугольное отверстие размерами a = (0,4 + 0,02·y) м, b = (0,2 + 0,01·z) м. Полный напор над центром тяжести наружного отверстия диаметром d2 = (0,4 + 0,01·z) м H = (4,0 + 0,1·y) м.
Определить расход Q и высоты уровней воды в отсеках II и III, т. е. h1, h2, h3 (рис. 8).
Z24
: 1 января 2026
220 руб.
