НГУ
http://forum.nsu.ru/

Поиск доказ в первопорядковой логике в генценовских системах
http://forum.nsu.ru/viewtopic.php?f=24&t=23568
Страница 1 из 1

Автор:  alex_dorin [ Ср дек 12, 2012 6:18 pm ]
Заголовок сообщения:  Поиск доказ в первопорядковой логике в генценовских системах

Здравствуйте !

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

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

Автор:  alex_dorin [ Пт фев 15, 2013 2:55 pm ]
Заголовок сообщения:  Алгорифм машинного поиска естественного логического вывода

Алгорифм машинного поиска естественного логического вывода в исчислении высказываний
Н.А. Шанин, Г.В. Давыдов, С.Ю. Маслов, Г.Е. Минц , В.П. Оревков, А.О. Слисенко М. - Л., Наука, 1965.

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

Страница 1 из 1 Часовой пояс: UTC + 7 часов
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/