Cтраница 3
Другим моментом, придающим единство теории моделей, является проводимое во всей этой теории различение синтаксиса и семантики. Синтаксис имеет дело с чисто формальной структурой языка - например, длина предложения или совокупность входящих в него символов являются его синтаксическими характеристиками. Семантика изучает интерпретацию, или значение формального языка: истинность или ложность предложения в модели - вопрос семантический. Как мы скоро увидим, большая часть теории моделей исследует взаимодействие синтаксических и семантических идей. [31]
Простым, но мощным орудием теории моделей является метод диаграмм. [32]
Работы Скотта в области логики касались теории моделей, теории ав - Юматов, теории множеств, модальной и интуиционистской логики, конструктивной математики и связей между логикой и теорией категорий. В настоящее время он интересуется широким кругом вопросов, связанных с приложениями логики к семантике языков - программирования и. [33]
Так как математическая теория игр - теория моделей принятия решений, она не занимается этими решениями как психологическими или волевыми актами; не занимается она и вопросами их фактической реализации. [34]
Десятая глава посвящена приложениям алгебр Халмоша в теории моделей. К базам данных эта глава имеет лишь косвенное отношение. [35]
В книге содержится материал годового спецкурса по теории моделей, рассчитанного на старшекурсников, однако книга построена так, что на ее основе можно скомпоновать ряд более коротких курсов. Глава 1 содержит вводный материал, а начиная с гл. Сведения, собранные в разделах 1.1, 1.3, 1.4, 2.1, 3.1 и 4.1, необходимы для любого курса по теории моделей. [36]
В самые последние годы большое значение в теории моделей приобрели так называемые ультрапроизведения моделей, являющиеся непосредственным обобщением прямых произведений. [37]
Как уже говорилось, основным формальным языком теории моделей является язык узкого исчисления предикатов с равенством, сокращенно обозначаемый далее через УИП. [38]
В предыдущих параграфах были рассмотрены попытки создания теории моделей данных. [39]
Эта книга возникла на основе многочисленных курсов по теории моделей, читавшихся нами з Калифорнийском ( Лос-Анджелес) и Висконсинском университетах. Мысль о написании учебника такого рода возникла в 1963 г., когда мы завершали работу над нашей более ранней монографией Теория непрерывных моделей. [40]
Следствие 2.1.11 служит начальным пунктом одного из направлений теории моделей, известного под названием нестандартного анализа. [41]
Поскольку свойство слабой компактности было определено в рамках теории моделей логики Ха с бесконечными формулами, формализовать его в теории множеств, ограничиваясь только - отношением, не так-то просто. [42]
Покажем, что Th ( Эй) - - теория модели 271 неразрешима. [43]
Этот результат дает систему аксиом для ( полной) теории модели dp, так же как теорема 5.4.4 дает систему аксиом для ( полной) теории поля вещественных чисел. [44]
Отметим, далее, что в связи с задачами теории моделей А. И. Мальцев впервые стал рассматривать многосортные - многоосновные алгебры и модели. [45]