 Вопрос! |
Здравствуйте, гость ( Вход | Регистрация )
| julia_lisha |
 8.12.2010, 14:49
Сообщение
#1
|
|
Студент  Группа: Продвинутые Сообщений: 147 Регистрация: 19.12.2009 Из: Omsk Город: omsk Учебное заведение: ОмГУ  |
Ищу любые материалы на тему: "доказать секвенцию исчисления высказываний постоением доказательства в виде дерева".
желательно алгоритмы решений и примеры. Спасибо (IMG:style_emoticons/default/rolleyes.gif) |
   |
 
|
  |
Ответов
| Harch |
9.12.2010, 10:58
Сообщение
#2
|
|
Ассистент Группа: Активисты Сообщений: 834 Регистрация: 21.10.2009 Город: Москва Учебное заведение: МГУ |
В гугле поищите.
|
|
|
|
Сообщений в этой теме
|
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0
|
Текстовая версия | Сейчас: 29.5.2025, 17:57 |
Книжки в помощь: "Сборник заданий по высшей математике" Кузнецов Л.А., "Сборник заданий по высшей математике" Чудесенко В.Ф., "Индивидуальные задания по высшей математике" Рябушко А.П., и другие.
Русская версия Invision Power Board
v2.1.7 © 2025 IPS, Inc.
Зеркало сайта Решебник.Ру - reshebnik.org.ru