Кошелева Анна Владимировна | Структура и сотрудники СФУ

Кошелева Анна Владимировна

Основное Публикации, достижения
e-mail: akosheleva [at] sfu-kras [dot] ru
телефон: +7 (391) 291-27-90
адрес: ул. Киренского, 26, к. 1, ауд. 3-11
Google Scholar: scholar.google.com/citations

Место работы

Образование

  • Красноярский государственный университет, математика, 2003 г.

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

  • Математическая логика и теория алгоритмов;
  • Алгебра;
  • Дискретная математика.

Повышение квалификации

  • «Основы педагогического дизайна современных средств электронного обучения в высшей школе», 36 часов, СФУ, 2018 г.;
  • «Юзабилити и эргономичность современных онлайн-курсов», 36 часов, СФУ, 2018 г.;
  • «Разработка электронных курсов в системе LMS Moodle (дистанционно)», 36 часов, СФУ, 2016 г.;
  • «Педагогическое проектирование электронного учебного курса», 36 часов, СФУ, 2016 г.

Стаж работы

  • общий — 15 лет
  • по специальности — 14 лет

Публикации

  1. Satisfiability in a Temporal Multi-valueted Logic Based on Z [статья из журнала]
    Kiyatkin V. R., Kosheleva A. V.
    2022, Journal of Siberian Federal University - Mathematics and Physics
  2. Выполнимость во временной логике с мультиозначиванием, основанной на Z : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Кияткин В. Р., Кошелева А. В.
    2020, МАЛЬЦЕВСКИЕ ЧТЕНИЯ
  3. Unification for multi-agent temporal logics with universal modality : научное издание [статья из журнала]
    Bashmakov Stepan, Kosheleva Anna, Rybakov Vladimir V.
    2017, JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS
  4. Унификация во временных многоагентных логиках с универсальной модальностью : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Башмаков С. И., Кошелева А. В., Рыбаков В. В.
    2017, Математика в современном мире
  5. Унификация во временных многоагентных логиках с универсальной модальностью : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Башмаков Степан Игоревич, Kosheleva A. V., RYBAKOV V. V.
    2017, Математика в современном мире
  6. Линейные транзитивные логики знания и времени, унификация и проективные формулы : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Башмаков С. И., Кошелева А. В., Рыбаков В. В.
    2017, МАК: Математики - Алтайскому краю
  7. Unification through the projective formulas in linear discrete temporal logics of knowledge : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Bashmakov S. I., Kosheleva A. V., Rybakov V.
    2016
  8. On unification and passive rules in multi-modal temporal logic of linear time and knowledge LFPK : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Башмаков Степан Игоревич, Kosheleva A. V., Rybakov V. V.
    2016, Алгебра и логика: теория и приложения
  9. Unification through the projective formulas in linear discrete temporal logics of knowledge : доклад, тезисы доклада [доклад, тезисы доклада, статья из сборника материалов конференций]
    Bashmakov S. I., Kosheleva A. V., Rybakov V. V.
    2016, Мальцевские чтения
  10. PROJECTIVE FORMULAS AND UNIFICATION IN LINEAR DISCRETE TEMPORAL MULTI-AGENT LOGICS [статья из журнала]
    Bashmakov Stepan I., Kosheleva Anna V., Rybakov Vladimir
    2016, SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA
  11. NON-UNIFIABILITY IN LINEAR TEMPORAL LOGIC OF KNOWLEDGE WITH MULTI-AGENT RELATIONS : научное издание [статья из журнала]
    Bashmakov S. I., Kosheleva A. V., Rybakov V.
    2016, Сибирские электронные математические известия
  12. Правила вывода многомодальных логик : диссертация на соискание ученой степени кандидата физико-математических наук [диссертация]
    Кошелева Анна Владимировна
    2007
  13. Правила вывода многомодальных логик : автореферат диссертации на соискание ученой степени кандидата физико-математических наук [автореферат диссертации]
    Кошелева Анна Владимировна
    2007
  14. Logic of visibility, perception, and knowledge and admissible inference rules [статья из журнала]
    Golovanov M. I., Kosheleva A. V., Rybakov V.
    2005, LOGIC JOURNAL OF THE IGPL

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

Версия для слабовидящих

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