Макаров Евгений Маратович
Институт информационных технологий, математики и механики
Кафедра алгебры, геометрии и дискретной математики
доцент
Общие сведения
Преподавание
Научная Работа
Образование, учёные степени и учёные звания
Высшее образование
Специальность: математика, прикладная математика. Квалификация: математик.
Дополнительное образование, повышение квалификации, стажировки
16.09.2019 - 06.12.2019
Переподготовка: Актуальные проблемы исследования и современные технологии преподавания математики, механики и информатики, ННГУ, 250 час., документ № 522409110706, рег номер 33-1041 от 06.12.2019
16.01.2018 - 16.01.2018
Повышение квалификации: Оказание первой помощи, ННГУ, 8 час., документ № рег.№ 609 от 16.01.2018
06.02.2017 - 10.04.2017
Повышение квалификации: Электронная информационно-образовательная среда вуза, ННГУ, 72 час., документ № 522404111068 рег номер 33-310 от 10.04.2017
23.09.2015 - 18.11.2015
Повышение квалификации: Школа молодого преподвавтеля, ННГУ, 72 час., документ № 522402179293 рег номер 1103 от 18.11.2015
13.10.2014 - 14.10.2014
Повышение квалификации: Вопросы и перспективы интернационализации высшего образования (международный семинар), ННГУ, документ № 1114 от 14.10.2014
Список преподаваемых дисциплин
Институт информационных технологий, математики и механики
Дискретная математика
Дискретная математика и математическая логика
Индивидуальные консультации обучающихся
Компьютерная геометрия и геометрическое моделирование
Контроль самостоятельной работы
Основы компьютерных наук
Теория вычислений
Теория дискретных функций
Функциональное программирование
Радиофизический факультет
Дискретная математика
Математическая логика и теория алгоритмов
Публикации
2020
Публикации в научных журналахМакаров Е.М. Динамическая логика разделений и ее использование в образовании // Современные информационные технологии и ИТ-образование. № 3. Т. 16. 2020. С. 543-550.
2019
Публикации в научных журналахМакаров Е.М. Использование домашних заданий по программированию для развития практических компетенций курса «Геометрическое моделирование» // Образовательные технологии и общество. № 1. Т. 22. 2019. С. 164-174.
2018
Публикации в научных журналахМакаров Е.М. Использования Java для проверки компетенций по геометрическому моделированию // Образовательные технологии и общество. № 1. Т. 21. 2018. С. 494-505.
Макаров Е.М. Общие системы координат в курсе компьютерной геометрии // Современные информационные технологии и ИТ-образование. № 4. Т. 14. 2018. С. 833-841.
2015
Труды (тезисы) конференцииМакаров Е.М., Скалка К. Формализованное доказательство корректности теории типов Хоара // Тезисы докладов международной конференции "Мальцевские чтения", посвященной 75-летию Ю.Л. Ершова. Новосибирский государственный университет. 2015. С. 45.
2013
Труды (тезисы) конференцииEvgeny Makarov, Bas Spitters. The Picard Algorithm for Ordinary Differential Equations in Coq // 4th Conference on Interactive Theorem Proving (ITP 2013). Volume 7998 of Lecture Notes in Computer Science. 2013. P. 463-468.
2012
Труды (тезисы) конференцииEvgeny Makarov. Provably Total Functions of Arithmetic with Basic Terms // Second Workshop on Developments in Implicit Computational Complexity (DICE 2011). Volume 75 of Electronic Proceedings in Theoretical Computer Science. 2012. P. 28-32.
