|
 |
Косовский
Николай
Кириллович
д.ф.-м.н., профессор
заведующий кафедрой информатики СПбГУ
|
| Соруководитель секции: |
 |
|
Фундаментальная информатика
На секции ожидаются доклады по тематикам, описанным ниже.
- Формализованные эффективные спецификации компьютерных программ, алгоритмов и сетей:
- Рекурсивно логическое программирование.
- Другие парадигмы спецификаций и примеры их использования.
- Доказательства свойств программ и алгоритмов:
- Доказательства полиномиальности алгоритмов.
- Доказательства корректности программ и алгоритмов.
- Другие доказательства.
|
| чт 24 апреля |
 |
дневная секция |
| ауд. 3315 |
|
Косовская Т.М.
Понятие неполной выводимости предикатной формулы и ее применение к решению задач искусственного интеллекта
Гошев В.А.
Особенности языка программирования рефал-5е
Герасимов М.А.
Квадратичный по времени алгоритм приближенного разбиения множества натуральных чисел с гарантированной оценкой точности
Августинов Д.М.
Исследование новостного потока методами частотного анализа
Заболотский Е.Д.
Компьютерная реализация тематической классификации текстов методами частотного анализа
Старицын М.А., Яхонтов С.В.
Эффективное по времени и памяти вычисление W-функции Ламберта
Яхонтов С.В.
Алгоритмическая вещественная функция, заданная на отрезке [0, 1], которая не является полиномиально вычислимой по времени
|
|
|
