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

элиминация кванторов и сколемизация -- это одно и то же ?
http://forum.nsu.ru/viewtopic.php?f=24&t=22899
Страница 1 из 1

Автор:  alex_dorin [ Сб дек 10, 2011 2:13 pm ]
Заголовок сообщения:  элиминация кванторов и сколемизация -- это одно и то же ?

элиминация кванторов и сколемизация -- это одно и то же ?

Автор:  Коба [ Сб дек 10, 2011 8:41 pm ]
Заголовок сообщения: 

Нет

Автор:  alex_dorin [ Пн дек 12, 2011 6:22 pm ]
Заголовок сообщения:  элиминация кванторов и сколемизация для формул 1-пор логики

утончение -
элиминация кванторов и сколемизация для формул первопорядковой логики-- это одно и то же ?

Автор:  Pavel E. Alaev [ Чт дек 15, 2011 8:34 pm ]
Заголовок сообщения:  Re: элиминация кванторов и сколемизация для формул 1-пор лог

alex_dorin писал(а):
утончение -
элиминация кванторов и сколемизация для формул первопорядковой логики-- это одно и то же ?

Оба термина не имеют абсолютно строгого значения. Если проведена сколемизация в том смысле, что в язык добавлены функции, "решающие" кванторы существования, то отсюда можно извлечь некоторую элиминацию.

Но бывают способы элиминации, никак не связанные со сколемовскими функциями.

Автор:  Muhsan12 [ Пн ноя 10, 2014 7:53 pm ]
Заголовок сообщения:  Re: элиминация кванторов и сколемизация -- это одно и то же

Если проведена сколемизация в том смысле, что в язык добавлены функции??

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