1. Найдите пересечение двух множеств {3, 5, 6, 9} и {1, 2, 3, 4, 8, 9}.

2. Докажите формулу: .

Затверджено на засіданні кафедри 24.10.2012

Протокол N 6

Зав. кафедрою _________ Викладач _________ проф. Погорелов О.О.

(підпис) (підпис)

СХІДНОУКРАЇНСЬКИЙ НАЦІОНАЛЬНИЙ УНІВЕРСИСТЕТ

імені Володимира Даля

Кафедра Комп’ютерних наук

Навчальний рік 2012/2013

МОДУЛЬНИЙ КОНТРОЛЬ № 2 Семестр осінній

Дисципліна „Дискретна математика”

КОНТРОЛЬНЕ ЗАВДАННЯ № 23

1. Правило логического вывода “modus ponens”.

2. Докажите формулу: .

Затверджено на засіданні кафедри 24.10.2012

Протокол N 6

Зав. кафедрою _________ Викладач _________ проф. Погорелов О.О.

(підпис) (підпис)

СХІДНОУКРАЇНСЬКИЙ НАЦІОНАЛЬНИЙ УНІВЕРСИСТЕТ

імені Володимира Даля

Кафедра Комп’ютерних наук

Навчальний рік 2012/2013

МОДУЛЬНИЙ КОНТРОЛЬ № 2 Семестр осінній

Дисципліна „Дискретна математика”

КОНТРОЛЬНЕ ЗАВДАННЯ № 24

1. Правило логического вывода “modus tollens”.

2. Докажите формулу: .

Затверджено на засіданні кафедри 24.10.2012

Протокол N 6

Зав. кафедрою _________ Викладач _________ проф. Погорелов О.О.

(підпис) (підпис)

СХІДНОУКРАЇНСЬКИЙ НАЦІОНАЛЬНИЙ УНІВЕРСИСТЕТ

імені Володимира Даля

Кафедра Комп’ютерних наук

Навчальний рік 2012/2013

МОДУЛЬНИЙ КОНТРОЛЬ № 2 Семестр осінній

Дисципліна „Дискретна математика”

КОНТРОЛЬНЕ ЗАВДАННЯ № 25

1. Транзитивность и слияние как правила логического вывода.

2. Докажите формулу: .

Затверджено на засіданні кафедри 24.10.2012

Протокол N 6

Зав. кафедрою _________ Викладач _________ проф. Погорелов О.О.

(підпис) (підпис)

СХІДНОУКРАЇНСЬКИЙ НАЦІОНАЛЬНИЙ УНІВЕРСИСТЕТ

імені Володимира Даля

Кафедра Комп’ютерних наук

Навчальний рік 2012/2013

МОДУЛЬНИЙ КОНТРОЛЬ № 2 Семестр осінній

Дисципліна „Дискретна математика”

КОНТРОЛЬНЕ ЗАВДАННЯ № 26

1. Универсальное инстанцирование.

2. Докажите формулу .

Затверджено на засіданні кафедри 24.10.2012

Протокол N 6

Зав. кафедрою _________ Викладач _________ проф. Погорелов О.О.

(підпис) (підпис)

СХІДНОУКРАЇНСЬКИЙ НАЦІОНАЛЬНИЙ УНІВЕРСИСТЕТ

імені Володимира Даля

Кафедра Комп’ютерних наук

Навчальний рік 2012/2013

МОДУЛЬНИЙ КОНТРОЛЬ № 2 Семестр осінній

Дисципліна „Дискретна математика”

КОНТРОЛЬНЕ ЗАВДАННЯ № 27

1. Правило резолюции.

2. Докажите формулу: .

Затверджено на засіданні кафедри 24.10.2012

Протокол N 6

Зав. кафедрою _________ Викладач _________ проф. Погорелов О.О.

(підпис) (підпис)

СХІДНОУКРАЇНСЬКИЙ НАЦІОНАЛЬНИЙ УНІВЕРСИСТЕТ

імені Володимира Даля

Кафедра Комп’ютерних наук

Навчальний рік 2012/2013

МОДУЛЬНИЙ КОНТРОЛЬ № 2 Семестр осінній

Дисципліна „Дискретна математика”

КОНТРОЛЬНЕ ЗАВДАННЯ № 28