НГУ

Форумы НГУ
Текущее время: Пн дек 11, 2017 8:12 pm

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




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

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Сб дек 10, 2011 8:41 pm 
Не в сети
Непрерывный писатель

Зарегистрирован: Пт июн 18, 2004 10:34 pm
Сообщения: 4435
Откуда: Сергей Подзоров
Нет

_________________
Don't let the sun blast your shadow
Don't let the milk float ride your mind


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пн дек 12, 2011 6:22 pm 
Не в сети
Частый гость

Зарегистрирован: Вс май 21, 2006 2:30 am
Сообщения: 41
Откуда: Дорин Александр
утончение -
элиминация кванторов и сколемизация для формул первопорядковой логики-- это одно и то же ?


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Чт дек 15, 2011 8:34 pm 
Не в сети
Весьма плодовитый автор

Зарегистрирован: Чт сен 27, 2001 7:00 am
Сообщения: 1637
alex_dorin писал(а):
утончение -
элиминация кванторов и сколемизация для формул первопорядковой логики-- это одно и то же ?

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

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


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пн ноя 10, 2014 7:53 pm 
Не в сети
Редкий гость

Зарегистрирован: Пн ноя 10, 2014 7:51 pm
Сообщения: 1
Если проведена сколемизация в том смысле, что в язык добавлены функции??

_________________
Save your time and get Pass4sure C_TFIN52_66 You can get our 100% Android certification practice test Adams State University Also get free demos of University of California, Berkeley paced test engine to help you pass Northwood University


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

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


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

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


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

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