Унифицированная карточка ресурса.

(Информационные карты НИОКР)

.
Дата материала:   17.01.2005
Номер гос. регистрации:   01200117635
Название:   Разработка теоретических основ построения вычислительных сред и интеллектуальных систем, ориентированных на функционально-логический стиль решения прикладных задач
Основное описание:   Разработаны и исследованы модели и алгоритмы представления функций и логических программ (в общем случае, замкнутых формул логики первого порядка с равенством) в виде сетей направленных отношений. Доказаны теоремы о необходимых и достаточных условиях функциональности простых схем направленных отношений (схем, не использующих итерацию и рекурсию при своем задании). Доказаны теоремы о взаимной трансляции между логическими программами и направленными отношениями, представляемыми как системы реляционных уравнений. Показано, что традиционные процедуры вывода для логических программ сводятся к более простой и естественной процедуре "преобразования" запроса в терминальную форму путем реализации обычных подстановок. Исследованы механизмы реализации ранее созданного языка функционально-логического программирования (FLOGOL), который можно рассматривать в определенном смысле как универсальный язык, предназначенный для описания логических и функциональных моделей и программ, реляционных систем и баз знаний.
Авторы (ФИО):   Кутепов В. П.
УДК:   681.322.518(047.2)
ГРНТИ:   50.05.09 Языки программирования,
50.41.25 Прикладное программное обеспечение
Заказать материал:   http://www.v
tic.org.ru/rus/i
f_products.HTM

Приоритетные направления:   Информационно-телекоммуникационные системы;
Критические технологии:   Технологии производства программного обеспечения;

Связанные материалы
НИОКР -> Организация
Исполнитель НИОКР Московский энергетический институт (технический университет)
  Rambler's Top100