Помощь
-
Поиск
-
Пользователи
-
Календарь
Полная версия:
Вопрос! > Разное
Образовательный студенческий форум
>
Высшая математика
>
Разное
julia_lisha
Сообщение
#66563
8.12.2010, 14:49
Ищу любые материалы на тему: "доказать секвенцию исчисления высказываний постоением доказательства в виде дерева".
желательно алгоритмы решений и примеры.
Спасибо
Harch
Сообщение
#66607
9.12.2010, 10:58
В гугле поищите.
julia_lisha
Сообщение
#66626
9.12.2010, 12:57
вы прямо меня просветили
Это текстовая версия — только основной контент. Для просмотра полной версии этой страницы, пожалуйста,
нажмите сюда
.
Русская версия Invision Power Board © 2001-2025
Invision Power Services, Inc.