Г.Нягань
| Рассмотрено: Предметно-цикловой комиссией Председатель ________Г.И. Ларионова «____» _____20__г. | Специальность 230115 программирование в компьютерных системах Дисциплина: элементы математической логики Билет №6 | Утверждаю: Зав. филиалом ___ Г.И. Ларионова «____» ____20__г. |
1.Перечислите виды логических операций над высказыванием и сформулируйте их определение.
2.Как строится таблица истинности для булевых функций?
3.Решите задачу. Докажите тождественную истинность формулы 
Преподаватель Казимирова Н.Е.
Филиал ГБОУ СПО СО «Уральский политехнический колледж»
Г.Нягань
| Рассмотрено: Предметно-цикловой комиссией Председатель ________Г.И. Ларионова «____» _____20__г. | Специальность 230115 программирование в компьютерных системах Дисциплина: элементы математической логики Билет №8 | Утверждаю: Зав. филиалом ___ Г.И. Ларионова «____» ____20__г. |
1.Какие основные символы используются в теории высказываний?
2.Что такое ДНФ и КНФ?
3.Решите задачу. Пусть А= 
. Выписать все элементы декартова произведения А 
В и В А.
Преподаватель Казимирова Н.Е.
Филиал ГБОУ СПО СО «Уральский политехнический колледж»
Г.Нягань
| Рассмотрено: Предметно-цикловой комиссией Председатель ________Г.И. Ларионова «____» _____20__г. | Специальность 230115 программирование в компьютерных системах Дисциплина: элементы математической логики Билет №7 | Утверждаю: Зав. филиалом ___ Г.И. Ларионова «____» ____20__г. |
1.Что такое таблица истинности и как она строится. Как ещё называется эта таблица?
2.Приведите правило преобразования формул в СДНФ и СКНФ.
3.Решите задачу. Если А= 
, запишите бинарное отношение
|
|
R= 
.
Преподаватель Казимирова Н.Е.
Филиал ГБОУ СПО СО «Уральский политехнический колледж»
Г.Нягань
| Рассмотрено: Предметно-цикловой комиссией Председатель ________Г.И. Ларионова «____» _____20__г. | Специальность 230115 программирование в компьютерных системах Дисциплина: элементы математической логики Билет №9 | Утверждаю: Зав. филиалом ___ Г.И. Ларионова «____» ____20__г. |
1.Какие существуют логические отношения между высказываниями?
2.Как булевы функции связаны с формулами алгебры высказываний?
3.Решите задачу. Сравните кортежи: а) 
.
и 
.
Преподаватель Казимирова Н.Е.
Филиал ГБОУ СПО СО «Уральский политехнический колледж»
Г.Нягань
| Рассмотрено: Предметно-цикловой комиссией Председатель ________Г.И. Ларионова «____» _____20__г. | Специальность 230115 программирование в компьютерных системах Дисциплина: элементы математической логики Билет №10 | Утверждаю: Зав. филиалом ___ Г.И. Ларионова «____» ____20__г. |
1.Равносильные множества. Методика проверки двух формул на равносильность.
2.Каков алгоритм определения линейности или нелинейности булевой функции?
3.Решите задачу. Постройте КНФ функций и докажите тождественную истинность с помощью таблицы истинности f 1(x1x2x3x4) = (x1 
x4
Преподаватель Казимирова Н.Е.
Филиал ГБОУ СПО СО «Уральский политехнический колледж»
Г.Нягань
| Рассмотрено: Предметно-цикловой комиссией Председатель ________Г.И. Ларионова «____» _____20__г. | Специальность 230115 программирование в компьютерных системах Дисциплина: элементы математической логики Билет №12 | Утверждаю: Зав. филиалом ___ Г.И. Ларионова «____» ____20__г. |
|
|
1.Дайте определение многочлена Жегалкина.
2.Сформулируйте алгоритм построения многочлена Жегалкина.
3.Решите задачу. Приведите к КНФ формулу f= (x 
y) 
Преподаватель Казимирова Н.Е.