ПРЕДМЕТНАЯ ОБЛАСТЬ

ПРЕДМЕТНАЯ ОБЛАСТЬ

универсум,- термин теории моделей, обозначающий область изменения (пробегания) предметных переменных данного формального языка. В качестве формальных языков берутся языки узкого исчисления предикатов. Каждый такой язык полностью описывается множеством

L = {P0, ..., Р п, ..., F0, ..., Fm,...}, где Р 0 ,..., Р n ,... - предикатные символы, a F0 ,..., Fm,... - функциональные символы, для каждого из к-рых указано число его аргументных мест. Модель (или алгебраич. система) для Lзадается непустым множеством Ми интерпретирующей функцией I, определенной на Lи сопоставляющей n-местному предикатному символу n-местный предикат, т. е. подмножество декартовой степени М п множества М, а n-местному функциональному символу - n-местную функцию . Множество Мназ. П. о. (или универсумом) модели .

Лит.:[1] Клини С. К., Математическая логика, пер. с англ., М., 1973; [2] Кейслер Г., Чэн Ч. Ч., Теория моделей, пер. с англ., М., 1977; [3] Ершов Ю. Л., Палютин Е. А., Математическая логика, М., 1979.

В. Н. Гришин.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Игры ⚽ Поможем решить контрольную работу

Смотреть что такое "ПРЕДМЕТНАЯ ОБЛАСТЬ" в других словарях:

  • ПРЕДМЕТНАЯ ОБЛАСТЬ — или область объектов теории, универсум рассуждения множество объектов, рассматриваемых в пределах одного рассуждения или в научной теории, т.е. тех объектов, к которым относятся термины и утверждения теории. П.о. включает в себя прежде всего… …   Философская энциклопедия

  • предметная область — Совокупность объектов реального или виртуального мира, образующая предмет моделирования в информационной системе. [ГОСТ Р 52438 2005] предметная область Множество всех предметов, свойства которых и отношения между которыми рассматриваются в… …   Справочник технического переводчика

  • предметная область — (Универсум рассуждения) (область теории) множество объектов, рассматриваемых в пределах отдельного рассуждения, научной теории. П. о. включает прежде всего индивиды, т. е. элементарные объекты, изучаемые теорией, а также свойства, отношения и… …   Словарь терминов логики

  • ПРЕДМЕТНАЯ ОБЛАСТЬ — множество всех предметов, свойства которых и отношения между которыми рассматриваются в научной теории. В логике подразумеваемая область возможных значений предметных переменных логического языка …   Большой Энциклопедический словарь

  • ПРЕДМЕТНАЯ ОБЛАСТЬ — англ. subject sphere; нем. Gegenstandsbereich. Область объектов, их множество, рассматриваемое в пределах данного контекста. Antinazi. Энциклопедия социологии, 2009 …   Энциклопедия социологии

  • предметная область — 10 предметная область: Множество всех предметов, свойства которых и отношения между которыми рассматриваются в соответствующей информационной модели образца техники. Источник: ГОСТ Р 43.0.2 2006: Информационное обеспечение техники и операторской… …   Словарь-справочник терминов нормативно-технической документации

  • Предметная область — множество всех предметов, свойства которых и отношения между которыми рассматриваются в научной теории. В логике подразумеваемая область возможных значений предметных переменных логического языка[1]. Предметная область часть реального мира,… …   Википедия

  • предметная область — множество всех предметов, свойства которых и отношения между которыми рассматриваются в научной теории. В логике  подразумеваемая область возможных значений предметных переменных логического языка. * * * ПРЕДМЕТНАЯ ОБЛАСТЬ ПРЕДМЕТНАЯ ОБЛАСТЬ,… …   Энциклопедический словарь

  • предметная область базы данных — предприятие учрежденческий корпоративный — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом Синонимы предприятиеучрежденческийкорпоративный EN enterprise …   Справочник технического переводчика

  • Предметная область —         область объектов, универсум рассуждения, универсум рассмотрения, или просто универсум, класс (множество) объектов, рассматриваемых в пределах данного контекста. Под контекстом здесь может пониматься отдельное рассуждение или выражающая… …   Большая советская энциклопедия

  • предметная область деятельности — 3.22 предметная область деятельности: Область деятельности, в которой рассматриваются свойства и отношения между множеством всех предметов в этой области деятельности. Источник …   Словарь-справочник терминов нормативно-технической документации


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»