ИМЕННОЙ И ПРЕДМЕТНЫЙ УКАЗА ТЕЛ

ИМЕННОЙ И ПРЕДМЕТНЫЙ УКАЗА ТЕЛЬ 379 [c.379]

Чтобы определить интерпретацию, необходимо прежде всего указать предметную область й, которая выступает как своеобразный носитель языка. Тогда интерпретация / произвольной формулы А включает в себя предметную область й и значения всех констант, функциональных и предикатных, встречающихся в Q. Таким образом, интерпретация — это предписание, противопоставляющее языковым символам формулы некоторые настоящие объекты предметной области Q, а именно константам — элементы й, функциональным символам — конкретные функции, предикатным символам — конкретные предикаты. Образно говоря, интерпретация наполняет содержанием (смыслом) формулы исчисления предикатов. [c.237]

Если вам понадобилась справка по какой-либо теме, но вы не знаете имени соответствующей команды, можно прибегнуть к поиску в массиве справочной информации по наименованию интересующей вас темы или термина. Вкладка Index (Предметный указа- [c.79]

Энциклопедия по машиностроению XXL

Оборудование, материаловедение, механика и ...