Герасимов
Михаил
Александрович

к.ф.-м.н., доцент кафедры информатики

Соруководитель секции:
Фундаментальная информатика

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

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

Герасимов М.А.

Полиномиальный по времени метод нахождения приближенного решения задачи о разбиении с гарантированной оценкой точности

Сигаль А.В.

Изменение характеристик информационной системы на основе СУБД MySQL 6.0 при различных вероятностных распределениях потока запросов

Петухова Н.

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

Если хотите выступить в этой секции (на этом семинаре), то напишите письмо с тезисами своего выступления:

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

Инициаторы

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

График работы

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

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

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

Публикации

Контесты

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

Оргкомитет

Документы

Оптимизация затрат

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

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

Булычев Д.Ю.

Бурова И.Г.

Герасимов М.А.

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

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

Кириленко Я.А.

Косовский Н.К.

Крук Е.А.

Леонов Г.А.

Лучин Р.М.

Нестеров В.М.

Новиков Б.А.

Сафонов В.О.

Терехов А.Н.

Тимофеев А.В.

Трифонов П.В.

Фёдоров А.Р.

Фрадков А.Л.

Шалыто А.А.