Здравствуйте, гость ( Вход | Регистрация )
| julia_lisha |
8.12.2010, 14:49
Сообщение
#1
|
|
Студент ![]() ![]() Группа: Продвинутые Сообщений: 147 Регистрация: 19.12.2009 Из: Omsk Город: omsk Учебное заведение: ОмГУ |
Ищу любые материалы на тему: "доказать секвенцию исчисления высказываний постоением доказательства в виде дерева".
желательно алгоритмы решений и примеры. Спасибо (IMG:style_emoticons/default/rolleyes.gif) |
![]() ![]() |
| julia_lisha |
9.12.2010, 12:57
Сообщение
#2
|
|
Студент ![]() ![]() Группа: Продвинутые Сообщений: 147 Регистрация: 19.12.2009 Из: Omsk Город: omsk Учебное заведение: ОмГУ |
вы прямо меня просветили
|
![]() ![]() |
|
Текстовая версия | Сейчас: 19.4.2026, 21:32 |
Зеркало сайта Решебник.Ру - reshebnik.org.ru