НГУ

Форумы НГУ
Текущее время: Сб ноя 18, 2017 8:47 pm

Часовой пояс: UTC + 7 часов




Начать новую тему Ответить на тему  [ Сообщений: 2 ] 
Автор Сообщение
СообщениеДобавлено: Ср дек 12, 2012 6:18 pm 
Не в сети
Частый гость

Зарегистрирован: Вс май 21, 2006 2:30 am
Сообщения: 41
Откуда: Дорин Александр
Здравствуйте !

Подскажите, где можно детально узнать об алгоритме поиска доказательства в первопорядковой логике c использованием обратного метода в генценовских системах.
Наверное здесь есть -
Воронков А.А., Дегтярев А.Н. Автоматическое доказательство теорем Кибернетика, 1986 No 3, 1987 No 4.
Где найти этот труд в электронном виде ?

C уважением
Дорин Александр Александрович
SKYPE ALEXANDER_A_DORIN


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пт фев 15, 2013 2:55 pm 
Не в сети
Частый гость

Зарегистрирован: Вс май 21, 2006 2:30 am
Сообщения: 41
Откуда: Дорин Александр
Алгорифм машинного поиска естественного логического вывода в исчислении высказываний
Н.А. Шанин, Г.В. Давыдов, С.Ю. Маслов, Г.Е. Минц , В.П. Оревков, А.О. Слисенко М. - Л., Наука, 1965.

Подскажите, где найти в электронном виде


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 2 ] 

Часовой пояс: UTC + 7 часов


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 1


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  
Создано на основе phpBB® Forum Software © phpBB Group
Русская поддержка phpBB