Cтраница 3
Существует естественное взаимно-однозначное соответствие между каноническими семантическими моделями и р-фильтрами з Р - алгебре % ( &) ( см. § 1, стр. [31]
Действительно, V является тогда адекватной семантической моделью теории ЗГ. [32]
У имеют одни и те же семантические модели. [33]
&, М ] имеет; семантические модели только в множествах мощности п, а 7 К0н, Заметим, что, с другой стороны, эта теория, в силу 3.3, имеет адекватную, но не семантическую модель в счетном множестве. [34]
Темой этого параграфа является проблема существования канонических семантических моделей. [35]
Приступим далее к построению и изучению семантических моделей архитектурно-пространственной среды конкретных исторических эпох. Выведенные на этой основе конкретные понятия и средства композиции будут служить исходным пунктом более отвлеченного анализа собственного языка архитектурно-художественной формы, от которого начнется восхождение к синтетически целостной конкретной архитектурно-пространственной форме в творческом процессе типологического курсового и дипломного проектирования. [36]
Каждая непротиворечивая теория первого порядка имеет семантическую модель. [37]
Каждая непротиворечивая теория нулевого порядка имеет семантическую модель. [38]
Каждая непротиворечивая теория первого порядка имеет семантическую модель. [39]
Каждая непротиворечивая теория нулевого порядка имеет семантическую модель. [40]
& - 4, то существует такая семантическая модель К для Т мощности т тах ( Мп, Ф) ( где Ф - множество всех. [41]
В следующем разделе излагается система принципов построения многоуровневой семантической модели геоданных, ориентированной на поиск в электронных геобиблиотеках объектов окружающей среды по их пространственным признакам и содержательным аспектам. Задачи и принципы построения семантической модели геоданных рассматриваются как составная часть концептуально новой проблемы семантического поиска геообъектов в электронных геобиблиотеках. [42]
Каждая непротиворечивая открытая теория первого порядка имеет семантическую модель. [43]
Эта формализованная арифметика, разумеется, имеет счетную ординарную семантическую модель, а именно естественную модель в множестве всех положительных целых чисел. Грубо говоря, в каждом несчетном множестве / можно определить сложение и умножение с теми же свойствами, какими обладают сложение и умножение в области всех положительных целых чисел, Более точно, существует интерпретация 3 языка формализованной арифметики в множестве), которая превращает J в алгебру с двумя бинарными операциями и -, обладающими свойствами сложения и умножения положительных целых чисел; соответствующая реализация S ( используются обозначения § 4, ( 1), стр. [44]
Эта формализованная арифметика, разумеется, имеет счетную ординарную семантическую модель, а именно естественную модель в множестве всех положительных целых чисел. Грубо говоря, в каждом несчетном множестве можно определить сложение и умножение с темп же свойствами, какими обладают сложение и умножение в области всех положительных целых чисел, Более точно, существует интерпретация 3 языка формализованной арифметики в множестве), которая превращает в алгебру с двумя бинарными операциями и -, обладающими свойствами сложения и умножения положительных целых чисел; соответствующая реализация 3 ( используются обозначения § 4, ( 1), стр. [45]