Учеба и наука
Математическая логика, доказать клаузы. - вопрос №1452383
Даны 3 клаузы. Каждую из них надо доказать методом Вонга и методом натурального исчисления. Также первую клаузу надо доказать методом резолюций. Итого — 7 примерчиков должно быть. Не бесплатно, конечно.
Вопрос задан анонимно апрель 14, 2015 г.
-
Всего ответов: 0
Похожие вопросы
Введите возраст человека (от 1 до 150 лет) и вывести его вместе с последующим словом "год", "года" или "лет". Пример: Введите...
декабрь 13, 2014 г.
Учеба и наука
В одномерном массиве А, состоящем из неповторяющихся чисел с номерами от 1 до N, требуется найти порядковый номер наибольшего отрицательного числа или установить отсутствие отрицательных чисел.
ноябрь 1, 2014 г.
Учеба и наука
Решено
В некоторой стране автомобильный номер длиной 6 символов составляется из заглавных букв
сентябрь 19, 2013 г.
Учеба и наука