Теорія моделей: відмінності між версіями

'''Тео́рія моде́лей''' — розділ [[математична логіка|математичної логіки]], який займається вивченням зв'язку між [[формальна мова|формальними мовами]] та їх [[Інтерпретація (математична логіка)|інтерпретаціями]], або моделями. НазвeНазву '''теорія моделей''' вперше запропонував [[Альфред Тарський]] у [[1954 рік|1954 році]]. Основний розвиток теорія моделей отримала в працях Тарського, [[Мальцев Анатолій Іванович|Мальцева]] та [[Авраам Робінсон|Робінсона]].