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