Макаров Евгений Маратович
Институт информационных технологий, математики и механики
Кафедра алгебры, геометрии и дискретной математики
доцент
Общие сведения
Преподавание
Научная Работа
Образование, учёные степени и учёные звания
Высшее образование
Специальность: математика, прикладная математика. Квалификация: математик.
Дополнительное образование, повышение квалификации, стажировки
17.09.2021 - 19.11.2021
Повышение квалификации: Электронная информационно-образовательная среда вуза, ННГУ, 72 час., документ № 522413306190, рег. № 33-2329 от 24.11.2021
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
Список преподаваемых дисциплин
Институт информационных технологий, математики и механики
Алгебра и геометрия
Анализ и разработка алгоритмов
Дискретная математика и математическая логика
Компьютерная геометрия и геометрическое моделирование
Основы компьютерных наук
Теория языков программирования
Публикации
2021
Труды (тезисы) конференцииМакаров Е.М. Работа с действительными числами в библиотеке C-CoRN // Труды XXI международной конференции "Математическое моделирование и суперкомпьютерные технологии". Нижний Новгород: ННГУ. 423 с. 2021. С. 217-222.
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.
