Сomparison-line Голосов: 1 Адрес блога: http://comparison-line.ru Добавлен: 2010-11-26 13:42:23 блограйдером kottx

контекстная семантика

2012-12-11 00:45:21 (читать в оригинале)

Поэтому в логическом языке решателя (как и в обычной практике) здесь применяется контекстная семантика равенство для значений в точке х в действительности понимается по умолчанию, как равенство для функций, причем такое понимание определяется специальной целевой установкой задачи — наличием цели («связка х\…хп»), перечисляющей все аргументы неизвестных функций, встречающихся в условиях задачи. Эта цель является как [...]