Cтраница 1
Существование моделей, в которых выполняются приведенные аксиомы, доказывают их непротиворечивость ( см. Геометрия, 8 кл. [1]
Существование моделей такого рода ( при условии непротиворечивости теории из V, § 13, Д доказывается, в частности, в книге Ко ша Теория множеств и континуум-гипотеза ( Мир, 1969), гл. [2]
Существование моделей одно-многозначных, много-однозначных и много-многозначных причинных отношений коррозионного процесса является очень важной характеристикой коррозионной кинетики вообще. [3]
В послевоенный период существование модели закрытых и жестко регулируемых национальных рынков оправдывало себя, поскольку обеспечивало высокие темпы развития экономики и торговли, позволяло поддерживать относительную макроэкономическую стабильность в рамках национальных экономик. [4]
Некоторые применения теоремы существования моделей Прежде всего докажем, что синтаксический и семантический подходы к определению алгебры U С / ( Ф, W) дают один и тот же результат. [5]
Еще одно применение теоремы существования модели связано с реализацией простых алгебр. [6]
Чтобы обеспечить непротиворечивость системы аксиом, существования модели оказалось недостаточно. [7]
Вы убедитесь, что есть все основания согласиться с существованием дуалистических моделей и научиться правильно использовать их, и чем скорее вам это удастся, тем лучше. [8]
Следующая теорема обстоятельно освещает связь между непротиворечивостью теории п существованием моделей разных видов. [9]
Следующая теорема обстоятельно освещает связь между непротиворечивостью теории и существованием моделей разных видов. [10]
Три сформулированные нами теоремы утверждают и кое-что положительное о существовании моделей с определенными свойствами. Действительно, ключом к доказательству почти всех глубоких теорем теории моделей служит построение моделей нужного типа. [11]
Наше определение а-однородной модели таково, что в случае сингулярного а трудно доказать существование а-одно-родных моделей мощности а. [12]
Схема взаимодействия программ FEMAP и NASTRAN. [13] |
База данных FEMAP, называемая также файл модели, имеет двоичный формат и должна сохраняться на все время существования модели объекта. [14]
Этот параграф содержит теоремы о связи между непротиворечивостью некоторой теории нулевого порядка, основанной на интуиционистской логике, и существованием моделей ( см. § 2) в псевдобулевых алгебрах. [15]