Моделирование как способ научного познания

ество перечисленных отношений Y могут служить теоретико-множественной моделью двух дружественных семей.
Модель логическая, если она представима предикатами, логическими функциями.
Совокупность двух логических функций вида: z y v y, p xy может служить математической моделью одноразрядного сумматора.
Модель алгоритмическая, если она описана некоторым алгоритмом или комплексом алгоритмов, определяющим ее функционирование, развитие. Введение такого на первый взгляд непривычного типа моделей кажется нам вполне обоснованным, так как не все модели могут быть исследованы или реализованы алгоритмически. .
Основные свойства любой модели:
конечность — модель отображает оригинал лишь в конечном числе его отношений и, кроме того, ресурсы моделирования конечны;
упрощенность — модель отображает только существенные стороны объекта и, кроме того, должна быть проста для исследования или воспроизведения;
приблизительность — действительность отображается моделью грубо, или приблизительно;
адекватность моделируемой системе — модель должна успешно описывать моделируемую систему;
наглядность, обозримость основных свойств и отношений;
доступность и технологичность для исследования или воспроизведения;
информативность — модель должна содержать достаточную информацию о системе (в рамках гипотез, принятых при построении модели) и давать возможность получить новую информацию;
сохранение информации, содержавшейся в оригинале (с точностью рассматриваемых при построении модели гипотез);
полнота — в модели должны быть учтены все основные связи и отношения, необходимые для обеспечения цели моделирования;
устойчивость — модель должна описывать и обеспечивать устойчивое поведение системы, если даже та вначале является неустойчивой;