Cтраница 1
Теория моделей, часто называемая также теорией алгебраических систем, является дисциплиной, пограничной между абстрактной алгеброй и математической логикой. [1]
Теория моделей представляет собой раздел математической логики, изучающий соотношения между формальным языком и его интерпретациями, или моделями. [2]
Теория моделей - раздел математической логики, изучающий связи между формальным языком и его интерпретациями, или моделями. В нашей книге будет изложена теория моделей логики предикатов первого порядка - простейшего из языков, имеющих приложения собственно к математике. Техника теории моделей развивалась большей частью именно для логики первого порядка ипо-прежнему лучше всего истолковывается именно в этом случае. [3]
Теория моделей оптимального роста разработана достаточно глубоко. Изучены многие свойства оптимальных траекторий. В частности, только оптимальным траекториям соответствует последовательность цен всех факторов, удовлетворяющая соотношениям, аналогичным двойственным соотношениям в задаче линейного программирования. Оптимальные траектории обеспечивают также экономия, равновесно между различными частями экономики. [4]
Теорию моделей обычно связывают с языками исчисления предикатов. [5]
В теории моделей одинаково употребительны выражения л-местное отношение и n - арное отношение. [6]
В теории моделей обычно рассматриваются предикаты, определенные на одном основном множестве. При изучении модельных соответствий оказалось необходимым систематически рассматривать предикаты и модели с несколькими основными множествами. В формулах, относящихся к таким многоосновным моделям, предметные кванторы приходится считать специализированными по основным множествам. Обычный процесс унифицирования переменных позволяет в основном свести изучение многоосновных моделей к изучению одноосновных, и этот прием используется в § 2 для вывода свойств модельных соответствий из известных свойств классов обычных моделей. [7]
Согласно теории Моделей Циклов, по мере формирования нового дна, начинается бурный рост, выливающийся в мощное ралли, а затем, после достижения вершины, начинается спад цен, и рынок переходит в состояние перепроданности. В процессе изучения данной стратегии, убедитесь в том, что цикличный характер динамики цен сохраняется на всех рынках и во все временных рамках. [8]
В теории моделей языка L наиболее важными являются следующие проблемы. [9]
Предметом теории моделей является в первую очередь построение моделей, соответствующих априорно заданной теории. Данная тема выходит за рамки нашей книги. [10]
Основателями теории моделей являются А. [11]
Методы теории моделей позволили нам получить интересные синтаксические результаты, относящиеся к формальной теории НА. При этом, хотя результаты формулируются конструктивно и весьма элементарно, методы доказательства являются классическими, теоретико-множественными. [12]
Построение теории моделей первого порядка служит предпосылкой для развития теорий моделей других типов и таких ее приложений, как нестандартный анализ. В настоящее время развиваются также теории моделей логики с бесконечными формулами, логики с дополнительными кванторами, многозначной логики, многосортной логики, интуиционистской логики, модальной логики, логики второго порядка. [13]
Разработать теорию моделей логики второго и выше порядков. [14]
Пользуясь теорией моделей, мы можем точно охарактеризовать, что вычисляет прграмма Дейталога. Однако мы не объясняем, каким образом может быть вычислен результат программы Дейталога ( см. гл. [15]