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