Косовская
Татьяна
Матвеевна

д.ф.-м.н.
профессор кафедры информатики СПбГУ

Много лет эту секцию вел
Николай Кириллович Косовский
В прошлом году его не стало
Светлая ему память
Фундаментальная информатика

На секции ожидаются доклады по тематикам, описанным ниже.

  1. Формализованные эффективные спецификации компьютерных программ, алгоритмов и сетей:
    • Рекурсивно логическое программирование.
    • Другие парадигмы спецификаций и примеры их использования.
  2. Доказательства свойств программ и алгоритмов:
    • Доказательства полиномиальности алгоритмов.
    • Доказательства корректности программ и алгоритмов.
    • Другие доказательства.
чт 25 апреля дневная секция
ауд. 3394

Тарасова Е.Ю.

Исследование алгоритмов для решения однопроцессорной задачи с временем доставки

Старчак М.Р.

О бескванторной выразимости графика возведения в квадрат в структуре $\left\langle \mathbb{N};1,+,Sq,\mid\right\rangle $

Цель и название

Инициаторы

Место проведения

Расписание

Научная программа

Секции-семинары

Регистрация / Вход

Публикации

Контесты

Программный комитет

Оргкомитет

Документы

Отзывы и рейтинги

Адреса и телефоны

Отчёты о работе

Бурова И.Г.

Гейн А.Г.

Голяндина Н.Э.

Граничин О.Н.

Графеева Н.Г.

Демьянович Ю.К.

Ермаков С.М.

Захаров В.А.

Кац В.М.

Косовская Т.М.

Кривулин Н.К.

Крук Е.А.

Кузнецов Н.В.

Кустова Е.В.

Лукач Ю.С.

Молдовян А.А.

Терехов А.Н.

Тулупьев А.Л.

Чернов А.В.

Фахрутдинов Р.Ш.

Фрадков А.Л.

Шалыто А.А.

Юсупов Р.М.