• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Владение языками
английский
Контакты
Телефон:
+7 (495) 772-95-90
22913
Электронная почта:
Адрес: Кочновский пр-д, д. 3, каб. 623
Время присутствия: По расписанию
Расписание
Резюме (PDF, 45 Кб)
Руководитель
Подольский В. В.
Версия для печати

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.

Дашков Евгений Владимирович

  • Начал работать в НИУ ВШЭ в 2020 году.

Образование, учёные степени

  • 2012
    Кандидат физико-математических наук
  • 2008

    Специалитет: Московский государственный университет им. М.В. Ломоносова, специальность «Математика»

Учебные курсы (2020/2021 уч. год)

Учебные курсы (2019/2020 уч. год)

Учебные курсы (2018/2019 уч. год)

Дискретная математика - 2 (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 1, 2 модуль)Рус

Учебные курсы (2017/2018 уч. год)

Дискретная математика 2 (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 1, 2 модуль)Рус

Учебные курсы (2016/2017 уч. год)

Дискретная математика (Бакалавриат; где читается: Факультет компьютерных наук; 1-й курс, 1-3 модуль)Рус

Учебные курсы (2015/2016 уч. год)

Теория алгоритмов (Бакалавриат; где читается: Факультет гуманитарных наук; 3-й курс, 3, 4 модуль)Рус

Публикации

ОСНОВНЫЕ ПУБЛИКАЦИИ
Дашкова Евгения Владимировича
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.

Расписание занятий на сегодня

Полное расписание