Аннотация

Теория моделей

Тео́рия моде́лей, раздел математики, возникший при применении методов в . Во 2-й половине 20 в. теория моделей оформилась в самостоятельную дисциплину, методы и результаты которой находят применение как в алгебре, так и в других разделах математики. Основные понятия теории моделей – понятия , , истинности рассматриваемого языка в данной алгебраической системе. Примером алгебраической системы является система натуральных чисел вместе с операциями сложения и умножения, и выделенными элементами 00, 11.