Решение 6 задач:
Доказательство полноты, МДНФ, доказательство методом резолюции, доказательство примитивно-рекурсивной функции, множество дизъюнктов
МГАТУ, 2 курс
Доказательство полноты, МДНФ, доказательство методом резолюции, доказательство примитивно-рекурсивной функции, множество дизъюнктов
МГАТУ, 2 курс