Архив семинара: |
04.03.2013, 14.00, в зале заседаний Ученого совета ИПС
Н.Н. Непейвода Алгебраический подход к моделированию2. Способ преодоления барьера тепловыделения: обратимые вычисления. 3. Способ преодоления барьера сложности: понятия высших уровней 4. Алгебры программ. Представление вычислений и функционалов в алгебрах. 5. Представление обратимых вычислений в алгебрах. 6. Некоторые взаимосвязи с качественной теорией численных систем. (Загрузить слайды) |