Понятие - модель
Cтраница 3
Поэтому для случая предикатного исчисления У понятие модели совпадает с понятием реализации. [31]
В приведенном определении моделирования следует уточнить понятие модели. В данном случае под моделью понимается материальный объект, подлежащий изучению вместо оригинала. В современной науке термин модель понимается еще и как мысленная схема изучаемого объекта, отражающая его существенные стороны. Классическими примерами таких мысленных схем являются корпускулярная и волновая модели света, модель атома Ре-зерфорда, модель турбулентного потока Прандтля и многие другие. [32]
Наиболее важным является, конечно, понятие модели для простой аксиоматической теории. Оно получается, если оставить лишь пункт а) в предыдущем определении. [33]
Поэтому для случая предикатного исчисления У понятие модели совпадает с понятием реализации. С другой стороны, понятие теоремы совпадает с понятием доказуемой в У формулы ( см. § 1, стр. [34]
 |
Разворот на вершине [ IMAGE ] - 2. Разворот на вершине [ IMAGE ] Разворот на вершине. [35] |
Я уделил так много внимания обсуждению понятия моделей разворота потому, что большинство свечных индикаторов относятся именно к этому типу моделей. [36]
Это понятие по существу совпадает с понятием модели по А. Важность математической теории моделей для описания лингвистических ситуаций, по-видимому, впервые четко сформулировали В. Б. Борщев и М. В. Хомяков в работе Окре-стностные грамматики и модели перевода ( НТИ, сер. [37]
 |
Пример иерархической структуры. а - иерархическая структура. б-представление с помощью отношений. [38] |
С того момента, как стало ясным понятие модели данных, в области обработки файлов и баз данных существуют эмпирические модели, которые активно используются. [39]
Двойственным по отношению к понятию простой модели служит понятие счетно-универсальной модели. Модель 21 называется счетно-универсальной, если 51 счетна и всякая счетная модель 2S, для которой 21 23, элементарно вкладывается в модель ЭД. Следующая теорема показывает, что счетно-насыщенные модели являются большими в этом смысле. [40]
В настоящее время в ряде областей науки и техники понятие модели трактуется не в духе классической физики, как наглядная, например механическая, система, а в духе современного этапа познания - как абстрактная логико-математическая структура. [41]
Заметим, что на современном этапе моделирования системы управления понятие организационно-правовой модели по форме эквивалентно громоздкому качественному ( словесному) описанию организации управления экономическим объектом ( предприятием, объединением, отраслью) в соответствии с закономерностями и условиями функционирования производства в общей системе народного хозяйства. Средствами такого описания являются многочисленные должностные инструкции, регламентирующие вопросы разработки организационных мероприятий, юридических норм и правовых актов, регулирующих и регламентирующих взаимодействие служб министерств и предприятий, участвующих в разработке и обеспечении функционирования интегрированной АСУ на всех этапах ее создания и совершенствования. [42]
Так же как в тематике баз данных центральным является понятие модели данных, в языках программирования стержневым стало понятие типа данных. Как показано в предыдущих разделах, согласно современной трактовке тип данных определяет множество объектов ( значений) посредством множества операций. Таким образом, задать тип данных - значит определить множество объектов, множество операций над ними и множество правил ( аксиом, ограничений), указывающих допустимое сочетание или применимость операций к тому или иному объекту ( состоянию) типа данных. Как и модели данных, типы данных интенсивно исследуются с различных точек зрения, среди которых наибольшее распространение получило теоретико-множественное и, в частности, алгебраическое обоснование типа данных, рассмотренное в предыдущих разделах. [43]
Аналогичные соображения при исследовании других явлений приводят нас к понятиям моделей тел: материальной точки, точечного заряда и др. Без такого рода упрощений решение большинства даже самых простых задач привело бы нас к непреодолимым трудностям. [44]
Для того чтобы рассмотреть семантику программ Дейталога 1, обобщим понятие модели Эрбрана. [45]
Страницы: 1 2 3 4