3. Чи буде наведений нижче вираз тавтологією:

((p→Øq)∨q) → p.

Затверджено на засіданні кафедри інформаційних технологій проектування , протокол № 9 від 05.05.2010р.

Завідувач кафедрою, Екзаменатор,

професор В.Ю.Щербань доцент А.В.Пінчук

Київський національний університет технологій та дизайну

Спеціальність інформаційні технології проектування семестр 1 (стац.)

Навчальний предмет "Дискретна математика"

Екзаменаційний білет № 15

1. Числення висловлювань. Інтерпретація висловлювання.

2. Обчислити вирази:

АВ; АВ; А∆В; А\В; В\А; А = {↑, ↓, , }, B = {, , ↓, ?}.

3. Класифікувати відношення, задане на множині людей, тобто визначити, чи є воно симетричним (антисиметричним, асиметричним), рефлексивним (антирефлексивним), транзитивним:

R = {х, у: х – сестра у }.

Затверджено на засіданні кафедри інформаційних технологій проектування , протокол № 9 від 05.05.2010р.

Завідувач кафедрою, Екзаменатор,

професор В.Ю.Щербань доцент А.В.Пінчук

Київський національний університет технологій та дизайну

Спеціальність інформаційні технології проектування семестр 1 (стац.)

Навчальний предмет "Дискретна математика"

Екзаменаційний білет № 16

1. Операції над висловлюваннями.

2. Обчислити вирази:

(АВ)(А∆В); А∆(АВ); (А∆В)\В; А = {1, 2, 3}, B = {5, 6, 7}.

3. Класифікувати відношення, тобто визначити, чи є воно симетричним (антисиметричним, асиметричним), рефлексивним (антирефлексивним), транзитивним:

R = {1, а, b, 2, 1, b, 1, 1, a, 2}, R задано на множині {1, а, b, 2}.

Затверджено на засіданні кафедри інформаційних технологій проектування , протокол № 9 від 05.05.2010р.

Завідувач кафедрою, Екзаменатор,

професор В.Ю.Щербань доцент А.В.Пінчук

Київський національний університет технологій та дизайну

Спеціальність інформаційні технології проектування семестр 1 (стац.)

Навчальний предмет "Дискретна математика"

Екзаменаційний білет № 17

1. Означення тавтології та протиріччя. Основні властивості тавтології та протиріччя.

2. Знайти такі покриття множини {а, b, c, d, e, f, m, n}, які не є розбиттями цієї множини.

3. Класифікувати відношення, тобто визначити, чи є воно симетричним (антисиметричним, асиметричним), рефлексивним (антирефлексивним), транзитивним:

R={a, d, b, b, b, c, d, a, c, b, a, c, d, d, c, a}, R задано на множині {а, b,c,d}.

Затверджено на засіданні кафедри інформаційних технологій проектування , протокол № 9 від 05.05.2010р.

Завідувач кафедрою, Екзаменатор,

професор В.Ю.Щербань доцент А.В.Пінчук

Київський національний університет технологій та дизайну

Спеціальність інформаційні технології проектування семестр 1 (стац.)

Навчальний предмет "Дискретна математика"

Екзаменаційний білет № 18

1. Логічний наслідок. Основні типи логічних наслідків.