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