IPB

Здравствуйте, гость ( Вход | Регистрация )

> Вопрос!
julia_lisha
сообщение 8.12.2010, 14:49
Сообщение #1


Студент
**

Группа: Продвинутые
Сообщений: 147
Регистрация: 19.12.2009
Из: Omsk
Город: omsk
Учебное заведение: ОмГУ
Ищу любые материалы на тему: "доказать секвенцию исчисления высказываний постоением доказательства в виде дерева".

желательно алгоритмы решений и примеры.
Спасибо (IMG:style_emoticons/default/rolleyes.gif)
Пользователь в офлайнеКарточка пользователяОтправить личное сообщение
Вернуться в начало страницы
+Ответить с цитированием данного сообщения

Сообщений в этой теме
julia_lisha   Вопрос!   8.12.2010, 14:49
Harch   В гугле поищите.   9.12.2010, 10:58
julia_lisha   вы прямо меня просветили   9.12.2010, 12:57

« Предыдущая тема · Разное · Следующая тема »
 

Ответить в эту темуОткрыть новую тему
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0

 

Режим отображения: Переключить на: Стандартный · Переключить на: Линейный · Древовидный

Подписка на тему · Сообщить другу · Версия для печати · Подписка на этот форум

- Текстовая версия Сейчас: 29.5.2025, 17:43
Книжки в помощь: "Сборник заданий по высшей математике" Кузнецов Л.А., "Сборник заданий по высшей математике" Чудесенко В.Ф., "Индивидуальные задания по высшей математике" Рябушко А.П., и другие.
Русская версия Invision Power Board v2.1.7 © 2025  IPS, Inc.



Зеркало сайта Решебник.Ру - reshebnik.org.ru