SFU Logo
  • Структура
  • Все документы
  • Партнёры
  • Закупки
  • Карьера в СФУ
  • Позиции СФУ в рейтингах
  • СФУ в федеральных проектах
  • Символика
  • Кампус
  • Общественная приёмная
  • Политика конфиденциальности
  • Выпускники
  • Об университете
SFU Logo
SFU Logo
Сведения о вузе
SFU Logo
Сведения о вузе
АбитуриентуШкольникуСтудентуАспирантуСотрудникуПартнёруПрессе
АбитуриентуШкольникуСтудентуАспирантуСотрудникуПартнёруПрессе
  • Общая информация
  • Структура
  • Все документы
  • Партнёры
  • Закупки
  • Карьера в СФУ
  • Позиции СФУ в рейтингах
  • СФУ в федеральных проектах
  • Символика
  • Кампус
  • Общественная приёмная
  • Политика конфиденциальности
  • Выпускники
  • Общая информация
  • Бакалавриат, специалитет
  • Магистратура
  • Аспирантура
  • Докторантура
  • Полезные материалы
  • Контакты
  • Иностранным абитуриентам
  • Общая информация
  • Расписание
  • Образовательные программы
  • Графики учебного процесса
  • Платное обучение
  • Электронное обучение СФУ
  • Возможности для студентов
  • Дополнительное образование
  • Документирование учебной деятельности
  • Общая информация
  • Сотруднику
  • Исследования
  • Трансфер технологий
  • Инфраструктура
  • Аспирантура
  • Докторантура
  • Научная аттестация
  • Научные журналы СФУ
  • Общая информация
  • Бронирование пространств
  • Студенческие организации и объединения
  • Мероприятия
  • Коворкинги
  • Спорт
  • Общая информация
  • Международное сотрудничество
  • Для выезда за рубеж
  • Для иностранных граждан
  • Документы
Сведения об образовательной организацииПротиводействие коррупцииБанковские реквизитыАрхив

© Сибирский федеральный университет, 2006-2025

Сделано

ГлавнаяОб университетеСтруктураСотрудникиГолованов Михаил Иванович
Общая информацияПубликацииНаучно-педагогическая деятельностьПовышение квалификации

Образование

  1. Красноярский государственный университет — математика, квалификация "математик", 1970 г.

Диссертации

  1. Пересечение подгрупп конечной Р-группы, кандидат физико-математических наук.

Научные направления

  1. Математическая логика;
  2. Теория моделей;
  3. Модальные и интуинистские логики.

Преподаваемые дисциплины

  1. Дискретная математика;
  2. Логика компьютер-сайенс;
  3. Нестандартные логики;
  4. Компьютерная геометрия и геометрическое моделирование.