
кандидат физико-математических наук
тел.: (391) 246-99-13
e-mail:
веб-сайт: https://www.researchgate.n ...
адрес: 660041, г. Красноярск, пр. Свободный, 79, ауд. 34-04
год рождения: 1990
e-mail:
веб-сайт: https://www.researchgate.n ...
адрес: 660041, г. Красноярск, пр. Свободный, 79, ауд. 34-04
год рождения: 1990
Место работы и должность
- Дирекция Института, заместитель директора по воспитательной работе
Кафедра алгебры и математической логики, доцент
Образование
- ФГАОУ ВО СФУ — Бакалавр математики ("Математика. Компьютерные науки"), 2012 г.
- ФГАОУ ВО СФУ — Магистр математики ("Математика"), 2014 г.
- ФГАОУ ВО СФУ — Программа аспирантуры (Исследователь. Преподаватель-исследователь), 2018 г.
Стаж работы (полных лет)
- Общий: 10
По специальности: 8
Научные направления, профессиональные интересы
- Унификация в нестандартных логиках
- Интуиционистские логики
- Модальные логики знания и времени
- Предтабличные логики
- Правила вывода
Диссертации
- Кандидатская диссертация
- Временные многоагентные логики и проблема унификации — 2018 г.
Преподаваемые дисциплины
- Дискретная математика
- Алгебра
- Формальные системы в логике и алгебре
- Алгоритмы и рекурсивные функции
- Алгебраические системы с дополнительными структурами
Награды
- Лауреат государственной премии Красноярского края в сфере профессионального образования (2017): за успехи в научной и педагогической деятельности
- Лауреат 1-й премии XXI конкурса имени Августа Мёбиуса за работу «Унификация в линейной модальной логике нетранзитивного времени с универсальной модальностью» (Москва)
Членство в научных, профессиональных, общественных организациях
- С 2016 г. - член кадрового резерва СФУ по направлению "Научно-педагогическая деятельность"
- С 2017 г. - член Российского фотобиологического общества
- C 2016 г. - секретарь красноярского рабочего семинара "Неклассические логики"
- С 2018 г. - руководитель Молодежного учебно-научного семинара «Основы математической логики»
Публикации
Последние публикации:
- Unification in Pretabular Extensions of S4 : научное издание [статья из журнала]2021, Logica Universalis
- Линейная ступенчатая логика знания с универсальной модальностью : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2020, МАЛЬЦЕВСКИЕ ЧТЕНИЯ
- Унификационная проблема в предтабличных модальных логиках P M1 - P M5 : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2020, МАЛЬЦЕВСКИЕ ЧТЕНИЯ
- Унификационная проблема в предтабличной модальной логике PM2 : научное издание [статья из журнала]2018, Логико-философские штудии
- Unification in linear modal logic on non-transitive time with the universal modality [статья из журнала]2018, Journal of Siberian Federal University - Mathematics and Physics
Показать ещё публикации
- Unification for multi-agent temporal logics with universal modality : научное издание [статья из журнала]2017, JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS
- Унификация во временных многоагентных логиках с универсальной модальностью : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2017, Математика в современном мире
- Унификация во временных многоагентных логиках с универсальной модальностью : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2017, Математика в современном мире
- Projective unification for linear non-transitive temporal logic with the operator of universal modality : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2017, Мальцевские чтения
- АКСИОМАТИЗАЦИЯ ИНТУИЦИОНИСТСКИХ ЛОГИК, ОПРЕДЕЛЯЕМЫХ МАЛЫМИ ФРЕЙМАМИ : научное издание [статья из журнала]2017, Математические заметки СВФУ
- Линейные транзитивные логики знания и времени, унификация и проективные формулы : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2017, МАК: Математики - Алтайскому краю
- Unification through the projective formulas in linear discrete temporal logics of knowledge : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2016
- On unification and passive rules in multi-modal temporal logic of linear time and knowledge LFPK : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2016, Алгебра и логика: теория и приложения
- Unification through the projective formulas in linear discrete temporal logics of knowledge : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2016, Мальцевские чтения
- Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK [статья из журнала]2016, JOURNAL OF SIBERIAN FEDERAL UNIVERSITY-MATHEMATICS & PHYSICS
- PROJECTIVE FORMULAS AND UNIFICATION IN LINEAR DISCRETE TEMPORAL MULTI-AGENT LOGICS [статья из журнала]2016, SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA
- NON-UNIFIABILITY IN LINEAR TEMPORAL LOGIC OF KNOWLEDGE WITH MULTI-AGENT RELATIONS : научное издание [статья из журнала]2016, Сибирские электронные математические известия
- Унификация в многомодальной логике LTK [доклад, тезисы доклада, статья из сборника материалов конференций]2016, Материалы 54-й Международной научной студенческой конференции МНСК-2016
- Вопрос унификации и базис пассивных правил в многомодальной логике LTK [доклад, тезисы доклада, статья из сборника материалов конференций]2016, ЛОМОНОСОВ - 2016
- Аксиоматизация интуиционистских логик малой глубины : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]2013, Молодежь и наука
Список публикаций сформирован в автоматическом режиме. Сообщите, если заметили неточности.
Наиболее значимые публикации:
- 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. DOI: 10.17516/1997-1397-2016-9-2-149-157
- Bashmakov S. I., Kosheleva A.V., Rybakov V. Non-unifiability in linear temporal logic of knowledge with multi-agent relations. Siberian Electronic Mathematical Reports. V. 13. 2016. pp. 656–663. DOI: 10.17377/semi.2016.13.052
- 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. DOI: 10.17377/semi.2016.13.074
- 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. - Режим доступа: http://mi.mathnet.ru/svfu2
- 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. DOI: 10.17516/1997-1397-2018-11-1-3-9
- Башмаков С. И. Временные многоагентные логики и проблема унификации. Дисс. … канд. физ.-матем. наук, СФУ, Красноярск. 2017, 83 с. http://research.sfu-kras.ru/node/12678 DOI: 10.13140/RG.2.2.26947.30249
- Bashmakov S. I. Unification in pretabular extensions of S4 / 2020, Препринт arXiv:2005.08506
Всего публикаций: 25.
Ссылка на профиль в Академии Google
Участие в грантах, проектах
- Системы неалгебраических уравнений, степенные суммы корней и компьютерная алгебра — ККФН-РФФИ, 2021-2022 (грант № 20-41-243002)
- Логико-математические модели и их приложения в информационных науках — ККФН-РФФИ, 2018-2020 (грант № 18-41-240005)
Повышение квалификации, стажировки
- НИ "ТГУ", Модели и технологии интеграции онлайн-курсов в образовательные программы, Удостоверение 20-29.258-191 — 2020 г.
- ФГАОУ ВО "СФУ", Аспекты формирования воспитательной среды вуза, Удостоверение 93/20 - Б 481 — 2020 г.
- ФГАОУ ВО "СФУ", Экономическая культура и финансовая грамотность в цифровой экономике, Удостоверение 26-1/19-НВ 1379 — 2019 г.
- ФГАОУ ВО "СФУ", 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 г.
Научно-педагогическая и общественная деятельность
- Член Совета молодых ученых СФУ (2017-2019 гг.); Член Совета по воспитательной работе СФУ (с 2018 г.).
Прикрепленные файлы | ||
---|---|---|
CV_Bashmakov.pdf | 154.53 кб |