Филиал гбоу спо со «Уральский политехнический колледж» г.Нягань
Рассмотрено: Предметно-цикловой комиссией Председатель ________Г.И. Ларионова «____» _____20__г.
|
Специальность 230115 программирование в компьютерных системах Дисциплина: элементы математической логики Билет №5 |
Утверждаю: Зав. филиалом ___ Г.И. Ларионова
«____» ____20__г. |
1Понятие высказывания. Виды высказываний.
2.Сформулируйте основные законы алгебры высказываний.
3 Решите задачу. Изобразите с помощью диаграмм Эйлера-Венна множества:
1) A ⊂ B и B ⊂ C; 4) A ⊂ B; B ⊂ C и A ∩ B≠Ø
2) A ⊂ B: B ⊂ C и A \ B = Ø; 5) (A \ B) ∪ (B \ A).
3) A ⊂ B; B ⊂ C и C = A ∪ B;
Преподаватель Казимирова Н.Е.
Филиал гбоу спо со «Уральский политехнический колледж» г.Нягань
Рассмотрено: Предметно-цикловой комиссией Председатель ________Г.И. Ларионова «____» _____20__г.
|
Специальность 230115 программирование в компьютерных системах Дисциплина: элементы математической логики Билет №6 |
Утверждаю: Зав. филиалом ___ Г.И. Ларионова
«____» ____20__г. |
1.Перечислите виды логических операций над высказыванием и сформулируйте их определение.
2.Как строится таблица истинности для булевых функций?
3.Решите
задачу. Докажите тождественную
истинность формулы
Преподаватель Казимирова Н.Е.
Филиал гбоу спо со «Уральский политехнический колледж» г.Нягань
Рассмотрено: Предметно-цикловой комиссией Председатель ________Г.И. Ларионова «____» _____20__г.
|
Специальность 230115 программирование в компьютерных системах Дисциплина: элементы математической логики Билет №8 |
Утверждаю: Зав. филиалом ___ Г.И. Ларионова
«____» ____20__г. |
1.Какие основные символы используются в теории высказываний?
2.Что такое ДНФ и КНФ?
3.Решите
задачу. Пусть А=
. Выписать все элементы декартова
произведения А
В и В
А.
Преподаватель Казимирова Н.Е.
Филиал гбоу спо со «Уральский политехнический колледж» г.Нягань
Рассмотрено: Предметно-цикловой комиссией Председатель ________Г.И. Ларионова «____» _____20__г.
|
Специальность 230115 программирование в компьютерных системах Дисциплина: элементы математической логики Билет №7 |
Утверждаю: Зав. филиалом ___ Г.И. Ларионова
«____» ____20__г. |
1.Что такое таблица истинности и как она строится. Как ещё называется эта таблица?
2.Приведите правило преобразования формул в СДНФ и СКНФ.
3.Решите
задачу. Если А=
,
запишите бинарное отношение
R=
.
Преподаватель Казимирова Н.Е.