Филиал гбоу спо со «Уральский политехнический колледж» г.Нягань

Рассмотрено: Предметно-цикловой комиссией Председатель ________Г.И. Ларионова «____» _____20__г.

Специальность 230115 программирование в компьютерных системах Дисциплина: элементы математической логики Билет №1

Утверждаю: Зав. филиалом ___ Г.И. Ларионова «____» ____20__г.

1.Множество. Конечное и бесконечное множество. Подмножество

2.Сформулируйте основные законы алгебры высказываний.

3Решите задачу.

Докажите, как с помощью таблиц истинности, так и с помощью диаграммы Эйлера-Венна, что высказывание X ∧(Y V Z) эквивалентно высказыванию (X ∧ Y) V (X ∧ Z)

Преподаватель Казимирова Н.Е.

Филиал гбоу спо со «Уральский политехнический колледж» г.Нягань

Рассмотрено: Предметно-цикловой комиссией Председатель ________Г.И. Ларионова «____» _____20__г.

Специальность 230115 программирование в компьютерных системах Дисциплина: элементы математической логики Билет №2

Утверждаю: Зав. филиалом ___ Г.И. Ларионова «____» ____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 программирование в компьютерных системах Дисциплина: элементы математической логики Билет №3

Утверждаю: Зав. филиалом ___ Г.И. Ларионова «____» ____20__г.

1.Операции над множествами

2.Сформулируйте основные законы алгебры высказываний.

3.Решите задачу. соотношений: A ⊂ B; B ⊂ A; A = B:

1) A= {a, b, c, d}; B = {a, c, d},

2) A= Ø; B= Ø,

3) A= Ø; B= {a, c, d}; B₁= {d, c, a}?

Преподаватель Казимирова Н.Е

Филиал гбоу спо со «Уральский политехнический колледж» г.Нягань

Рассмотрено: Предметно-цикловой комиссией Председатель ________Г.И. Ларионова «____» _____20__г.

Специальность 230115 программирование в компьютерных системах Дисциплина: элементы математической логики Билет №4

Утверждаю: Зав. филиалом ___ Г.И. Ларионова «____» ____20__г.

1.Диаграммы Эйлера – Венна.

2.Как строится таблица истинности для булевых функций?

3.Решите задачу.

Даны множества A={0, 1, 2, 3, 4, 5, 6, 7}; B = {3, 4, 5, 6, 7, 8, 9,};

C = {-3, -2, -1, 0, 1, 2, 3, 4}: D= {2, 3, 4, 5, 6}.

Задайте списками множества:1) A ∪ B ∪ D; 4) (A ∪ B) ∩ (C ∪ D) 2) A ∩ B ∩ C ∩ D; 5) (A \ B) ∪ (B \ A).

3) (A ∩ B) ∪ (C ∩ D)

Преподаватель Казимирова Н.Е