«Государственные услуги, оказываемые АО «НЦГНТЭ»: 

практические рекомендации для научного сообщества»

подробнее

Касым-Жомарт Токаев: 

«Казахстан постепенно превращается 
в региональный академический и научно-исследовательский хаб»

подробнее

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

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

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

050026, Алматы, ул. Богенбай батыра, 221

Тел: 8 (727) 378 0509

E-mail: dir@inti.kz