- •Докажите формулу: .
- •Докажите формулу: .
- •Докажите формулу .
- •Докажите формулу .
- •Докажите формулу: .
- •Докажите формулу: .
- •Докажите формулу .
- •Докажите формулу .
- •Докажите формулу .
- •Докажите формулу: .
- •Докажите формулу: .
- •Правило логического вывода “modus ponens”.
- •Докажите формулу: .
- •Докажите формулу: .
- •Докажите формулу: .
- •Докажите формулу .
- •Докажите формулу: .
- •Докажите формулу .
- •Докажите формулу: .
- •Докажите формулу .
-
Универсальное инстанцирование.
-
Докажите формулу .
Затверджено на засіданні кафедри 24.10.2012
Протокол N 6
Зав. кафедрою _________ Викладач _________ проф. Погорелов О.О.
(підпис) (підпис)
СХІДНОУКРАЇНСЬКИЙ НАЦІОНАЛЬНИЙ УНІВЕРСИСТЕТ
імені Володимира Даля
Кафедра Комп’ютерних наук
Навчальний рік 2012/2013
МОДУЛЬНИЙ КОНТРОЛЬ № 2 Семестр осінній
Дисципліна „Дискретна математика”
КОНТРОЛЬНЕ ЗАВДАННЯ № 17
-
Задача о Кенигсбергских мостах.
-
Используя для размещений без повторений обозначение , доказать формулу: .
Затверджено на засіданні кафедри 24.10.2012
Протокол N 6
Зав. кафедрою _________ Викладач _________ проф. Погорелов О.О.
(підпис) (підпис)
СХІДНОУКРАЇНСЬКИЙ НАЦІОНАЛЬНИЙ УНІВЕРСИСТЕТ
імені Володимира Даля
Кафедра Комп’ютерних наук
Навчальний рік 2012/2013
МОДУЛЬНИЙ КОНТРОЛЬ № 2 Семестр осінній
Дисципліна „Дискретна математика”
КОНТРОЛЬНЕ ЗАВДАННЯ № 18
-
Принцип резолюции.
-
Докажите формулу .
Затверджено на засіданні кафедри 24.10.2012
Протокол N 6
Зав. кафедрою _________ Викладач _________ проф. Погорелов О.О.
(підпис) (підпис)
СХІДНОУКРАЇНСЬКИЙ НАЦІОНАЛЬНИЙ УНІВЕРСИСТЕТ
імені Володимира Даля
Кафедра Комп’ютерних наук
Навчальний рік 2012/2013
МОДУЛЬНИЙ КОНТРОЛЬ № 2 Семестр осінній
Дисципліна „Дискретна математика”
КОНТРОЛЬНЕ ЗАВДАННЯ № 19
-
Циклы в графе.
-
Докажите тождество: .
Затверджено на засіданні кафедри 24.10.2012
Протокол N 6
Зав. кафедрою _________ Викладач _________ проф. Погорелов О.О.
(підпис) (підпис)
СХІДНОУКРАЇНСЬКИЙ НАЦІОНАЛЬНИЙ УНІВЕРСИСТЕТ
імені Володимира Даля
Кафедра Комп’ютерних наук
Навчальний рік 2012/2013
МОДУЛЬНИЙ КОНТРОЛЬ № 2 Семестр осінній
Дисципліна „Дискретна математика”
КОНТРОЛЬНЕ ЗАВДАННЯ № 20
-
Операции над множествами.
-
Докажите формулу .
Затверджено на засіданні кафедри 24.10.2012
Протокол N 6
Зав. кафедрою _________ Викладач _________ проф. Погорелов О.О.
(підпис) (підпис)
СХІДНОУКРАЇНСЬКИЙ НАЦІОНАЛЬНИЙ УНІВЕРСИСТЕТ
імені Володимира Даля
Кафедра Комп’ютерних наук
Навчальний рік 2012/2013
МОДУЛЬНИЙ КОНТРОЛЬ № 2 Семестр осінній
Дисципліна „Дискретна математика”
КОНТРОЛЬНЕ ЗАВДАННЯ № 21
-
Найдите пересечение двух множеств и .
-
Докажите формулу: .
Затверджено на засіданні кафедри 24.10.2012
Протокол N 6
Зав. кафедрою _________ Викладач _________ проф. Погорелов О.О.
(підпис) (підпис)
СХІДНОУКРАЇНСЬКИЙ НАЦІОНАЛЬНИЙ УНІВЕРСИСТЕТ
імені Володимира Даля
Кафедра Комп’ютерних наук
Навчальний рік 2012/2013
МОДУЛЬНИЙ КОНТРОЛЬ № 2 Семестр осінній
Дисципліна „Дискретна математика”
КОНТРОЛЬНЕ ЗАВДАННЯ № 22