А Б В Г Д Е Ж З И К Л М Н О П Р С Т У Ф Х Ц Ч Ш Ю Я #
C F G K L N P S T W Z

- структуры, состоящие из нек-рого множества обычных моделей для классической логики, упорядоченных между собой нек-рым отношением, н служащие для интерпретации в них различных неклассических логик (интуипионистской, модальных и др.). Точнее, К. м. для языка Lимеют вид где S- некоторое непустое множество ("миров", "ситуаций"); R - некоторое бинарное отношение на S(напр., для системы J интуиционистской логики R является частичным порядком, для модальной системы 54 - предпорядком, для системы S5 - отношением эквивалентности); отображение Dсопоставляет каждому _ нек-рую непустую область Da. так, что если то оценка Wсопоставляет всякой индивидной константе аэлемент всякой индивидной переменной х- элемент , для каждого всякой пропозициональной переменной р - истинностное значение (для системы J требуется также, чтобы если то ), всякой n-местной предикатной константе Р- некоторое подмножество [для системы J, если то ], всякой n-местной функциональной константе f - функцию [для системы /, если то есть ограничение ]. Для всяких и формулы Аязыка Lтакой, что для любой свободной переменной хв А индуктивно определяется истинностное значение . Для системы Jзначение определяется следующим образом: а) если А - элементарная формула, то значение уже задано моделью; г) (для всякого если и д) (для всякого если то е) (для всяких и если ж) (существует такое, что (здесь означает, что оценка W' совпадает с Wвсюду, кроме, быть может, на х). Иногда вместо пишут Для модальных логик определение в случаях (г), (д) и (ж) происходит иначе:
(для всякого если кроме того, добавляется з) (для всякого если то Формула Аназ. истинной в К. м. K=(S, R, D, W).(пишут ), если для всякого Для каждой из систем J, 54, 55 справедлива теорема о полноте: всякая формула выводима в этой системе тогда и только тогда, когда она истинна во всех К. м. из соответствующего класса. Существенно, что области являются, вообще говоря, различными, поскольку формула где хне входит свободно в А, не выводима в системе J, но истинна во всех К. м. с постоянной областью. Система, полученная из J добавлением схемы (*), полна относительно К. м. с постоянной областью (см. [4]). Пропозициональный фрагмент каждой из систем J, S4, S5 является финитно аппроксимируемым, т. е. всякая невыводимая в нем формула опровержима на нек-рой конечной К. м. из соответствующего класса. Понятие "К. м." родственно понятию вынуждения (см. Вынуждения метод). К. м. введены С. А. Крипке (S. A. Kripke). Лит.:[1] Крипке С. А., Семантический анализ модальной логики, в кн.: Ф е й с Р., Модальная логика, пер. с англ., М., 1974, с. 254-323; [2] Шютте К., Полные системы модальной и интуиционистской логики, там же, с. 324-421; [3] G о r d е r m a n n S., "J. Symb. Logic", 1971, v. 36, p. 249-61; [4] К о э н II о л Д ж., Теория множеств и континуум-гипотеза, пер. с англ., М., 1969. С. К. Соболев.

Для Модели Нареч. Разг. — 1. Для вида, для видимости.
Толковый словарь Ефремовой

Модели Политической Социализации — - 1) системная - характеризуется формированием позитивного отношения к власти, правовому порядку, традиционным институтам. Важнейшими агентурами социализации являются........
Политический словарь

Автор Изобретения (полезной Модели, Промышленного Образца) — физическое лицо, трудом и творчеством которого создано изобретение, макеты, модели, промобразцы и т.д.
Экономический словарь

Детерминистские Модели — Модели сопоставления обязательств, предполагающие точное
определение выплат по
обязательствам и потоков наличности в активах. См. также stochastic models (
стохастические модели).
Экономический словарь

Договорные Модели — В экономической теории домохозяйств – подход к
анализу принятия экономических решений с учетом различий в
характеристиках, интересах и ресурсах, а в связи........
Экономический словарь

Макроэкономические Модели — экономико-математические модели, описывающие в математической форме
развитие экономики в целом и ее наиболее важных частей (отраслей, секторов, сфер). Переменными........
Экономический словарь

Модели Линейного Программирования — математические модели решения экономических задач, представленные в форме задач линейного программирования. Целевая функция, связи и
ограничения в такой модели........
Экономический словарь

Модели Маркетинга — - 1)
форма качественного и количественного описания, представления поведения субъектов маркетинговой системы в
процессе их взаимодействия по поводу создания........
Экономический словарь

Модели Опционного Ценообразования На Базе Кривой Доходности — Модели, включающие различные
допущения колебаний кривой доходности. Например,
модель Блэка-Дермана-Тоя. Также называются моделями безарбитражного опционного........
Экономический словарь

Модели Управления Ресурсами — экономико-математические модели, позволяющие рассчитать рациональную структуру использования ресурсов, оптимизировать
запасы.
Экономический словарь

Модели Установления Цен На Опционы, Исключающие Арбитраж — Модели определения стоимости
опциона посредством кривой доходности.
Экономический словарь

Модели Экономического Роста (экономической Динамики) — экономико-математические модели, описывающие в математической форме
изменение во времени экономических показателей, характеризующих
развитие,
рост экономики........
Экономический словарь

Национальные Модели Организации Экономической Жизни — Различают следующие модели: Американская
модель - построена на системе поощрения предпринимательства и обогащения. Японская модель - ориентируется на высокий
........
Экономический словарь

Стохастические Модели — Модели сопоставления обязательств, предполагающие невозможность точного определения выплат по
обязательствам и денежных поступлений от активов. См. также Deterministic........
Экономический словарь

Автор Изобретения (полезной Модели, Промышленного Образца) — физическое лицо, трудом и творчеством которого создано изобретение, макеты, модели, промобразцы и т.д.
Юридический словарь

Автор Изобретения, Полезной Модели — Автором изобретения, полезной модели признается физическое лицо, творческим трудом которого они созданы. (Ст.3 Закона Республики Беларусь "О патентах на изобретения и полезные модели").
Юридический словарь

Автор Изобретения, Полезной Модели, Промышленного Образца — - физическое лицо, творческим трудом которого они созданы. Если в создании объектов промышленной собственности участвовало несколько физических лиц, все они считаются........
Юридический словарь

Модели Линейного Программирования — - математические модели решения экономических задан, представленные в форме задач линейного программирования. Целевая функция, связи и ограничения в такой модели выражены........
Юридический словарь

Модели Управления Ресурсами — - экономико-математические модели, позволяющие рассчитывать рациональную структуру использования ресурсов, оптимизировать запасы.
Юридический словарь

Модели Экономического Роста — - экономико-математические модели, описывающие в математической форме изменение во времени экономических показателей, характеризующих развитие, рост экономики и целом,........
Юридический словарь

Новизна Полезной Модели — Полезная модель признается новой, если совокупность ее существенных признаков не известна из уровня техники (статья 5 п. 1 ПЗ РФ).
Юридический словарь

Регистрация Изобретения, Полезной Модели, Промышленного Образца И Выдача Патента — федеральная служба по интеллектуальной собственности, патентам и товарным знакам вносит в Государственный реестр изобретений РФ, Государственный реестр полезных........
Юридический словарь

Динамические Межотраслевые Модели — частный случай динамических моделейэкономики. Основаны на принципе баланса межотраслевого, в который вводятсяуравнения, характеризующие изменение межотраслевых........
Большой энциклопедический словарь

Динамические Модели — экономики - экономико-математические модели,описывающие экономику в развитии (в отличие от статических,характеризующих ее состояние в определенный момент). Два подхода........
Большой энциклопедический словарь

Космологические Модели — модели Вселенной, которые следуют из решенияуравнений тяготения А. Эйнштейна в применении ко Вселенной в целом. Дляизотропной и однородной в больших масштабах Вселенной........
Большой энциклопедический словарь

Крипке — (Kripke) Сол Арон (р. 1940) - американский логик и философ,представитель аналитической философии. Разработал основытеоретико-модельной семантики; построил семантику возможных........
Большой энциклопедический словарь

Матричные Модели — в экономике - балансово-нормативные модели в виде таблиц(матриц), отражающие соотношения затрат и результатов производства,нормативы затрат, производственные и экономические........
Большой энциклопедический словарь

Ядерные Модели — приближенные методы описания некоторых свойств ядер,основанные на отождествлении ядра с какой-либо другой физической системой,свойства которой либо хорошо изучены,........
Большой энциклопедический словарь

Модели Оружия — У кельтов, как и у других народов древности, существовала традиция создавать небольшие модели оружия, в частности, мечей, копий и щитов, а также различной утвари: топоров,........
Энциклопедия мифологии

Двунаправленные Активационные Модели — В исследованиях Распознавания паттернов, модели, в которых элементы активируются и тормозятся посредством обработки информации "снизу-вверх" и "сверху-вниз".
Психологическая энциклопедия