Источник финансирования НИР
госбюджет, раздел 0110 (для тем по госзаданию) |
Этапы НИР
# |
Сроки |
Название |
1 |
1 января 2013 г.-31 декабря 2013 г. |
Развитие теории моделей программ |
Результаты этапа: |
2 |
1 января 2014 г.-31 декабря 2014 г. |
Развитие теории моделей программ |
Результаты этапа: Развитие теории алгебраических моделей программ проходило в переходе от моделей программ без процедур к моделям программ с процедурами. Исследовались фундаментальные проблемы: проблема эквивалентности в модели и проблема построения систем эквивалентных преобразований, полных в модели. По обеим проблемам получены новые результаты. |
Прикрепленные к НИР результаты
Для прикрепления результата сначала выберете тип результата (статьи, книги, ...).
После чего введите несколько символов в поле поиска прикрепляемого результата, затем
выберете один из предложенных и нажмите кнопку "Добавить".