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

Характеризация двух уровней выразительности логики предикатов над финитарным и инфинитарным семантическими слоями теоретико-модельных свойств и исследование моделей теорий первого порядка

Руководитель проекта: Кальменов Т.Ш.
Исполнители проекта: Перетятькин М.Г., Кудайбергенов К.Ж.
Организация: Институт математики и математического моделирования
Инвентарный номер: 0215РК02128
Регистрационный номер: 0115РК00657
Ключевые слова: логика предикатов*алгоритмы*модели теорий*семантика*изоморфизмы*алгебра Линденбаума*декартовые интерпретации теорий