|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Подымов Владислав Васильевич пользователь
МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики, Лаборатория дискретных управляющих систем и их приложений, младший научный сотрудник, с 1 января 2016
кандидат физико-математических наук с 2015 года
Прежние места работы (Нажмите для отображения)Соавторы: Захаров В.А., Зорин Д.А., Коннов И.В., Волканов Д.Ю., Чемерицкий Е.В., Глонина А.Б., Антоненко В.А., Савенков К.О., Смелянский Р.Л., Пашков В.Н., Попеско У.В., Вдовин П.М., Алтухов В.С.показать полностью...
31 статья, 14 докладов на конференциях, 1 тезисы доклада, 8 НИР, 2 награды, 6 членств в программных комитетах, 1 диссертация, 1 дипломная работа, 3 курсовые работы, 15 учебных курсов
Количество цитирований статей в журналах по данным
Web of Science: 0,
Scopus: 5
РИНЦ:
IstinaResearcherID (IRID): 7358488
ResearcherID: G-8692-2014
Scopus Author ID: 56501908000
ORCID: 0000-0002-2041-7634
Деятельность
стиль:
обычный |
ГОСТ |
plain |
abbrv |
acm |
alpha |
amsalpha |
amsplain |
apalike |
ieeetr |
siam
-
Статьи в журналах
-
- 2016 An Efficient Equivalence-Checking Algorithm for a Model of Programs with Commutative and Absorptive Statements
- Vladislav Podymov
- в журнале Fundamenta Informaticae, издательство I O S press (Netherlands), том 147, № 2-3, с. 315-336
-
- 2015 A Combined Toolset for the Verification of Real-Time Distributed Systems
- Konnov I., Podymov V.V., Volkanov D.Y., Zakharov V.A., Zorin D.
- в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 41, № 6, с. 325-335
-
- 2015 VERMONT - средство верификации программно-конфигурируемых сетей
- Алтухов В.С., Захаров В.А., Подымов В.В., Чемерицкий Е.В.
- в журнале Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление, издательство Федеральное государственное автономное образовательное учреждение высшего образования "Санкт-Петербургский политехнический университет Петра Великого" (Санкт-Петербург), том 212, № 1, с. 74-87
-
-
- 2015 Применение алгоритмов проверки эквивалентности для оптимизации программ
- Захаров В.А., Подымов В.В.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 27, № 4, с. 145-174
-
- 2014 How to make a simple tool for verification of real-time systems
- Konnov I.V., Podymov V.V., Volkanov D.Yu, Zorin D.A., Zakharov V.A.
- в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 48, № 7, с. 534-542
-
- 2014 Верификация программно-конфигурируемых сетей при помощи системы UPPAAL
- Подымов В.В., Попеско У.В.
- в журнале Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление, издательство Федеральное государственное автономное образовательное учреждение высшего образования "Санкт-Петербургский политехнический университет Петра Великого" (Санкт-Петербург), № 2 (193), с. 169-179
-
-
- 2013 О проверке сильной эквивалентности металинейных унарных рекурсивных программ
- Подымов В.В.
- в журнале Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика, издательство Изд-во Моск. ун-та (М.), № 1, с. 21-27
-
-
- 2012 Как разработать простое средство верификации систем реального времени
- Волканов Д.Ю., Захаров В.А., Зорин Д.А., Коннов И.В., Подымов В.В.
- в журнале Моделирование и анализ информационных систем, издательство Яросл. гос. ун-т (Ярославль), том 19, № 6, с. 45-56
-
-
-
Статьи в сборниках
-
- 2018 Алгоритм уплощения иерархических временных автоматов
- Подымов В.В.
- в сборнике Прикладная математика и информатика, серия Труды факультета ВМК МГУ им. М.В. Ломоносова, том 59, с. 5-15
-
- 2018 Об уплощении иерархических временных автоматов
- Подымов В.В.
- в сборнике Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23-25 мая 2018 г. : Труды, серия 978-5-317-05834-0, издательство ООО "МАКС Пресс" (Москва), том 1, с. 222-225
- редакторы Алексеев Валерий Борисович, Данилов Борис Радиславович, Романов Дмитрий Сергеевич
-
- 2017 О полиномиальной разрешимости проблемы эквивалентности программ в перегородчатых моделях над прогрессивными полугруппами
- Молчанов А.Э., Подымов В.В.
- в сборнике Проблемы теоретической кибернетики. Материалы XVIII Международной конференции (Пенза, 19-23 июня 2017 г.), серия Проблемы теоретической кибернетики, место издания М: МАКС Пресс, с. 174-176
- редакторы Данилов Борис Радиславович, Журавлев Юрий Иванович, Романов Дмитрий Сергеевич
-
- 2015 An afficient equivalence-checking algorithm for a model of programs with commutative and absorptive statements
- Vladislav Podymov
- в сборнике CEUR Workshop Proceedings, серия Concurrency, Specification & Programming. 24th International Workshop, CS&P 2015. Proceedings. Volume 2, место издания ceur-ws.org, том 1492, с. 85-96
-
- 2014 A runtime verification system for Software Defined Networks
- Altukhov V.S., Chemeritskiy E.V., Podymov V.V., Zakharov V.A.
- в сборнике Материалы Международной научно-практической конференции: Tools & Methods of Program Analysis, TMPA-2014, место издания Кострома: КГТУ, с. 19-28
-
- 2014 VERMONT - a toolset for checking SDN packet forwarding policies on-line
- Altukhov V.S., Chemeritskiy E.V., Podymov V.V., Zakharov V.A.
- в сборнике SDN and NFV: Next Generation of Computational Infrastructure - 2014 International Science and Technology Conference - Modern Networking Technologies, MoNeTec 2014, Proceedings, место издания МАКС Пресс Москва, с. 7-12 DOI
-
- 2014 Быстрый алгоритм проверки эквивалентности программ с коммутативными и подавляемыми операторами
- Подымов В.В.
- в сборнике Проблемы теоретической кибернетики. Материалы XVII Международной конференции (Казань, 16-20 июня 2014 г.), серия Проблемы теоретической кибернетики, место издания Отечество Казань, с. 234-237
-
- 2013 An experience on using simulation environment DYANA augmented with UPPAAL for verification of embedded systems defined by UML statecharts
- Konnov I.V., Podymov V.V., Volkanov D.Yu, Zakharov V.A., Zorin D.A., Glonina A.B.
- в сборнике Proceedings of the International Workshop on Verification of Embedded Systems 2013 (VES 2013). Saint, место издания Saint Petersburg State Polytechnical University Petersburg, Russia, с. 32-46
-
- 2013 DYANA: HLA-based distributed real-time embedded systems simulation tool
- Antonenko V.A., Chemeritskiy E.V., Glonina A.B., Konnov I.V., Pashkov V.N., Podymov V.V., Savenkov K.O., Smeliansky R.L., Volkanov D.Yu, Zakharov V.A., Zorin D.A.
- в сборнике Proceedings of the 2013 Winter Simulation Conference: Simulation: Making Decisions in a Complex World, место издания IEEE Press, с. 4012-4013
-
- 2013 DYANA: an integrated development environment for simulation and verification of real-time avionics systems
- Antonenko V.A., Chemeritsky E.V., Glonina A.B., Konnov I.V., Pashkov V.N., Podymov V.V., Savenkov K.O., Smeliansky R.L., Vdovin P.M., Volkanov D.Yu, Zakharov V.A., Zorin D.A.
- в сборнике Proc. of the 5th EUCASS conference for aerospace science (EUCASS 2013), место издания Munich. Germany
-
- 2013 UPPAAL-Based Software-Defined Network Verification
- Podymov V.V., Popesko U.V.
- в сборнике Proceedings of the 2013 Tools & Methods of Program Analysis, серия TMPA ’13, место издания IEEE Computer Society Washington, DC, USA, с. 9-14 DOI
-
- 2013 Верификация программно-конфигурируемых сетей при помощи системы UPPAAL
- Подымов В.В., Попеско У.В.
- в сборнике Материалы Международной научно-практической конференции "Инструменты и методы анализа программ", место издания Костромской государственный технологический университет Кострома, с. 59-70
-
- 2013 Методика использования системы имитационного моделирования РВС РВ ДИАНА, основанной на стандарте HLA
- Волканов Д.Ю., Антоненко В.А., Герасёв А.В., Глонина А.Б., Захаров В.А., Зорин Д.А., Коннов И.В., Пашков В.Н., Подымов В.В., Савенков К.О., Смелянский Р.Л., Чемерицкий Е.В.
- в сборнике Сборник докладов шестой всероссийской научно-практической конференции "Имитационное моделирование. Теория и практика" (ИММОД-2013), место издания Издательство "ФЭН" Академии наук РТ, Казань, том 1, с. 322-326
-
- 2012 On the Designing of Model Checkers for Real-Time Distributed Systems
- Konnov I.V., Podymov V.V., Volkanov D.Yu, Zorin D.A., Zakharov V.A.
- в сборнике 3-rd Workshop “Program Semantics, Specification, and Verification: Theory and Applications”, Nizhni Novgorod, Russia, July 1-2, 2012, место издания Novgorod, Russia, с. 72-81
-
-
- 2012 Методика использования системы имитационного моделирования РВС РВ, базирующейся на стандарте HLA
- Антоненко В.А., Вдовин П.М., Волканов Д.Ю., Глонина А.Б., Захаров В.А., Зорин Д.А., Коннов И.В., Пашков В.Н., Подымов В.В., Савенков К.О., Смелянский Р.Л., Чемерицкий Е.В.
- в сборнике Программные системы и инструменты. Тематический сборник, серия Программные системы и инструменты, место издания Макс-ПРЕСС Москва, том 13, с. 105-116
- редакторы Королев Л.Н., Королев Л.Н., Корухова Людмила Сергеевна, Костенко Валерий Алексеевич
-
- 2012 О средстве трансляции моделей на языке UML во временные автоматы UPPAAL для верификации РВСРВ
- Захаров В.А., Зорин Д.А., Подымов В.В., Коннов И.В., Волканов Д.Ю.
- в сборнике Труды международной научной конференции Моделирование-2012, место издания Институт проблем моделирования в энергетике им. Г.Е. Пухова Киев, Украина, с. 199-202
-
- 2012 Об эквивалентности металинейных унарных рекурсивных программ
- Захаров В.А., Подымов В.В.
- в сборнике Материалы XI Международного семинара «Дискретная математика и ее приложения», посвященного 80-летию со дня рождения академика О.Б. Лупанова (Москва, МГУ, 18-23 июня 2012 г.), место издания Изд-во механико-математического ф-та МГУ Москва, с. 157-159
-
- 2011 О двухленточных машинах, описывающих полугруппы с сокращением
- Захаров В.А., Подымов В.В.
- в сборнике Проблемы теоретической кибернетики. Материалы XVI Международной конференции (Нижний Новгород, 20-25 июня 2011 г.), серия Проблемы теоретической кибернетики, место издания Издательство Нижегородского университета Нижний Новгород, с. 372-375
-
-
Доклады на конференциях
-
- 2018 Об уплощении иерархических временных автоматов (Устный)
- Автор: Подымов В.В.
- X Международная конференция "Дискретные модели в теории управляющих систем", Московская область, Можайский район, Красновидово, Россия, 22-25 мая 2018
-
- 2017 Преподавание цифровой схемотехники на факультете ВМК МГУ. Успехи факультета в соревновании ICCAD. (Устный)
- Автор: Подымов Владислав Васильевич
- Симпозиум-совещание по преподаванию электроники и разработке систем на кристалле 2017, Томск, Россия, 18-22 сентября 2017
-
- 2017 О полиномиальной разрешимости проблемы эквивалентности программ в перегородчатых моделях над прогрессивными полугруппами (Устный)
- Авторы: Молчанов А.Э., Подымов В.В.
- XVIII международная конференция "Проблемы теоретической кибернетики" (Пенза, 19-23 июня 2017 г.), г. Пенза, Россия, 19-23 июня 2017
-
- 2015 An efficient equivalence-checking algorithm for a model of programs with commutative and absorptive statements (Устный)
- Автор: Vladislav Podymov
- 24th International Workshop on Concurrency, Specification & Programming (CS&P), Жешув, Польша, 28-30 сентября 2015
-
- 2014 Models and techniques for verification of Software Defined Networks (Устный)
- Авторы: Victor Altukhov, Eugene Chemeritskiy, Vladislav Podymov, Vladimir Zakharov
- Workshop on Formal Reasoning in Distributed Algorithms (FRIDA-2014), Vienna, Austria, Австрия, 2014
-
- 2014 Быстрый алгоритм проверки эквивалентности программ с коммутативными и подавляемыми операторами (Устный)
- Автор: Подымов В.В.
- XVII Международная конференция "Проблемы теоретической кибернетики" (Казань, 16-21 июня 2014), Казань, Россия, 16-21 июня 2014
-
- 2013 Верификация программно-конфигурируемых сетей при помощи системы UPPAAL (Устный)
- Авторы: Подымов В.В., Попеско У.В.
- Инструменты и методы анализа программ, Кострома, 2013
-
- 2012 On the designing of model checkers for real-time distributed systems (Устный)
- Авторы: Коннов И.В., Подымов В.В., Yu D.V., Захаров В.А., Зорин Д.А.
- Семинар "Программные семантики, спецификации и верификация (PSSV)", Нижний Новгород, 2012
-
- 2012 Translation of UML Statecharts to UPPAAL Automata for Verification of Real-time Systems (Устный)
- Авторы: Зорин Д.А., Подымов В.В.
- Syrcose-2012, Пермь, 2012
-
- 2012 О средстве трансляции моделей на языке UML во временные автоматы UPPAAL для верификации РВС РВ (Устный)
- Авторы: Зорин Д.А., Подымов В.В., Коннов И.В., Захаров В.А., Волканов Д.Ю.
- Моделирование-2012, Киев, 2012
-
- 2012 Трансляции моделей на языке UML во временные автоматы UPPAAL для верификации РВСРВ (Устный)
- Авторы: Зорин Д.А., Подымов В.В.
- Ломоносов-2012, Москва, Россия, 2012
-
-
Тезисы докладов
-
- 2011 О проверке эквивалентности последовательных и рекурсивных программ на упорядоченных полугрупповых шкалах
- Подымов В.В.
- в сборнике Материалы X Международной конференции "Интеллектуальные системы и компьютерные науки", место издания Издательство механико-математического факультета МГУ Москва, тезисы, с. 295-298
-
-
НИРы
-
- 1 января 2019 - 31 декабря 2023 Математические модели дискретных управляющих систем и их приложения
- Лаборатория дискретных управляющих систем и их приложений
- Руководители: Захаров В.А., Ложкин С.А. Ответственный исполнитель: Романов Д.С. Участники НИР: Владимирова Ю.С., Данилов Б.Р., Довгалюк Е.Л., Жуков В.В., Павлова А.Ф., Подымов В.В., Рамиль Альварес Х., Шуплецов М.С.
-
- 22 мая 2018 - 25 мая 2018 10-я Международная конференция "Дискретные модели в теории управляющих систем"
- Кафедра математической кибернетики
- Руководитель: Алексеев В.Б. Ответственный исполнитель: Селезнева С.Н. Участники НИР: Данилов Б.Р., Захаров В.А., Ложкин С.А., Нагорный А.С., Подымов В.В., Романов Д.С., Чокаев Б.В., Шуплецов М.С.
-
- 1 января 2017 - 31 декабря 2017 Теория схем программ в задачах оптимизации, верификации и реорганизации последовательных и параллельных программ
- Кафедра математической кибернетики
- Руководитель: Захаров В.А. Участник НИР: Подымов В.В.
-
- 9 января 2016 - 31 декабря 2016 Теория схем программ в задачах оптимизации, верификации и реорганизации последовательных и параллельных программ
- 4.08.Лаборатория параллельных информационных технологий
- Руководитель: Захаров В.А. Участник НИР: Подымов В.В.
-
- 1 января 2014 - 31 декабря 2018 Теория дискретных управляющих систем, ее приложения в проектировании СБИС и программировании
- Кафедра математической кибернетики
- Руководители: Захаров В.А., Ложкин С.А. Ответственные исполнители: Романов Д.С., Шуплецов М.С. Участники НИР: Антюфеев Г.В., Владимирова Ю.С., Высоцкий Л.И., Данилов Б.Р., Добровецкий Д.И., Довгалюк Е.Л., Жуков В.В., Зиновьев В.С., Коноводов В.А., Кулешов О.В., Кухтинов А.С., Любич И.Г., Марченко А.М., Маслов С.П., Морозов Е.В., Павлова А.Ф., Подловченко Р.И., Подымов В.В., Рамиль Альварес Х., Романов Д.С., Сальников В.А., Шуплецов М.С.
-
- 1 января 2013 - 31 декабря 2015 Средства автоматической проверки темпоральных свойств асинхронных систем взаимодействующих процессов
- Лаборатория вычислительных комплексов
- Руководитель: Чистолинов М.В. Участники НИР: Балашов В.В., Герасёв А.В., Подымов В.В., Попеско У.В.
-
- 20 сентября 2010 - 15 ноября 2012 Создание прототипа интегрированной среды и методов комплексного анализа функционирования распределённых вычислительных систем реального времени (РВС РВ)
- Лаборатория вычислительных комплексов
- Руководитель: Смелянский Р.Л. Участники НИР: Антоненко В.А., Балаханов В.А., Балашов В.В., Бахмуров А.Г., Волканов Д.Ю., Гамаюнов Д.Ю., Герасёв А.В., Зайцев Д.А., Зайцев Д.А., Зайцев Д.А., Захаров В.А., Зорин Д.А., Козлов Д.Д., Козлов Д.Д., Коннов И.В., Косачева С.А., Костенко В.А., Наградов Е.А., Носеевич Г.М., Пашков В.Н., Подымов В.В., Прус В.В., Савенков К.О., Савенков К.О., Сапожников А.В., Сахаров Ф.В., Сахаров Ф.В., Сахаров Ф.В., Чемерицкий Е.В., Чистолинов М.В., Шалимов А.В., Шестов П.Е., Шестов П.Е., Ющенко Н.В.
-
- 24 мая 2010 - 23 ноября 2012 Теория и методы анализа и синтеза дискретных управляющих систем и их приложения
- Кафедра математической кибернетики
- Руководитель: Подловченко Р.И. Ответственные исполнители: Вороненко А.А., Шуплецов М.С. Участники НИР: Баранова М.М., Бескова Е.А., Власов Н.В., Вороненко А.А., Дайняк А.Б., Данилов Б.Р., Дьяконов А.Г., Коноводов В.А., Ложкин С.А., Марченков С.С., Морозов Е.В., Подымов В.В., Попеско У.В., Романов Д.С., Селезнева С.Н., Федорова В.С., Чистиков Д.В., Шуплецов М.С., Яблонская А.Ю.
-
-
Награды и премии
-
- 2017 Премия по Программе развития МГУ
- Лауреат: Подымов Владислав Васильевич
- МГУ им.М.В. Ломоносова, ВМК, Россия
-
- 2016 Премия по Программе развития МГУ
- Лауреат: Подымов Владислав Васильевич
- МГУ им. М.В. Ломоносова, Россия
-
-
Участие в программных комитетах конференций
-
- 22-25 мая 2018 X Международная конференция "Дискретные модели в теории управляющих систем"
- Член организационного комитета
- Московская область, Можайский район, Красновидово, Россия
-
- 26 июня 2017 Восьмой международный семинар «Семантика, спецификация и верификация программ: теория и приложения» (Program Semantics, Specification and Verification: Theory and Applications, PSSV-2017)
- Член организационного комитета
- Москва, Россия
-
- 24 октября 2016 Научно-образовательный семинар по программе MIPSfpga (Факультет ВМК МГУ им. М.В.Ломоносова, 24 октября 2016 г.)
- Член организационного комитета
- Москва, Россия
-
- 10 ноября 2015 Научно-образовательный семинар по программе MIPSfpga (Факультет ВМК МГУ им. М.В.Ломоносова, 10 ноября 2015 г.)
- Член организационного комитета
- Москва, Россия
-
- 27 октября 2015 Научно-образовательный семинар по программе MIPSfpga (Факультет ВМК МГУ им. М.В.Ломоносова, 27 октября 2015 г.)
- Член организационного комитета
- Москва, Россия
-
- 20-22 мая 2015 IX Международная конференция "Дискретные модели в теории управляющих систем"
- Член организационного комитета
- Москва и Подмосковье, Россия
-
-
Диссертация
-
- 2015 Быстрые алгоритмы проверки эквивалентности программ в моделях с полугрупповой семантикой
- Кандидатская диссертация по специальности 01.01.09 - Дискретная математика и математическая кибернетика (физ.-мат. науки)
- Автор: Подымов Владислав Васильевич, к.ф.-м.н., МГУ имени М.В. Ломоносова
- Научный руководитель: Захаров Владимир Анатольевич, д.ф.-м.н., МГУ имени М.В. Ломоносова
- Защищена в совете Д 501.001.44 при МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
-
-
Руководство дипломными работами
-
- 2018 Разработка универсального практического представления систем переходов для проверки моделей
- Научный руководитель: Подымов В.В.
- Автор: Докшина Е.А. (Бакалавр)
-
-
Руководство курсовыми работами
-
- 2018 Темпоральная алгебра троичных цифровых сигналов
- Научный руководитель: Подымов В.В.
- Автор: Куцак Н.Ю. (Бакалавр)
-
- 2017 Сравнение применимости средств верификации для решения комбинаторных задач
- Научный руководитель: Подымов В.В.
- Автор: Докшина Е.А. (Бакалавр)
-
- 2016 Трансляция иерархических временных автоматов в автоматы UPPAAL для верификации систем реального времени
- Научный руководитель: Подымов В.В.
- Автор: Васильев А.В. (Бакалавр)
-
-
Авторство учебных курсов
-
- 2018 Языки описания схем
- Автор: Подымов В.В.
-
- 2018 Modern trends in discrete mathematics and computer science
- Авторы: Захаров В.А., Алексеев В.Б., Подымов В.В., Романов Д.С., Селезнева С.Н., Шуплецов М.С., Чокаев Б.В.
- курс на иностранном языке
-
-
Преподавание учебных курсов
-
- с 1 сентября 2018 Языки описания схем
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
- обязательная, вариативной части, семинары, 18 часов
-
- с 1 сентября 2018 Языки описания схем
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
- обязательная, вариативной части, лекции, 18 часов
-
- с 1 сентября 2017 Практикум на ЭВМ (7 семестр)
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
- обязательная, базовой части, семинары, 12 часов
-
- с 7 февраля 2017 Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
- обязательная, вариативной части, практические занятия, 16 часов
-
- с 7 февраля 2017 Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
- обязательная, вариативной части, лекции, 32 часов
-
- с 7 февраля 2017 Математическая логика и теория алгоритмов
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
- обязательная, базовой части, лекции, 48 часов
-
- с 7 февраля 2017 Методы верификации программ
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра автоматизации систем вычислительных комплексов
- обязательная, вариативной части, семинары, 36 часов
-
- с 7 февраля 2017 Математическая логика и теория алгоритмов
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
- обязательная, базовой части, семинары, 32 часов
-
- с 7 февраля 2017 Практикум на ЭВМ (6 семестр)
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
- обязательная, базовой части, семинары, 12 часов
-
- 7 февраля 2017 - 20 мая 2017 Дискретная математика
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
- обязательная, базовой части, семинары, 36 часов
-
- с 1 сентября 2016 Математические методы верификации схем и программ
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
- обязательная, вариативной части, семинары, 18 часов
-
- с 1 сентября 2016 Математическая логика и логическое программирование
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
- обязательная, вариативной части, семинары, 54 часов
-
- с 1 сентября 2016 Практикум по пакетам проектирования сверхбольших интегральных схем
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
- обязательная, вариативной части, практические занятия, 9 часов
-
- с 1 сентября 2016 Практикум по пакетам проектирования сверхбольших интегральных схем
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
- обязательная, вариативной части, лекции, 9 часов
-
- 1 сентября 2016 - 31 декабря 2017 Языки описания схем
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
- обязательная, вариативной части, лекции, 18 часов
-
- 1 сентября 2016 - 31 декабря 2017 Практикум на ЭВМ (5 семестр)
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
- обязательная, базовой части, практические занятия, 12 часов
-
- 1 сентября 2016 - 31 декабря 2017 Языки описания схем
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
- обязательная, вариативной части, семинары, 18 часов
-
- 7 февраля 2016 - 20 мая 2016 Дискретная математика
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
- обязательная, базовой части, семинары, 72 часов
-
- 1 сентября 2015 - 30 июня 2016 Математическая логика и логическое программирование
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
- обязательная, вариативной части, семинары, 72 часов
-
- 1 сентября 2015 - 21 декабря 2015 Дополнительные главы дискретной математики
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
- обязательная, вариативной части, семинары, 36 часов
-
- с 7 февраля 2015 Математическая логика и логическое программирование
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
- обязательная, вариативной части, лекции, 54 часов
-
- с 7 февраля 2015 Математическая логика и логическое программирование
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
- обязательная, вариативной части, семинары, 18 часов
-
- 7 февраля 2015 - 20 мая 2015 Дискретная математика
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
- обязательная, базовой части, семинары, 36 часов
-
- 1 сентября 2012 - 20 декабря 2014 Математическая логика и логическое программирование
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
- обязательная, вариативной части, семинары, 36 часов
-
- 7 февраля 2012 - 20 мая 2012 Дискретная математика
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
- обязательная, базовой части, семинары, 36 часов
-