Национальные ресурсы / Отчеты о НИР

Теория компаньонов

Руководитель проекта: Нуртазин Абыз Темиргалиевич
Исполнители проекта: 
Организация: Республиканское государственное предприятие "Институт информационных и вычислительных технологий"
Инвентарный номер: 0220РК01670
Регистрационный номер: 0120РК00428
Ключевые слова: классы Фрэсе,модельная полнота,Экзистенциальная замкнутость,индуктивная теория,форсинг-модель,компаньоны,компаньон-теория,компаньон-структура