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

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

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

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

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

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

Понятие неполной выводимости предикатной формулы и ее применение к решению задач искусственного интеллекта

Гошев В.А.

Особенности языка программирования рефал-5е

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

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

Августинов Д.М.

Исследование новостного потока методами частотного анализа

Заболотский Е.Д.

Компьютерная реализация тематической классификации текстов методами частотного анализа

Старицын М.А., Яхонтов С.В.

Эффективное по времени и памяти вычисление W-функции Ламберта

Яхонтов С.В.

Алгоритмическая вещественная функция, заданная на отрезке [0, 1], которая не является полиномиально вычислимой по времени

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

Инициаторы

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

Расписание

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

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

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

Публикации

Контесты

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

Оргкомитет

Документы

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

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

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

Абрамов А.Ю.

Булычев Д.Ю.

Бурова И.Г.

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

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

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

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

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

Крук Е.А.

Леонов Г.А.

Лучин Р.М.

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

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

Новиков Б.А.

Прохоров В.В.

Сафонов В.О.

Терехов А.Н.

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

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

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

Фёдоров А.Р.

Фрадков А.Л.

Шалыто А.А.

Юсупов Р.М.