Теория моделей
Материал из Wiki Mininuniver
Версия от 18:19, 24 марта 2011; Смирнов Евгений (обсуждение | вклад) (Новая: Теория моделей — раздел математической логики, который занимается изучением связи между формальным...)
Теория моделей — раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория моделей получила в работах Тарского, Мальцева и Робинсона.
