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