Объединенный семинар ИЦСА и ИЦПУ по оптимизации и управлению

Заседание №36 семинара состоится в понедельник 04.03.2013 в
14:00, в зале заседаний Ученого совета ИПС.

Алгебраический подход к моделированию

1. Три барьера перед технологией численного моделирования.

2. Способ преодоления барьера тепловыделения: обратимые вычисления.

3. Способ преодоления барьера сложности: понятия высших уровней

4. Алгебры программ. Представление вычислений и функционалов в алгебрах.

5. Представление обратимых вычислений в алгебрах.

6. Некоторые взаимосвязи с качественной теорией численных систем.

Приглашаются все желающие.

Страница семинара доступна по следующей ссылке:
http://www. *****/~cprc/bichkova/seminarICPU/sem2013.html