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