Математическая логика к 13 мая
Cрок выполнения : 13.05
Вид работы : Контрольная
Статус открыт
Дисциплины:
Математические: Логика, теория Алгоритмов и Автоматов.
|
Добавлен 07.05.2013 22:57:43
Уникальность:
Доработка:
Подробно: Сориты Кэрролла Требуется составить верную секвенцию и доказать её двумя способами: от противного и методом резолюции
Кратко: Сориты Кэрролла Требуется составить верную секвенцию и доказать её двумя способами: от противного и методом резолюции
Файлы доступны после авторизации