Башмаков Степан Игоревич

e-mail:
веб-сайт: https://scholar.google.ru/ ...
адрес: 660041, г. Красноярск, пр. Свободный, 79, ауд. 35-00
год рождения: 1990

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

Образование

  • Сибирский федеральный университет — "Математика. Компьютерные науки", степень бакалавр, 2012 г., тема дипломной работы: «Аксиоматизация интуиционистских логик малой глубины»
  • Сибирский федеральный университет — "Математика", квалификация магистр, 2014 г., тема дипломной работы: «Аксиоматизация интуиционистских логик малой глубины»

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

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

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

  • Унификация в нестандартных логиках
  • Интуиционистские логики
  • Модальные логики знания и времени
  • Предтабличные модальные и интуиционистские логики

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

  • Дискретная математика
  • Алгебра
  • Формальные системы в логике и алгебре
  • Алгоритмы и рекурсивные функции
  • Дополнительные главы логики и дискретной математики

Награды

  • Лауреат государственной премии Красноярского края в сфере профессионального образования (2017): за успехи в научной и педагогической деятельности
  • Лауреат 1-й премии XXI конкурса имени Августа Мёбиуса за работу «Унификация в линейной модальной логике нетранзитивного времени с универсальной модальностью» (Москва)

Членство в научных, профессиональных, общественных организациях

  • С 2016 г. - член кадрового резерва СФУ по направлению "Научно-педагогическая деятельность"
  • С 2017 г. - член совета молодых ученых СФУ

Публикации

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

  • Bashmakov S.I. Unification and inference rules in the multi-modal logic of knowledge and linear time LTK. Journal of Siberian Federal University. Mathematics and Physics. V. 9, № 2. 2016. pp. 148-156.
  • Bashmakov S. I., Kosh­eleva A.V., Rybakov V­. Non-unifiability in l­inear temporal logic ­of knowledge with mul­ti-agent relations. Siberian Electronic M­athematical Reports. ­V. 13. 2016. pp. 656–663.
  • Bashmakov S.I., Kosheleva A.V., Rybakov V. Projective formulas and unification in linear discrete temporal multi-agent logics. Siberian Electr. Math. Reports. V. 13. 2016. pp. 923–929.
  • Bashmakov S.I., Kosheleva A.V., Rybakov V. Unification for multi-agent temporal logics with universal modality. IfCoLog Journal of Logics and their Applications. V. 4, N.4. 2017. pp. 939-954. - Режим доступа: http://www.collegepublications.co.uk/downloads/ifcolog00013.pdf
  • Башмаков С.И., Голованов М.И. Аксиоматизация интуиционистских логик, определяемых малыми фреймами. Матем. заметки Северо-Вост. федерал. унив-та, Т. 24, № 1. 2017, с. 6-15. - Режим доступа: https://s-vfu.ru/universitet/rukovodstvo-i-struktura/instituty/niim/mzsvfu/electronic-version-of-the-magazine/17-01.pdf
  • Bashmakov S. I. Unification in linear modal logic on non-transitive time with the universal modality. Journal of Siberian Federal University. Mathematics and Physics. V. 11, № 1. 2018. pp. 3-9.

Всего публикаций: 16.

Ссылка на профиль в Академии Google

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

  • КРОК, Москва, Системный инженер "Комплексов обработки избирательный бюллетеней", Сертификат — 2011, 2016
  • ФПКП СФУ, Красноярск, Управление проектами, Удостоверение № 242404798270 — 2016 г.

ORCID 0000-0002-3354-0383

ResearcherID K-7178-2017

Прикрепленные файлы
CV_Bashmakov.pdf.pdf151.74 кб