Контрольная работа по методичке: Математическая логика. Д.В. Бутенина и В.М. Лагодинский. Вариант 7. 9 задач

Категории: Работа Контрольная, Дискретная математика
Добавлен: 31.07.2014
Размер: 174 KB
Покупок: 5
Добавил:
Максим102

Написать сообщение

Все работы пользователя

Цена:

200 руб.

Скачать

Состав работы

7332E37A-B57F-4FCF-BB99-4DDB64EBA302.docx [ 174 KB ]

Работа представляет собой файл, который можно открыть в программе:

Microsoft Word

Что делать, если файл не открывается

Описание

Контрольная по методичке:
Математическая логика. Д.В. Бутенина и В.М. Лагодинский.
Вариант 7.
9 задач

Вариант 1.
Задание №1 Доказать равенство множеств.

Задание №2. Построить таблицу истинности для логической функции .
Задание № 3. Найти выражение для функции, двойственной функции и определить номер двойственной функции.
.
Задание № 4. Упростить выражение для функции .
.
Задание № 5 Найти СДНФ и СКНФ для функции с заданным номером и упростить по методу Квайна СДНФ.
.
Задание № 6 Найти полином Жегалкина для функции с заданным номером.
.
Задание №7 Доказать секвенцию табличным методом.
.
Задание №8. Доказать тавтологию методом резолюций
.
Задание №9. Проанализировать вывод секвенции.
1) 4) 7)
2) 5) 8)
3) 6) 9)

Смотри файл.

Контрольная работа по методичке: Математическая логика. Д.В. Бутенина и В.М. Лагодинский. Вариант 1. 9 задач

Контрольная работа по методичке: Математическая логика. Д.В. Бутенина и В.М. Лагодинский. Вариант 1. 9 задач Вариант 1. Задание №1 Доказать равенство множеств. Задание №2. Построить таблицу истинности для логической функции . Задание № 3. Найти выражение для функции, двойственной функции и определить номер двойственной функции. . Задание № 4. Упростить выражение для функции . . Задание № 5 Найти СДНФ и СКНФ для функции с заданным номером и упростить по методу Квайна СДНФ. . Задание № 6 Найти

Работа Контрольная Дискретная математика

Максим102 : 18 сентября 2014

200 руб.

Математическая логика и теория алгоритмов. Контрольная работа, Вариант 7.

Задача 1. Построить таблицу истинности логической формулы. ((A→B)→(A~C))→(A→(B→C)) Задача 2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции. Если в декабре будет сильный мороз, то озеро замерзнет. Если толщина льда будет больше метра, то можно устроить хоккейный матч на озере. В декабре стояла холодная погода и толщина льда стала 2 метра. Значит, хоккейный мат состоится. Задача 3. В формуле указать свободные и связанные перем

ДО СИБГУТИ Математическая логика и теория алгоритмов Работа Контрольная

blur : 31 августа 2023

150 руб.

Математическая логика и теория алгоритмов. Контрольная работа. Вариант №7

Задания для варианта 7. 1. Пользуясь определением формулы исчисления высказываний проверить, является ли данное выражение формулой. 2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций. Незнание правил дорожного движения не освобождает от ответственности в случае их несоблюдения. При нарушении правил водитель несет ответственность. Следовательно, знать правила нужно. 3. Пользуясь определением формулы логик

Математическая логика и теория алгоритмов Работа Контрольная

Damovoy : 4 ноября 2020

110 руб.

Контрольная работа. Математическая логика и теория алгоритмов. Вариант №7

1) Пользуясь определением формулы исчисления высказываний проверить является ли данное выражение формулой. 2) Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций. 3)Пользуясь определением формулы логики предикатов проверить, что выражение является формулой. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме 4) Построить машину Тьюринга для перевода из начальной конфигурации

СибГУТИ Математическая логика и теория алгоритмов Работа Контрольная

Znich : 31 марта 2016

150 руб.

Контрольная работа: Математическая логика и теория алгоритмов. Вариант №7

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

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 руб.

Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №7

Вариант 7 Задача 1. Построить таблицу истинности логической формулы. ((A→B)→(A~C))→(A→(B→C)) Задача 2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и методом редукции Если в декабре будет сильный мороз, то озеро замерзнет. Если толщина льда будет больше метра, то можно устроить хоккейный матч на озере. В декабре стояла холодная погода и толщина льда стала 2 метра. Значит, хоккейный матч состоится. Задача 3. В формуле указать свободные и связ

ДО СИБГУТИ Математическая логика и теория алгоритмов Работа Контрольная

hikewa8019 : 8 февраля 2021

150 руб.

Контрольная работа по дисциплине: Математическая логика и теория алгоритмов. Вариант №7

СибГУТИ Логика Работа Контрольная

Jack : 28 ноября 2014

450 руб.

Понятие и характеристика платежных инструментов. Учет операций с их использованием

Понятие и характеристика платежных инструментов. Учет операций с их использованием» План Введение 1. Понятие и характеристика платежных инструментов. Учет операций с их использованием 1. Общие понятия и порядок применения платежных инструментов 2. Специальное платежное средство 3. Платежная карта 1.4. Документ на перевод 5. Электронный документ 6. Электронная цифровая подпись Заключение Список используемой литературы Введение В современных условиях универсализации деятельности финансовых учрежд

Финансы Рефераты

Elfa254 : 5 марта 2013

10 руб.

Курсовая работа "Разработка системы связи для передачи непрерывных сообщений дискретными сигналами" вариант 14

Курсовая работа "Разработка системы связи для передачи непрерывных сообщений дискретными сигналами" Расчет исходных данных для заданного варианта работы. K=1; M=1; N=14; p(1)=9/N=9/14=0,6428 Z(t0)=(0,25+σ)A=(0,25+ 0,94 мВ Z(t1)= Z(t0)=0,94 мВ Z(t2)= 0,6 Z(t0)=0,564 мВ Z(t3)= 1,1 Z(t0)=1,034 мВ V=1000· M·N=1000·1·14=14000 Бод f пр=2/Т=2*V=2*14000=28000 Гц bmax=2+0,3N=2+0,3·14=6,2 В П=1,5+0,1N=1,5+0,1·14=2,9 2446(8)= 100110001110(2) 1 0 0 1 1 0 0 0 1 1 1 0 S1(t) 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1

ДО СИБГУТИ Работа Курсовая Теория электрической связи

ннааттаа : 7 января 2018

300 руб.

Теплотехника 5 задач Задача 1 Вариант 06

Смесь, состоящая из СО2 и СО, задана массовыми долями (mCO2 и mCO). Имея начальные параметры – давление р1 = 0,5 МПа и температуру t1 = 27 ºС, смесь расширяется при постоянном давлении до объема V2 = ρV1. Определить газовую постоянную смеси, ее начальный объем V1, параметры смеси в состоянии 2, изменение внутренней энергии, энтальпии, энтропии, теплоту и работу расширения в процессе 1-2, если масса смеси М.

Задачи

Z24 : 3 января 2026

250 руб.