Матлогика 707m
Cрок выполнения : 1 день или Ваш
Вид работы : Контрольная
Дисциплины:
Математические: Логика, теория Алгоритмов и Автоматов.
|
Добавлен 04.03.2013 16:14:37
Уникальность:
Доработка:
Подробно: ПРЕДМЕТ-МАТЕМАТИЧЕСКАЯ ЛОГИКА Методичка 62-2009 Стр. 7, зад. 10,15,18 Стр. 8, зад. 2 Стр. 15, зад. 4 Стр. 45, зад. 2 - выполнить методом прямого преобразования, методом семантических таблиц и методом резолюций. Методичка 63-2009 Стр. 11, зад. 11 Стр. 13, зад. 3 - выполнить методом семантических таблиц
Кратко: ПРЕДМЕТ-МАТЕМАТИЧЕСКАЯ ЛОГИКА Методичка 62-2009 Стр. 7, зад. 10,15,18 Стр. 8, зад. 2 Стр. 15, зад. 4 Стр. 45, зад. 2 - выполнить методом прямого преобразования, методом семантических таблиц и методом резолюций. Методичка 63-2009 Стр. 11, зад. 11 Стр. 13, зад. 3 - выполнить методом семантических т