|
 |
Косовская
Татьяна
Матвеевна
д.ф.-м.н., профессор
заведующая кафедрой информатики СПбГУ
|
|
Фундаментальная информатика
На секции ожидаются доклады по тематикам, описанным ниже.
- Формализованные эффективные спецификации компьютерных программ, алгоритмов и сетей:
- Рекурсивно логическое программирование.
- Другие парадигмы спецификаций и примеры их использования.
- Доказательства свойств программ и алгоритмов:
- Доказательства полиномиальности алгоритмов.
- Доказательства корректности программ и алгоритмов.
- Другие доказательства.
|
| вт 28 апреля |
 |
дневная секция |
| ауд. 3394 |
|
Князев Г.А.
Разработка симулятора однонаправленных квантовых вычислений в дискретных переменных
Григорьева Н.С.
Задача составления расписания для одного процессора с дополнительными задержками
Косовская Т.М.
Гиперграфы отношений для представления информации
Кузнецов Е.А.
Анализ структурной динамики для коалиционных функциональных систем
|
|
|
