Алгебраические системы

📒 Теория универсальных алгебр и теория моделей,- несмотря на некоторое различие в проблема­тике, столь тесно связаны, что имеет смысл говорить об одной дисциплине - теории алгебраических систем, предметом которой являются множества с определенными на них последовательностями операций и отношений (алгебраические системы). Формальным аппаратом этой теории служит язык так называемого прикладного исчис­ления предикатов, а сама теория должна рассматриваться как пограничная между математической логикой и алгеброй.