Теория компаньонов
Full Name of the work head: Нуртазин Абыз Темиргалиевич
Исполнители проекта:
: Республиканское государственное предприятие "Институт информационных и вычислительных технологий"
Inventory number: 0220РК01670
Registration number: 0120РК00428
Keywords: классы Фрэсе,модельная полнота,Экзистенциальная замкнутость,индуктивная теория,форсинг-модель,компаньоны,компаньон-теория,компаньон-структура
I. Изучение общих понятий: компаньона данной структуры, компаньон-класса и компаньон-теории.
II. Создание общей теории индуктивных, экзистенциально замкнутых и фосинг-компаньонов.
III. Изучение и классификация компаньон-теорий и экзистенциально замкнутых полей.
