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

Башмаков Степан Игоревич
e-mail: sbashmakov [at] sfu-kras [dot] ru
телефон: +7 (391) 246-99-13
анкета на другом сайте: math.sfu-kras.ru/node/1100
степень: кандидат физико-математических наук

Место работы

Диссертации

  • Временные многоагентные логики и проблема унификации (кандидат физико-математических наук, 2018).

Образование

  • Сибирский федеральный университет, математика и компьютерные науки (бакалавриат), 2012 г.;
  • Сибирский федеральный университет, математика (магистратура), 2014 г.

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

  • унификация в нестандартных логиках;
  • интуиционистские логики;
  • модальные логики знания и времени;
  • предтабличные логики;
  • правила вывода.

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

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

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

  • СФУ, Certificate in Advanced English: 72%, Сертификат ФПКП — 2019 г.
  • СФУ, Подготовка к Кембриджским экзаменам - PET (B1), Удостоверение 26-1/19-Б222 — 2019 г.
  • СФУ, Инклюзивное образование в вузе: от теории к практике, Удостоверение 26-1/19-Б170 — 2019 г.
  • СФУ, Корпоративные сервисы СФУ, Сертификат 26-1/18-Э 573 — 2018 г.
  • СФУ, Управление проектами, Удостоверение 26-1/16-Б1160 — 2016 г.

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

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

Награды, дипломы, членство в союзах

  • лауреат государственной премии Красноярского края в сфере профессионального образования (2017): за успехи в научной и педагогической деятельности;
  • лауреат 1-й премии XXI конкурса имени Августа Мёбиуса за работу «Унификация в линейной модальной логике нетранзитивного времени с универсальной модальностью» (Москва);
  • член кадрового резерва СФУ по направлению «Научно-педагогическая деятельность» (с 2016 года);
  • член Российского фотобиологического общества (с 2017 года);
  • секретарь красноярского рабочего семинара «Неклассические логики» (с 2016 года);
  • руководитель Молодежного учебно-научного семинара «Основы математической логики» (с 2018 года).

Публикации

  1. Unification in linear modal logic on non-transitive time with the universal modality [статья из журнала]
    2018, Journal of Siberian Federal University - Mathematics and Physics
  2. Унификационная проблема в предтабличной модальной логике PM2 [статья из журнала]
    2018, Логико-философские штудии
  3. Unification in linear modal logic on non-transitive time with the universal modality [статья из журнала]
    2018, Journal of Siberian Federal University - Mathematics and Physics
  4. Унификация во временных многоагентных логиках с универсальной модальностью [доклад, тезисы доклада, статья из сборника материалов конференций]
    2017, Математика в современном мире
  5. Unification for multi-agent temporal logics with universal modality [статья из журнала]
    2017, IfCoLog Journal of Logics and their Applications
  6. Унификация во временных многоагентных логиках с универсальной модальностью [доклад, тезисы доклада, статья из сборника материалов конференций]
    2017, Математика в современном мире
  7. Projective unification for linear non-transitive temporal logic with the operator of universal modality [доклад, тезисы доклада, статья из сборника материалов конференций]
    2017, Мальцевские чтения
  8. АКСИОМАТИЗАЦИЯ ИНТУИЦИОНИСТСКИХ ЛОГИК, ОПРЕДЕЛЯЕМЫХ МАЛЫМИ ФРЕЙМАМИ [статья из журнала]
    2017, Математические заметки СВФУ
  9. Линейные транзитивные логики знания и времени, унификация и проективные формулы [доклад, тезисы доклада, статья из сборника материалов конференций]
    2017, МАК: Математики - Алтайскому краю
  10. Unification through the projective formulas in linear discrete temporal logics of knowledge [доклад, тезисы доклада, статья из сборника материалов конференций]
    2016
Показать все публикации
  1. On unification and passive rules in multi-modal temporal logic of linear time and knowledge LFPK [доклад, тезисы доклада, статья из сборника материалов конференций]
    2016, Алгебра и логика: теория и приложения
  2. Unification through the projective formulas in linear discrete temporal logics of knowledge [доклад, тезисы доклада, статья из сборника материалов конференций]
    2016, Мальцевские чтения
  3. Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK [статья из журнала]
    2016, JOURNAL OF SIBERIAN FEDERAL UNIVERSITY-MATHEMATICS & PHYSICS
  4. PROJECTIVE FORMULAS AND UNIFICATION IN LINEAR DISCRETE TEMPORAL MULTI-AGENT LOGICS [статья из журнала]
    2016, SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA
  5. NON-UNIFIABILITY IN LINEAR TEMPORAL LOGIC OF KNOWLEDGE WITH MULTI-AGENT RELATIONS [статья из журнала]
    2016, Сибирские электронные математические известия
  6. Унификация в многомодальной логике LTK [доклад, тезисы доклада, статья из сборника материалов конференций]
    2016, Материалы 54-й Международной научной студенческой конференции МНСК-2016
  7. Вопрос унификации и базис пассивных правил в многомодальной логике LTK [доклад, тезисы доклада, статья из сборника материалов конференций]
    2016, ЛОМОНОСОВ - 2016
  8. Аксиоматизация интуиционистских логик малой глубины [доклад, тезисы доклада, статья из сборника материалов конференций]
    2013, Молодежь и наука

Гранты

  • Логико-математические модели и их приложения в информационных науках
    ККФН-РФФИ, 2018-2020 гг., № 18-41-240005

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

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.