$7
Требуется решить задачи по математической логике, включая запись рассуждения в логической символике и обоснование выбора логических связок. Проверить правильность рассуждения методом Куайна, редукции и резолюций. Рассуждение: незнание правил дорожного движения не освобождает от ответственности, следовательно, знать правила нужно.
Контрольные, Задачи и Тесты1 исполнитель
Закрыт
5 лет назад