_________________________________________________________________
Объединенный семинар ИСИ СО РАН и НГУ
ОПТИМИЗАЦИЯ И ПРЕОБРАЗОВАНИЕ ПРОГРАММ
_________________________________________________________________
Комната для семинаров ИСИ СО РАН
Время: 15.00
_________________________________________________________________
Рассмотрение дипломных работ
——————————————————————
Заседание N 405
6 мая
Тихонов Евгений Юрьевич.Тема: Трансляция алгебраических спе-
цификаций.
Котельникова Светлана Евгеньевна. Тема: Автоматизированное
рабочее место секретаря. Первичная обработка документов.
Гранатюк Виктория Николаевна. Тема: Разработка программной
системы анализа и преобразований SISAL-программ.
Хегай Жанна Эмильевна. Тема: Структуры данных и базовые пре-
образования в системах компьютерной алгебры. Реализация преобра-
зований булевых функций с помощью бинарных разрешающих диаграмм.
——————————————————————
Заседание N 406
13 мая
Климов Владислав Анатольевич. Тема: Система символьных вы-
числений в булевых алгебрах.
Якимович Даниил Александрович. Тема: Разработка визуаль-
но-интерактивной системы моделирования.
Лисицын Иван Александрович. Тема: Система обработки графи-
ческих объектов.
——————————————————————