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