Голованов Михаил Иванович

кандидат физико-математических наук, доцент
тел.: (391) 206-20-76
e-mail:
адрес: пр. Свободный, 79, ауд. 34-17
год рождения: 1948

Место работы и должность

Образование

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

Стаж работы (полных лет)

    Общий: 53
    По специальности: 52

Научные направления, профессиональные интересы

  • Математическая логика
  • Теория моделей
  • Модальные и интуинистские логики

Диссертации

Кандидатская диссертация
Пересечение подгрупп конечной Р-группы

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

  • Дискретная математика
  • Логика компьютер-сайенс
  • Нестандартные логики
  • Компьютерная геометрия и геометрическое моделирование

Публикации

Последние публикации:

  1. АКСИОМАТИЗАЦИЯ ИНТУИЦИОНИСТСКИХ ЛОГИК, ОПРЕДЕЛЯЕМЫХ МАЛЫМИ ФРЕЙМАМИ : научное издание [статья из журнала]
    2017, Математические заметки СВФУ
  2. Аналитическая геометрия : методическое пособие [методическое пособие]
    2012
  3. Logic of visibility, perception, and knowledge and admissible inference rules [статья из журнала]
    2005, LOGIC JOURNAL OF THE IGPL
  4. Критерий допустимости правил вывода логики с оператором "Завтра" : препринт [препринт]
    2004
  5. A necessary condition for rules to be admissible in temporal tomorrow-logic [статья из журнала]
    2003, Bulletin of the Section of Logic

Список публикаций сформирован в автоматическом режиме. Сообщите, если заметили неточности.

Наиболее значимые публикации:

  • С. И. Башмаков, М. И. Голованов, “Аксиоматизация интуиционистских логик, определяемых малыми фреймами”, Математические заметки СВФУ, 24:1 (2017), 6–15
  • Golovanov M.I., About an example of decidable finitely axiomatizable K4-logic undecidable with respect to admissibility of inference rules, Advances in modal logic 2010, 24-27 August 2010, Moscow, Russia, Extended Abstracts, pp. 37-42.
  • Golovanov M.I., Kosheleva A.V., Rybakov V.V., Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules, Logic Journal of the IGPL, Oxford Press, London, 2005, Vol. 13 (2)
  • Golovanov M.I., Rybakov V.V., Yurasova E.M., A necessary condition for rules to be admissible in temporal tomorrow-logic. Bulletin of the Section of Logic, V. 32/4 (2003)
  • Голованов М.И., О разрешимости по допустимости бимодальной логики с -перестановочными модальностями, Вестник Красноярского госуниверситета, физико-математические науки, 2002, вып. 1, стр. 146-153.
  • Голованов М.И., О ступени нильпотент¬ности 4-энгелевых колец Ли, Алгебра и логика, 1986, т. 25, 5, стр. 508-532.

Повышение квалификации, стажировки

  • г. Красноярск, СФУ, Корпоративные сервисы СФУ, 26-1/18Э 633 — 2018 г.
  • г. Красноярск, СФУ, Управление образовательным проектом, 26-1/19 - Б 676 — 2019 г.
  • г. Красноярск, КрасГУ, ФПКП по направлению «Математика», 6 — 2002 г.
  • г. Красноярск, СФУ, Формирование компетенций преподавателя вуза для работы с информационными ресурсами. Модуль 1., 726 — 2008 г.

© 2023 Институт математики
и фундаментальной информатики СФУ

+7 (391) 206-21-48    math@sfu-kras.ru    VK   Telegram