Теоретико-модельные свойства конечно аксиоматизируемых теорий с приложением к задачам логического программирования и структурные вопросы теории моделей
Full Name of the work head: Перетятькин Михаил Георгиевич
Исполнители проекта:
: Республиканское государственное предприятие на праве хозяйственного ведения "Институт математики и математического моделирования"
Inventory number: 0219РК00709
Registration number: 0118РК00470
Keywords: логика предикатов,теория первого порядка,модель,изоморфизм,элементарная подмодель,однородная модель,теоретико-модельное свойство,алгебра Линденбаума,вычислимость,логическое программирование
Исследование структурных свойств и алгоритмических аспектов моделей логики предикатов и алгебр Линденбаума теорий.
