Теория на моделите

от Уикипедия, свободната енциклопедия
Направо към: навигация, търсене

В математиката теория на моделите е изучаването на (класове от) математически структури като групи, полетата, графите или дори универсумите в теория на множествата, използвайки средства на математическата логика. Структура, която дава значение на изреченията на един формален език е наречена модел на езика. Ако един модел на език удовлетворява дадено изречение или теория (последователност от изречения) се нарича модел на изречение или теория. Теория на моделите е близка до алгебрата или универсалната алгебра.

Криейтив Комънс - Признание - Споделяне на споделеното Лиценз за свободна документация на ГНУ Тази страница частично или изцяло представлява превод на страницата „Model theory“ в Уикипедия на английски. Оригиналният текст, както и този превод, са защитени от Лиценза „Криейтив Комънс - Признание - Споделяне на споделеното“, а за съдържание, създадено преди юни 2009 година — от Лиценза за свободна документация на ГНУ. Прегледайте историята на редакциите на оригиналната страница, както и на преводната страница, за да видите списъка на съавторите.