Наука Казахстана
Документация
Анонсы
Мировая наука
Издания НЦГНТЭ
Международные гранты
Инфографика
Публикации в СМИ
Наука Казахстана
Документация
Анонсы
Мировая наука
Издания НЦГНТЭ
Международные гранты
Инфографика
Публикации в СМИ
Вход
Регистрация
FAQ
Контакты
RU
KZ
Национальные ресурсы НТИ
«Государственные услуги, оказываемые АО «НЦГНТЭ»:
практические рекомендации для научного сообщества»
подробнее
Касым-Жомарт Токаев:
«Казахстан постепенно превращается
в региональный академический и научно-исследовательский хаб»
подробнее
Национальные ресурсы
/
Отчеты о НИР
Структурные и алгоритмические свойства моделей полных теорий
Руководитель проекта: Омаров А.И.
Исполнители проекта: С.С.Заурбеков
Организация: НИИ мех.и мат.при КазГУ
Инвентарный номер: 0297РК00019
Регистрационный номер: 0194РК01208
Ключевые слова: полные, теории, модели, свойства, эквивалентность, критерии,
Ссылка
Получены критерии логической эквивалентности мультипликативной и Р-формулы. Выяснены алгоритмические сложности некоторых семантических классов предложений, исследована минимальность простой модели.
Баннеры