|
 |
Косовская
Татьяна
Матвеевна
д.ф.-м.н.
профессор кафедры информатики СПбГУ
|
Много лет эту секцию вел
Николай Кириллович Косовский
В прошлом году его не стало
Светлая ему память
|
|
|
Фундаментальная информатика
На секции ожидаются доклады по тематикам, описанным ниже.
- Формализованные эффективные спецификации компьютерных программ, алгоритмов и сетей:
- Рекурсивно логическое программирование.
- Другие парадигмы спецификаций и примеры их использования.
- Доказательства свойств программ и алгоритмов:
- Доказательства полиномиальности алгоритмов.
- Доказательства корректности программ и алгоритмов.
- Другие доказательства.
|
| чт 25 апреля |
 |
дневная секция |
| ауд. 3394 |
|
Тарасова Е.Ю.
Исследование алгоритмов для решения однопроцессорной задачи с временем доставки
Старчак М.Р.
О бескванторной выразимости графика возведения в квадрат в структуре $\left\langle \mathbb{N};1,+,Sq,\mid\right\rangle $
|
|
|
