модель формальной системы в математике и логике как любая совокупность объектов, свойства которых и отношения между которыми удовлетворяют аксиомам и правилам вывода формальной системы, служащей тем самым совместным (неявным) определением такой совокупности;
модель в теории алгебраических систем как совокупность некоторого множества и заданных на его элементах свойств и отношений;
эталонная модель.
Построение математических моделей возможно следующими способами (более подробно — см. Математическая модель):
аналитическим путём, то есть выводом из физических законов, математических аксиом или теорем;
экспериментальным путём, то есть посредством обработки результатов эксперимента и подбора аппроксимирующих (приближённо совпадающих) зависимостей.
Математические модели более универсальны и дешевы, позволяют
поставить «чистый» эксперимент (то есть в пределах точности модели исследовать влияние какого-то отдельного параметра при постоянстве других), прогнозировать развитие явления или процесса, отыскать способы управления ими. Математические модели — основа построения компьютерных моделей и применения вычислительной техники.