Фролов Андрей Николаевич
Фролов Андрей Николаевич
2019
- Международная научная конференция 16th Asian Logic Conference
Нур-Султан Nazarbaev University
17.06.2019 - 21.06.2019
Название докладаComputable vs low linear orders
2017
- Международный научный симпозиум Computability and Complexity Symposium Раумати (Парапарауму) Университет королевы Виктории 05.01.2017 - 08.01.2017
- Международная научная конференция Мальцевские чтения 2017
Новосибирск ИМ СО РАН им. С.Л. Соболева
20.11.2017 - 23.11.2017
Название докладаО категоричности разреженных линейных порядков конструктивного ранга
АннотацияПолучены верхние и нижние оценки уровней категоричности разреженных линейных порядков конструктивного ранга.
2016
- Международная научная конференция Международная научная конференция Фундаментальные проблемы алгебры, анализа и геометрии Казань КФУ 26.06.2016 - 02.07.2016
- Международная научная конференция Мальцевские чтения-2016 Новосибирск ИМ СО РАН 21.11.2016 - 25.11.2016
- Международная научная конференция Мальцевские чтения 2016
Новосибирск ИМ СО РАН им. С.Л. Соболева
21.11.2016 - 25.11.2016
Название докладаВычислимые линейные порядки и иерархия Ершова - Всероссийская школа-конференция молодых ученых Всероссийская молодежная школа-конференция Лобачевские чтения - 2016
Казань КФУ
24.11.2016 - 29.11.2016
Название докладаВычислимые линейные порядки и иерархия Ершова
2015
- Международная научная конференция Мальцевские чтения 2015 Новосибирск ИМ СО РАН 03.05.2015 - 07.05.2015
- Международная научная конференция Logic Colloquium 2015
Хельсинки Университет Хельсинки
03.08.2015 - 08.08.2015
Название докладаEffective categoricity on computable linear orderings - Международная научная конференция Осенние математические чтения в Адыгее Майкоп Адыгейский госуниверситет 08.10.2015 - 10.10.2015
- Всероссийская научно-практическая конференция Университеты в системе поиска и поддержки математически одаренных детей и молодежи Майкоп Адыгейский госуниверситет 08.10.2015 - 10.10.2015
- Всероссийская школа-конференция молодых ученых Школа-конференция молодых ученых Лобачевские чтения - 2015
Казань КФУ
22.10.2015 - 27.10.2015
Название докладаЦентр превосходства в области математического образования
2014
- Международная научная конференция Международная конференция Алгебра и математическая логика: теория и приложения с одновременной летней школой Вычислимость и вычислимые структуры
Казань КФУ
02.06.2014 - 07.06.2014
Название докладаOn categorisity of scattered linear orders - Международная научная конференция Logic Colloqium 2014
Вена Wiena University of Technology
14.07.2014 - 19.07.2014
Название докладаOn categorisicty of scattered linear orders - Международная научная конференция Мальцевские чтения 2014
Новосибирск ИМ СО РАН
10.11.2014 - 13.11.2014
Название докладаСтепени категоричности вычислимых структур
2013
- Международная научная конференция Computability, Complexity and Randomness
Москва
23.09.2013 - 27.09.2013
Название доклада$\Delta^0_2$-spectra of linear orderings - Международная научная конференция Мальцевские чтения 2013
Новосибирск ИМ СО РАН
12.11.2013 - 15.11.2013
Название докладаСтепени категоричности вычислимых линейных порядков
2012
- Международная научная конференция Definability in Computable Structures Чикаго Университет Чикаго 12.05.2012 - 13.05.2012
- Международная научная конференция Мальцевские чтения 2012 Новосибирск ИМ СО РАН 12.11.2012 - 16.11.2012
2011
- Международная научная конференция Logic Colloquium 2011 Барселона Университет Барселоны 11.07.2011 - 16.07.2011
- Международная научная конференция Workshop on Computability Theory 2011 Барселона Университет Барселоны 17.07.2011 - 17.07.2011
- Всероссийская школа-конференция молодых ученых Современные проблемы алгебры и математической логики КФУ 22.09.2011 - 03.10.2011
- Международная научная конференция "Алгебра и математическая логика" конференция посвященная 100-летию со дня рождения В.В. Морозова КФУ 25.09.2011 - 30.09.2011
- Международная научная конференция Мальцевские чтения 2011 Новосибирск ИМ СО РАН им. С.Л.Соболева 11.10.2011 - 14.10.2011
2010
- Международная научная конференция Мальцевские чтения 2010 Новосибирск ИМ СО РАН им. С.Л.Соболева 02.05.2010 - 06.05.2010
- Международная научная конференция Algebra and Logic, Theory and Applications Красноярск 19.07.2010 - 27.07.2010
2009
- Международная научная конференция Logic Colloquium 2009 София Софийский университет 31.07.2009 - 05.08.2009
- Международная научная конференция Мальцевские чтения 2009 Новосибирск ИМ СО РАН им. С.Л.Соболева 24.08.2009 - 28.08.2009
- Международная научная конференция Вычислимость и Модели Усть-Каменогорск ВКГТУ 30.08.2009 - 01.09.2009
2008
- Международная научная конференция Мальцевские чтения 2008 Новосибирск ИМ СО РАН им. С.Л.Соболева 11.11.2008 - 13.11.2008
2007
- Международная научная конференция Model Theory and Computable Model Theory Гейнесвилль Университет Флориды 05.02.2007 - 10.02.2007
- Международная научная конференция Logic Colloquium 2007 Вроцлав Университет Вроцлава 14.07.2007 - 19.07.2007
- Международная научная конференция Вычислимые модели и нумерации Новосибирск ИМ СО РАН им. С.Л.Соболева 06.08.2007 - 11.08.2007
- Международная научная конференция Мальцевские чтения 2007 Новосибирск ИМ СО РАН им. С.Л.Соболева 11.11.2007 - 13.11.2007
2006
- Межвузовская научная конференция Мальцевские чтения 2006 Новосибирск ИМ СО РАН им. С.Л.Соболева 14.11.2006 - 16.11.2006
2005
- Международная научная конференция Мальцевские чтения 2005 Новосибирск ИМ СО РАН им. С.Л.Соболева 15.11.2005 - 17.11.2005
2004
- Международная научная конференция Алгебра и Анализ КФУ 02.06.2004 - 09.06.2004
- Международная научная конференция Logic Colloquium 2004 Турин Университет Турина 25.07.2004 - 31.07.2004
- Международная научная конференция Мальцевские чтения 2004 Новосибирск ИМ СО РАН им. С.Л.Соболева 16.11.2004 - 18.11.2004
2003
- Международная научная конференция Колмогоров и современная математика Москва МГУ 16.06.2003 - 21.06.2003
- Международная научная конференция Logic Colloquium 2003 Хельсинки Университет Хельсинки 14.08.2003 - 20.08.2003
- Международная научная конференция Мальцевские чтения 2003 Новосибирск ИМ СО РАН им. С.Л.Соболева 17.11.2003 - 19.11.2003
2002
- Всероссийская конференция молодых ученых XXIV конференция молодых ученых Москва МГУ 08.04.2002 - 13.04.2002
- Международная научная конференция Logic Colloquium 2002 Мюнстер Университет Мюнстера 03.08.2002 - 09.08.2002
2001
- Межвузовская научная конференция Logic Colloquium 2001 Вена Венский университет 06.08.2001 - 11.08.2001
| Рабочий адрес: | Казань, ул. Кремлевская, д. 35, Учебное здание №14 (Корпус №2) |
| E-mail: | a.frolov.kpfu@gmail.com |
- Общие сведения
- Направления научной работы
- Преподаваемые дисциплины
- Показатели продуктивности
- Награды, почетные звания
- Мероприятия
- Результативность работы
- Руководство НИР
- Подготовка кадров
| Педагогический стаж (ППС) в ВУЗе: |
| Научно-педагогический стаж: |
| Общий стаж: |
| Непрерывный в КФУ: |
