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

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

Место работы

Образование

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

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

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

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

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

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

  • член кадрового резерва СФУ с 2016 года;
  • повышение квалификации «Управление проектами» (2016);
  • сертифицированный инженер «Комплексов обработки избирательных бюллетеней» (КОИБ);
  • соорганизатор научного семинара «Нестандартные логики» (с 2014 по н. в.);
  • член оргкомитетов международной конференции «Алгебра и логика: теория и приложения» и школы-конференции по теории групп (2016, г. Красноярск).

Публикации

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

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

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