Правила форума
В этом разделе
нельзя создавать новые темы. Если Вы хотите задать новый вопрос, то
не дописывайте его в существующую тему, а создайте новую в корневом разделе "Помогите решить/разобраться (М)".
Если Вы зададите новый вопрос в существующей теме, то в случае нарушения оформления или других правил форума Ваше сообщение и все ответы на него могут быть
удалены без предупреждения.Не ищите на этом форуме халяву, правила запрещают участникам публиковать готовые решения стандартных учебных задач. Автор вопроса
обязан привести свои попытки решения и указать конкретные затруднения.
Обязательно просмотрите тему Правила данного раздела, иначе Ваша тема может быть
удалена или перемещена в
Карантин, а Вы так и не узнаете, почему.
|
alex_dorin |
Об алгоритме обр метода для поиска доказ в гегценовских сист  11.12.2012, 11:57 |
|
08/03/11
273
|
|
[Об алгоритме обратного метода для поиска доказательства в генценовских системах]
Здравствуйте !
Прошу прояснить алгоритм поиска доказательства в первопорядковой логике c использованием обратного метода
в генценовских системах.
C уважением
Дорин Александр Александрович
|
|
|
|
 |
|
alex_dorin |
Re: Об алгоритме обр метода для поиска доказ в гегценовских сист 11.12.2012, 14:30 |
|
08/03/11
273
|
|
Я надеюсь, что это есть в этом труде
Воронков А.А., Дегтярев А.Н. Автоматическое доказательство теорем //Кибернетика, 1986 No 3, 1987 No 4.
Подскажите, где найти в єлектронном виде ?
|
|
|
|
|
  |
Страница 1 из 1
|
[ Сообщений: 2 ] |
|
Модераторы: Модераторы Математики, Супермодераторы
