|
 |
Косовский
Николай
Кириллович
д.ф.-м.н., профессор
заведующий кафедрой информатики СПбГУ
|
| Соруководитель секции: |
 |
|
Фундаментальная информатика
На секции ожидаются доклады по тематикам, описанным ниже.
- Формализованные эффективные спецификации компьютерных программ, алгоритмов и сетей:
- Рекурсивно логическое программирование.
- Другие парадигмы спецификаций и примеры их использования.
- Доказательства свойств программ и алгоритмов:
- Доказательства полиномиальности алгоритмов.
- Доказательства корректности программ и алгоритмов.
- Другие доказательства.
|
| чт 26 апреля |
 |
дневная секция |
| ауд. 4337 |
|
Герасимов М.А.
Полиномиальный по времени метод нахождения приближенного решения задачи о разбиении с гарантированной оценкой точности
|
|
Сигаль А.В.
Изменение характеристик информационной системы на основе СУБД MySQL 6.0 при различных вероятностных распределениях потока запросов
|
|
Петухова Н.
Обратный метод для решения задач логико-предметного распознавания образов и оценки числа шагов его работы
|
Если хотите выступить в этой секции (на этом семинаре), то напишите письмо с тезисами своего выступления:
|
|
