Cтраница 2
С теорией моделей тесно связаны работы А. И. Мальцева по теории алгебраических систем, в особенности по теории многообразий и квазимногообразий систем. Дальнейшее развитие эти идеи получили в работах [75, 78], которые составляют теоретический фундамент общей теории квазимногообразий алгебраических систем. На многообразия алгебраических систем распространяется теорема Биркгофа о характеризации многообразий алгебр; дается алгебраическая характеризация квазимногообразий. В [78] детально изучаются композиции ( умножения) многообразий, квазимногообразий и других классов алгебраических систем. Вопросам конечной аксиоматизируемости и йезависимой аксиоматизируемости классов моделей посвящена последняя работа А. И. Мальцева [79], опубликованная посмертно. Здесь показано, в частности, что существует континуум различных универсально аксиоматизируемых подклассов класса частично упорядоченных множеств фиксированной размерности, в отличие от класса линейно упорядоченных множеств. [16]
Так как теория модели диполь-дипольного взаимодействия была рассмотрена только в первом приближении, то эта величина формально является производной нулевого порядка от дипольного момента ( в газовой фазе), и, следовательно, интенсивностью в спектре газовой фазы, которая приведена в таблице. По-видимому, не нужно ( и не вполне верно) особо говорить о том, что при расчетах диполь-дипольного взаимодействия следует пользоваться интенсивностями в спектре кристалла. Если существует большое различие между интенсивностями в спектрах газа и кристалла, то следует показать, что теория диполь-дипольного взаимодействия остается справедливой и в этом случае. [17]
Важное место в теории моделей занимает исследование нестандартных моделей арифметики и анализа. Ньютона бесконечно малые и бесконечно большее величины рассматривались как числа. [18]
Важное место в теории моделей занимает исследование нестандартных моделей арифметики и анализа. Newton) бесконечно малые и бесконечно большие величины рассматривались как числа. [19]
Их важность для теории моделей была понята не сразу, они не использовались в ней до конца 50 - х годов. Йонссон [1956, 1960] изучал понятия универсальной ( - универсальной) и однородной ( а-однородной) моделей. [20]
Статья относится к теории моделей программ - одному из разделов теоретического программирования. [21]
Совершенствование знаний по теории Моделей Циклов позволяет свинг-трейдерам все более точно и последовательно выявлять грядущие неудачи. [22]
Докажите, что теория бесконечных моделей ( аксиомы которой образуют бесконечный список предложений зп, причем каждое ап утверждает, что существует по меньшей мере п различных элементов) не является конечно аксиоматизируемой. [23]
Ха А полная теории обогащенной модели ( ЭД, х) х х атомна. [24]
В привлеченной для этой теории модели гистерезиса эффекты обоих процессов либо уравновешиваются, либо конкурируют с преобладанием первого ( упрочнения) над вторым в начальной стадии испытания и второго ( разупрочнения) над первым в конце испытания. При этом разупрочнение представляется как разрыхление материала и протекает под действием внутренних напряжений. [25]
На базе системы аксиом строится теория модели. По ходу развития теории встречаются определения новых терминов и символов, сокращающих запись рассуждений и результатов. [26]
Какого сорта теоремы доказывают в теории моделей. [27]
Его доказательство особенно важно в теории моделей потому, что в нем вводится метод построения моделей из индивидных констант. Теорема Левенгейма - Скулема - Тарского была впервые доказана даже раньше, чем теорема о полноте; случай а со доказан Левенгеймом [1915] и Скулемом [1920], а общий случай - Тарским. Первые же применения теоремы о полноте Генкиным, Мальцевым, Робинсоном и Тарским дали большой толчок развитию теории моделей. [28]
В данном разделе нас интересует теория моделей дейталога. Сначала нам необходимо определить понятие интерпретации или допустимого мира. [29]
В книге канадских исследователей излагается неформальная теория моделей данных, анализируются наиболее распространенные модели - иерархическая, сетевая и реляционная. Рассматриваются модели объектов-связей, бинарные модели, семантические связи и инфологические модели данных. Обсуждаются проблемы, возникающие при проектировании баз данных. [30]