Дашков Евгений Владимирович
- Начал работать в НИУ ВШЭ в 2013 году.
Образование, учёные степени
- 2012Кандидат физико-математических наук
- 2008
Специалитет: Московский государственный университет им. М.В. Ломоносова, специальность «Математика», квалификация «Математик»
Учебные курсы (2023/2024 уч. год)
- Дискретная математика (Бакалавриат; где читается: Факультет компьютерных наук; 1-й курс, 1-4 модуль)Рус
- Discrete Mathematics (Бакалавриат; где читается: Факультет компьютерных наук; 1-й курс, 1-3 модуль)Анг
- Дискретная математика 2 (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 3, 4 модуль)Рус
Функциональное программирование (Бакалавриат; где читается: Факультет компьютерных наук; направление "01.03.02. Прикладная математика и информатика", направление "01.03.02. Прикладная математика и информатика"; 3-й курс, 1, 2 модуль)Рус
- Архив учебных курсов
Учебные курсы (2022/2023 уч. год)
- Дискретная математика (Бакалавриат; где читается: Факультет компьютерных наук; 1-й курс, 1-4 модуль)Рус
- Дискретная математика (Бакалавриат; где читается: Факультет менеджмента (Пермь); 1-й курс, 1-4 модуль)Рус
- Discrete Mathematics (Бакалавриат; где читается: Факультет компьютерных наук; 1-й курс, 1-3 модуль)Анг
- Математическая логика (Бакалавриат; где читается: Факультет компьютерных наук; 3-й курс, 1, 2 модуль)Рус
- Математическая логика (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 1, 2 модуль)Рус
- Функциональное программирование (Бакалавриат; где читается: Факультет компьютерных наук; 4-й курс, 1, 2 модуль)Рус
- Функциональное программирование (Бакалавриат; где читается: Факультет компьютерных наук; 3-й курс, 1, 2 модуль)Рус
Учебные курсы (2021/2022 уч. год)
- Дискретная математика (Бакалавриат; где читается: Факультет менеджмента (Пермь); 1-й курс, 1-4 модуль)Рус
- Дискретная математика (Бакалавриат; где читается: Факультет компьютерных наук; 1-й курс, 1-4 модуль)Рус
- Discrete Mathematics (Бакалавриат; где читается: Факультет компьютерных наук; 1-й курс, 1-3 модуль)Анг
- Дискретная математика (Бакалавриат; где читается: Факультет информатики, математики и компьютерных наук (Нижний Новгород); 1-й курс, 1-4 модуль)Рус
- Математическая логика (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 1, 2 модуль)Рус
Учебные курсы (2020/2021 уч. год)
- Discrete Mathematics (Бакалавриат; где читается: Факультет компьютерных наук; 1-й курс, 1-3 модуль)Анг
- Дискретная математика (Бакалавриат; где читается: Факультет компьютерных наук; 1-й курс, 1-4 модуль)Рус
- Дискретная математика 2 (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 1, 2 модуль)Рус
Публикации
ОСНОВНЫЕ ПУБЛИКАЦИИ
Дашкова Евгения Владимировича
1. Dashkov E., Intuitionistic Logic of Proofs. Logic Group Preprint Series, 269, University of
Utrecht, May 2009.
http://www.phil.uu.nl/preprints/preprints/PREPRINTS/preprint269.pdf
2. Dashkov E., Arithmetical Completeness of the Intuitionistic Logic of Proofs. Journal of
Logic and Computation, 21(4), 665-682, 2011.
3. Дашков Е.В., О позитивном фрагменте полимодальной логики доказуемости.
Математические заметки, 91(3), 331-346, 2012.
Опыт работы
2014 – 2015 Высшая школа экономики. Факультет математики. Преподавательская работа на основе срочного трудового договора (проведение семинаров по математической логике; прием задач).
2014 Высшая школа экономики. Факультет бизнесинформатики. Факультет мировой экономики и мировой политики. Преподавательская работа на основе срочного трудового договора (проведение семинаров по дискретной математике).
2012 – н. вр. Московский физико-технический институт. Факультет инноваций и высоких технологий. Ассистент кафедры дискретной математики (проведение семинаров и чтение специальных курсов по математической логике; разработка учебных пособий (готовятся к публикации)).
2009 – н. вр. Математический институт им. В.А. Стеклова РАН. Участие в исследовательских проектах (на основе срочных трудовых договоров).