Мгу вмк: вступительные испытания

Содержание:

Cтруктура
- Кафедры
- Лаборатории
КАФЕДРА АЛГОРИТМИЧЕСКИХ ЯЗЫКОВ
Информатика
[править] Источники
Литература
Ссылки[]
[править] Кафедра математической физики (КМФ)
[править] Кафедра математической физики (КМФ)
История
Доклады на спецсеминарах
[править] Студенческие лаборатории
- Студенческая исследовательская лаборатория Intel
- Студенческая лаборатория технологий Microsoft
История
История
[править] Кафедра автоматизации научных исследований (КАНИ)
- Лаборатория открытых информационных технологий (ЛОИТ)

Cтруктура

Кафедры

В состав факультета входят 20 кафедр.

Кафедра	Заведующий кафедрой	Год основания
Математической физики (МФ)	профессор А. В. Разгулин	1982
Вычислительных технологий и моделирования (ВТМ)	профессор, академик РАНЕ. Е. Тыртышников	2004
Вычислительных методов (ВМ)	и.о. профессор, академик РАН Б. Н. Четверушкин	1983
Автоматизации научных исследований (АНИ)	и.о. профессор А. М. Попов	1987
Общей математики (ОМ)	и.о. профессор И. С. Ломов	1973
Функционального анализа и его применений (ФАиП)	профессор, академик РАНЕ. И. Моисеев	2008
Нелинейных динамических систем и процессов управления (НДСиПУ)	и.о. профессор В. В. Фомичёв	1989
Исследования операций (ИО)	и.о. профессор, академик РАНЮ. Г. Евтушенко	1970
Оптимального управления (ОУ)	профессор, академик РАНЮ. С. Осипов	1970
Системного анализа (СА)	профессор, академик РАНА. Б. Куржанский	1992
Математической статистики (МС)	профессор В. Ю. Королёв	1970
Математических методов прогнозирования (ММП)	профессор, академик РАНЮ. И. Журавлёв	1997
Математической кибернетики (МК)	профессор С. А. Ложкин	1970
Информационной безопасности (ИБ)	профессор, академик РАНИ. А. Соколов	2013
Автоматизации систем вычислительных комплексов (АСВК)	профессор, чл.-корр. РАНР. Л. Смелянский	1970
Суперкомпьютеров и квантовой информатики (СКИ)	профессор, чл.-корр. РАНВ. В. Воеводин	2012
Алгоритмических языков (АЯ)	профессор М. Г. Мальковский	1970
Системного программирования (СП)	профессор, академик РАНА. И. Аветисян	1970
Интеллектуальных информационных технологий (ИИТ)	профессор И. В. Машечкин	2017
Английского языка	доцент Л. Б. Саратовская	1990

Лаборатории

На факультете действуют 23 лаборатории:

18 научно-исследовательских лабораторий при кафедрах факультета,
три межкафедральные лаборатории, обеспечивающие технологическую поддержку научно-образовательных процессов,
две студенческие лаборатории.

Лаборатории кафедры математической физики
- Математической физики (ЛМФ)
- Вычислительной электродинамики (ЛВЭ)
- Моделирования процессов тепломассопереноса (ЛМПТМП)
- Обратных задач (ЛОЗ)
- Математических методов обработки изображений (ЛММОИ)

Лаборатории кафедры вычислительных методов
- Математического моделирования в физике (ЛММФ)
- Разностных методов (ЛРМ)
- Индустриальной математики (ЛИМ)

Лаборатория кафедры автоматизации научных исследований

Лаборатория кафедры математической статистики

Лаборатория кафедры математической кибернетики

Лаборатория кафедры информационной безопасности

Лаборатория кафедры алгоритмических языков

Лаборатория кафедры автоматизации систем вычислительных комплексов

Лаборатории кафедры суперкомпьютеров и квантовой информатики
- Дискретных управляющих систем и их приложений (ЛДУСП)
- Инструментальных средств в математическом моделировании (ЛИСММ)

Лаборатории кафедры интеллектуальных информационных технологий
- Технологий программирования (ЛТП)
- Компьютерной графики и мультимедиа (ЛКГиМ)

Межкафедральные лаборатории по технологической поддержке научно-образовательных процессов
- Программного оборудования (ЛПО)
- Программного обеспечения вычислительного практикума (ЛПОВП)
- Вычислительной техники (ЛВТ)

Студенческие лаборатории
- Студенческая исследовательская лаборатория Intel
- Студенческая лаборатория технологий Microsoft

КАФЕДРА АЛГОРИТМИЧЕСКИХ ЯЗЫКОВ

Основными направлениями научных исследований кафедры являются: разработка систем искусственного интеллекта, в частности, систем общения с ЭВМ на естественном языке, и программного обеспечения таких систем, прикладных программных систем с использованием современных технологий и операционных сред.

Одной из тем исследований кафедры является компьютерная алгебра. Эта научная дисциплина связана с разработкой алгоритмов и программных средств, позволяющих использовать компьютер для проведения формульных выкладок.

Ведется разработка алгоритмов и пакетов программ (на языках Mарle и А#) решения задач, связанных с дифференциальными, разностными и другими уравнениями, символьно-численно-графическим интерфейсом и т.д.

На кафедре исследуются такие теоретические проблемы программирования, как теория формальных грамматик, методы трансляции, анализ и синтез программ, решение задач в символьном виде. Сотрудниками кафедры разработан государственный стандарт языка программирования Фортран,

– &nbsp– &nbsp–

Информатика

Павел Николаевич Труфанов — призёр Всероса по информатике, преподаватель олимпиадных сборов.

Ведущие университеты

Московская Вышка стала популярным вузом по направлению «Информатика», когда в 2014 году «Яндекс» предложил НИУ ВШЭ сделать совместный факультет. Так появился факультет компьютерных наук и программа «Прикладная математика и информатика», где сочетаются сильная математика и информатика. Проходной балл складывается из результатов ЕГЭ по трём предметам и индивидуальных достижений.

Перечень ведущих вузов и проходные баллы, 2019 год

На второй строчке рейтинга физтех-школа прикладной математики и информатики МФТИ с проходным баллом 301. Чтобы поступить туда, нужно сдать ЕГЭ на максимальные баллы, либо стать призёром олимпиад, и добрать ещё несколько баллов с помощью портфолио.

Проходной балл на факультет вычислительной математики и кибернетики МГУ — 440 баллов из 510. Абитуриенты сдают 5 вступительных испытаний, и хотя общий балл выглядит внушительно, отдельные экзамены не нужно сдавать на максимальный балл:

1) Математика (ДВИ);

2) Математика (ЕГЭ);

3) Физика (ЕГЭ);

4) Информатика и ИКТ (ЕГЭ);

5) Русский язык (ЕГЭ).

В четвёртой строчке таблицы проходные баллы в ИТМО указаны для разных кафедр в рамках одного направления. Чем выше проходной балл, тем популярнее кафедра. Санкт-Петербургский ИТМО является семикратным чемпионом мира по спортивному программированию. Некоторые абитуриенты выбирают ИТМО, чтобы учиться у преподавателей, которые готовят команды к соревнованиям.

Завершают список Петербургский филиал НИУ ВШЭ (бывший университет АУ) и СПбГУ. Питерская Вышка тоже популярна у олимпиадников, поскольку там делают упор на алгоритмистику

В СПбГУ стоит обратить внимание на программу «Математика, алгоритмы и анализ данных». Она открылась в 2019 году при поддержке компаний Яндекс и JetBrains

Проходные баллы везде высокие, поступить сложно, но это топовые вузы. Если вы понимаете, что ваш балл будет ниже, есть другие хорошие вузы, где учат информатике:

МГТУ им. Баумана;
МИФИ;
МАИ;
Казанский Иннополис;
КФУ;
УрФУ.

Учёба в вузе

В основном абитуриенты поступают на два направления, но есть и другие. В НИУ ВШЭ на факультете ПМИ (прикладная математика и информатика) готовят специалистов по data science, учат машинному обучению, разработке искусственного интеллекта. Первые два года из информатики будет только алгоритмистика (по сути математика) и какой-нибудь язык программирования. С третьего курса начнутся прикладные дисциплины: распределённые системы, компьютерная безопасность, машинное обучение.

Второе направление — ПИ («Программная инженерия») — более прикладное, где математики меньше и заканчивается она раньше. Здесь учат разрабатывать приложения, программировать десктопные устройства и системы, где нужен качественный код.

Первое направление более престижное: это научная сфера, и зарплата там выше, но лучше выбирать то, что по душе.

Во всех вузах на первых курсах есть математический анализ, аналитическая геометрия, линейная алгебра, общая физика, программирование. Нужно знакомиться с разными направлениями, смотреть, что вам интересно и что из этого востребовано.

Перспективы выпускников

Павел Труфанов: «Лучше начать работать ещё во время учёбы: стажировка, работа с частичной занятостью 20 часов в неделю. Во многих вузах можно успевать совмещать работу и учёбу».

Выбор стажировок не всегда зависит от вуза. Обычно студенты сами ищут и подают заявки на стажировки, «Вышка» сотрудничает с Яндексом — там немного проще устроиться в компанию. Знания, которые дают в вузе, сейчас максимально практические, на рабочем месте вы не услышите «забудьте всё, чему вас учили в вузе и выкиньте диплом».

Чтобы попасть на стажировку, придётся отправить 20-30 писем, прежде чем вас пригласят на собеседование. Инициатива — залог успеха.

Тем, кто задумывается о профессии разработчика игр стоит уделять время и программированию, и физике. Будущие создатели игр изучают искусственный интеллект или занимаются вычислениями на видеокартах, программируют шейдеры.

«Мы с Полиной смотрели вакансии на hh.ru — требуются разработчики компьютерных игр со знанием прикладной физики и информатики», — Михаил Пенкин.

[править] Источники

Положение о Факультете вычислительной математики и кибернетики Московского Государственного Университета им. М. В. Ломоносова.п. 3.1.
↑ Приказ ректора МГУ № 50 от 14 января 1982 года
Приказ ректора МГУ №
Приказ ректора МГУ № 742 от 20 августа 1973 года
Приказ ректора МГУ № 1387 от 16 декабря 1987 года
Приказ ректора МГУ № 523 от 19 ноября 1998 года
Решение Учёного совета МГУ от 21 марта 2005 года
Приказ ректора МГУ № 213 от 25 марта 2004 года
Приказ ректора МГУ № 158-ов от 11 марта 1970 года
Приказ ректора МГУ № 543 от 1 июля 1992 года
Постановление Учёного Совета МГУ от 21 марта 2005 года
Приказ ректора МГУ № 902 от 11 сентября 2012 года
Постановление Учёного совета МГУ от 5 июня 2000 года
Приказ ректора МГУ № 585 от 16 июля 2002 года
Приказ ректора МГУ № 590 от 13 июля 1990 года

Литература

20 лет спустя (1985-2005): Выпускники Олимпийского набора — Фестивального выпуска: Сборник очерков / Матвеева А. Н.. — М.: МАКС Пресс, 2005. — 560 с. — 500 экз. — ISBN 5-317-01277-5.
30 лет спустя (1985-2015): Выпускники Олимпийского набора — Фестивального выпуска: Сборник очерков / Жданеева Л. А., Матвеева А. Н., Михайлова Л. Г. — М.: МАКС Пресс, 2015. — 704 с. — 350 экз. — ISBN 978-5-317-04999-7.
Григорьев Е. А., Тихонова А. А., Тихонов Н. А. Страницы жизни академика А. Н. Тихонова в документах, фотографиях и воспоминаниях / Жданеева Л. А., Матвеева А. Н., Михайлова Л. Г. — М.: МАКС Пресс, 2016. — 200 с. — 600 экз. — ISBN 978-5-317-05388-8.
Понтрягин Л. С. Жизнеописание Льва Семёновича Понтрягина, математика, составленное им самим. Рождения 1908, г. Москва — М.: КомКнига, 2006

Энциклопедия Московского университета: Научно-исследовательский вычислительный центр / под общей ред. А. В. Тихонравова — М.: МАКС Пресс, 2005

В. Покровский. Красная площадь, дом 1. По этому адресу гуляла одна из продажных девок империализма — кибернетика (рус.) // Независимая газета : газета. — 2005. — 27 апреля (№ 86). — С. 12.

Ссылки[]

Факультет

Кафедры

Кафедра системного программирования
Кафедра математической кибернетики
Кафедра системного анализа
Кафедра вычислительных методов
Кафедра математической физики
Кафедра алгоритмических языков
Кафедра квантовой информатики
Кафедра оптимального управления
Кафедра вычислительных технологий и моделирования
Кафедра исследования операций
Кафедра автоматизации научных исследований
Кафедра нелинейных динамических систем и процессов управления

Лаборатории

Лаборатория компьютерной графики и мультимедиа
Лаборатория вычислительных комплексов
Лаборатория открытых информационных технологий
Лаборатория статистического анализа
Лаборатория математических методов обработки изображений

[править] Кафедра математической физики (КМФ)

Кафедра была создана в 1982 году после выделения в 1982 году кафедры вычислительных методов из состава кафедры вычислительной математики последняя была переименована в кафедру математической физики.

Заведующий кафедрой — Профессор Александр Михайлович Денисов.

На кафедре работают: профессор В. И. Дмитриев, профессор А. С. Ильинский, профессор Е. В. Захаров, профессор А. В. Баев, профессор А. В. Разгулин, профессор А. C. Крылов, профессор И. В. Тихонов.

Основные научные направления:

Научные исследования, связанные с использованием компьютерных технологий для изучения математических моделей различных процессов и явлений.
Вопросы теории обратных задач и ее применения для решения задач идентификации и обработки изображений.

Кафедра готовит специалистов, способных использовать методы прикладной математики и информатики в различных сферах научной, технической и экономической деятельности. Изучаются современные проблемы объектно-ориентированного программирования.

В составе кафедры в настоящее время работают пять лабораторий: математической физики, вычислительной электродинамики, моделирования процессов тепломассопереноса, обратных задач, математических методов обработки изображений.

Лаборатория математической физики (ЛМФ)

Лаборатория была создана в 1982 году на основе научного коллектива, перешедшего на факультет из НИВЦ МГУ (приказ ректора № 420 от 08 апреля 1982 года).

Основные научные направления:

Разработка методов математического моделирования низкочастотных электромагнитных полей в проводящих средах.
Разработка методов решения обратных задач электромагнитных зондирований.
Создание систем математического моделирования и интерпретации данных электроразведки и геоэлектрики.

Дополнительные научные направления:

Задачи проектирования излучающих систем.
Обратные задачи зондирования ионосферы.
Разработка методов реконструкции палеоклимата по скважинным измерениям температуры.

В настоящее время основные научные исследования лаборатории проводятся по теме: «Методы математического моделирования и решения обратных задач в геофизических исследованиях».

Заведующий лабораторией — профессор Владимир Иванович Дмитриев.

Лаборатория вычислительной электродинамики (ЛВЭ)

Лаборатория образована в 1969 году в составе Вычислительного центра на механико-математическом факультете Московского университета для выполнения плана важнейших работ в области разработки математических методов и применения вычислительной техники для решения задач прикладной электродинамики.

С 1970 года лаборатория входит в состав факультета ВМК МГУ.

Основным направлением научной деятельности лаборатории является разработка численных методов решения задач теории электромагнитных волн, исследование и обоснование численных методов решения задач электромагнитной волновой теории, а также применение таких методов для расчета задач проектирования антенн, радиоволноводов, диэлектрических и полосковых линий передачи.

Лаборатория является производственной базой для практики студентов факультета ВМК МГУ.

Заведующий лабораторией — профессор Анатолий Серафимович Ильинский.

Лаборатория моделирования процессов тепломассопереноса (ЛМПТМП)

Лаборатория была организована в 1982 году на основе научного коллектива, перешедшего на факультет из НИВЦ МГУ. В 2000 году в состав лаборатории вошли сотрудники лаборатории вычислительных методов газодинамики, действующей на факультете в период 1982—2000 годов.

Основные направления научной деятельности:

Численное моделирование течений вязких жидкостей и газов на основе уравнений Навье-Стокса.
Численное моделирование струйных и ударно-волновых процессов на основе уравнений Эйлера.

Лаборатория обратных задач (ЛОЗ)

Лаборатория была создана в 1996 году.

Заведующий лабораторией — Борис Михайлович Щедрин.

Основные направления научной деятельности:

Разработка методов, алгоритмов и пакетов программ для обработки и интерпретации данных дифракционного эксперимента по изучению структуры и состава вещества: моно- и поликристаллов, молекул высокотемпературного газа, биологических макромолекул и вирусов, тонких пленок.
Выполнение работ по методам оптимизации, сплайн аппроксимации, учету обрыва ряда из-за конечности области измерений, интегрированию быстроосциллирующих функций, решению обратных задач теории теплопроводности, конфлюэнтному анализу, статистическому моделированию. Создано математическое и программное обеспечение для анализа космофизических данных.

[править] Кафедра математической физики (КМФ)

Заведующий кафедрой — Профессор Александр Михайлович Денисов.

Основные научные направления:

Научные исследования, связанные с использованием компьютерных технологий для изучения математических моделей различных процессов и явлений.
Вопросы теории обратных задач и ее применения для решения задач идентификации и обработки изображений.

Лаборатория математической физики (ЛМФ)

Основные научные направления:

Разработка методов математического моделирования низкочастотных электромагнитных полей в проводящих средах.
Разработка методов решения обратных задач электромагнитных зондирований.
Создание систем математического моделирования и интерпретации данных электроразведки и геоэлектрики.

Дополнительные научные направления:

Задачи проектирования излучающих систем.
Обратные задачи зондирования ионосферы.
Разработка методов реконструкции палеоклимата по скважинным измерениям температуры.

Заведующий лабораторией — профессор Владимир Иванович Дмитриев.

Лаборатория вычислительной электродинамики (ЛВЭ)

С 1970 года лаборатория входит в состав факультета ВМК МГУ.

Лаборатория является производственной базой для практики студентов факультета ВМК МГУ.

Заведующий лабораторией — профессор Анатолий Серафимович Ильинский.

Лаборатория моделирования процессов тепломассопереноса (ЛМПТМП)

Основные направления научной деятельности:

Численное моделирование течений вязких жидкостей и газов на основе уравнений Навье-Стокса.
Численное моделирование струйных и ударно-волновых процессов на основе уравнений Эйлера.

Лаборатория обратных задач (ЛОЗ)

Лаборатория была создана в 1996 году .

Заведующий лабораторией — Борис Михайлович Щедрин.

Основные направления научной деятельности:

Разработка методов, алгоритмов и пакетов программ для обработки и интерпретации данных дифракционного эксперимента по изучению структуры и состава вещества: моно- и поликристаллов, молекул высокотемпературного газа, биологических макромолекул и вирусов, тонких пленок.
Выполнение работ по методам оптимизации, сплайн аппроксимации, учету обрыва ряда из-за конечности области измерений, интегрированию быстроосциллирующих функций, решению обратных задач теории теплопроводности, конфлюэнтному анализу, статистическому моделированию. Создано математическое и программное обеспечение для анализа космофизических данных.

История

Памятная доска в честь основателя факультета

Факультет был организован в 1970 году «Были организованы:…. в 1970 ф-т вычислит. математики и кибернетики,…» (стр. 44) Большая Советская Энциклопедия (в 30 томах) Гл. ред. А.М.Прохоров. Изд. 3-е. М., «Советская Энциклопедия», 1974. Т. 17 Факультет вычислительной математики и кибернетики: История и современность: Биографический справочник / Автор-составитель Е.А.Григорьев. — М.: Издательство: Издательство Московского Университета, 2010. с. 5-32 на основе кафедры вычислительной математики механико-математического факультета МГУ и вычислительного центра МГУ. Значительная часть сотрудников нового факультета пришла с кафедры математики физического факультета МГУ, Института прикладной математики АН СССР (ИПМ) и Математического института АН СССР им. В. А. Стеклова.

Создателем факультета является академик Андрей Николаевич Тихонов Академик Андрей Николаевич Тихонов (к 100-летию со дня рождения) / редактор-составитель Е. А. Григорьев — МАКС Пресс, 2006 при поддержке президента Академии наук СССР академика Мстислава Всеволодовича Келдыша.

В 1970-1990 годы декан факультета — Андрей Николаевич Тихонов.

В 1990-1999 годах декан факультета — Дмитрий Павлович Костомаров.

С 1999 года по настоящее время декан факультета — Евгений Иванович Моисеев.

Первоначально факультет был размещён в трёхэтажном здании бывшего административного здания МГУ (ныне перестроенное здание социологического факультета МГУ).

При создании штатный преподавательский состав факультета был немногочисленным, но в нём присутствовали известные учёные:
Лев Семёнович Понтрягин Понтрягин Л.С. Жизнеописание Льва Семёновича Понтрягина, математика, составленное им самим. Рождения 1908, г. Москва — М., КомКнига, 2006,
Владимир Александрович Ильин,
Дмитрий Павлович Костомаров,
Логин Николаевич Большев,
Сергей Всеволодович Яблонский,
Иван Семёнович Березин,
Юрий Борисович Гермейер.

В 1982 году из состава факультета был выделен НИВЦ МГУ Березин И.С. О кафедре вычислительной математики и Вычислительном центре Московского университета // Вестн. Моск. ун-та, Матем., Мех., 1967, № 6, с. 52-60 Энциклопедия Московского университета: Научно-исследовательский вычислительный центр / под общей ред. А. В. Тихонравова — М., МАКС Пресс, 2005, как отдельное структурное подразделение МГУ. Эта реорганизация нанесла ущерб обеим сторонам: большинство научных лабораторий НИВЦ остались на факультете ВМК, а факультет лишился собственной вычислительной базы Иван Семенович Березин: Биография, воспоминания, документы / автор-составитель Е. А. Григорьев — М.: Издательство Московского Университета, 2010.

Факультету пришлось создавать новую базу — учебно-научный вычислительный комплекс.

Развитие собственного комплекса вычислительной техники, начатое в 1982 году имеет следующую историю: БЭСМ-6 (1983 год), ЕС-1035 и двухмашинный комплекс ЕС-1045 (1986 год),
комплекс ИЗОТ-1014 (1988 год), система IBM pSeries 690 (Regatta) (2003 год).

В 2009 году введён в эксплуатацию суперкомпьютер «Ломоносов» (производительность первой очереди — 510 Тфлопс).

В 2011 году мощность суперкомпьютера «Ломоносов» увеличена до 1370 Тфлопс.

В 2012 году мощность суперкомпьютера «Ломоносов» увеличена до 1700 Тфлопс.

В рамках программы развития МГУ на факультете созданы три интерактивных класса (2012), обеспечивающих ведение дистанционного образования для студентов филиала МГУ в Севастополе и Астане.

На Факультете действуют несколько лабораторий, созданных совместно с зарубежными ИТ-компаниями:

лаборатория «Системы Sun в образовании и научных исследованиях» (совместно с компанией (1992);
студенческая лаборатория технологий Microsoft, в дальнейшем оформившаяся в лабораторию лабораторию инструментальных средств математического моделирования (2004).

В 2009 году факультет существенно увеличил свои учебные, кафедральные и лабораторные площади за счёт площадей, освободившихся в результате переезда экономического факультета МГУ из второго учебного корпуса МГУ в новое здание.

Доклады на спецсеминарах

Дискретная математика и математическая кибернетика
6 ноября 2020	О возможностях построения легкотестируемых контактных схем и схем из функциональных элементов. Аннотация. Исследованы задачи реализации булевых функций контактными схемами и схемами из функциональных элементов, допускающими короткие проверяющие либо диагностические тесты относительно неисправностей заранее оговоренного вида, которые могут происходить в схемах. Указанные задачи были впервые предложены (применительно к контактным схемам) С.В. Яблонским и И.А. Чегис в середине 1950-х годов и изучались многими авторами. Рассмотрены следующие виды неисправностей: обрывы и/или замыкания контактов, константные (однотипные или произвольные) либо инверсные неисправности на входах и/или выходах функциональных элементов. Число допустимых неисправностей в схемах может быть ограничено сверху единицей или заданным натуральным числом либо никак не ограничено. Получен ряд верхних и/или нижних оценок длин минимальных тестов для схем, реализующих заданные, все или почти все булевы функции, при различных исходных условиях. Во многих случаях найдены точные значения этих длин и/или улучшены известные ранее результаты.	Попков К.А. (Институт прикладной математики им. М.В. Келдыша РАН)
Дискретные функции и сложность алгоритмов
26 марта 2021	Продолжение доклада «О пороговых булевых функциях» (в 16.20 в Skype, группа СПСЁ)	Алексеев В.Б. (профессор кафедры МК)
2 октября 2020	«Условное тестирование схем Кардо» (Вороненко А.А.)	Пенкин В.А. (студент группы 418)
9 октября 2020	«Универсальные функции для классов линейных функций двух переменных» (Вороненко А.А., Окунева А.С.)	Журавлева С.А. (студент группы 318)
16 октября 2020	«Универсальные функции для классов линейных функций трех переменных» (Вороненко А.А., Окунева А.С.)	Фаерштейн И.С. (студент группы 518мк_дс)
23 октября 2020	«О сложности pаспознавания монотонности» (Вороненко А.А.)	Китаев С.Н. (асп. 1 г.о.)
Теория управляющих систем и математические модели СБИС

Сложность решения дискретных задач

Теоретические проблемы программирования
8 октября 2020	«Modelling and Verification of Timed Interaction and Migration» (G. Ciobanu, M. Coutny)	Евгений Винарский (студент группы 618мк_дус)
15 октября 2020	Проверка эквивалентности в одном классе многоленточных автоматов	Шынар Жайлауова (асп.)
22 октября 2020	Принципы устройства протокола блокчейна Ethereum и языка описания смарт-контрактов Solidity	Сергей Портнов (студент группы 418)
29 октября 2020	«Minimizing GFG Transition-Based Automata» (O. Kupferman, B. Abu Radi)	Артур Хашаев (асп.)
12 ноября 2020	«A hierarchy of temporal logics with past» (F. Laroussinie, Ph. Schnoebelen)	Нина Куцак (студент группы 618мк_дус)
19 ноября 2020	«Deterministic 1-counter automata» (M. Paterson, L. Valiant)	Нурлан Рахимжанов (студент группы 418)
26 ноября 2020	«2-Way Finite Automata» (Serena Rietbergen)	Диана Оспанова (студент группы 418)
3 декабря 2020	«TCTL-preserving translations from timed-arc Petri nets to networks of timed automata» (J. Byg, M. Jacobsen, L. Jacobsen, K.Y. Jørgensen, M.H. Møller, J. Srba)	Георгий Попков (студент группы 518мк_дус)
10 декабря 2020	«The mu-calculus and model checking» (I. Walukievicz, J. Bradfield)	Антон Гнатенко (ВШЭ)
17 декабря 2020	«Model Checking with Multi-Valued Logics» (G. Bruns, P. Godefroid)	Илья Мушкин (студент группы 418)

[править] Студенческие лаборатории

Студенческая исследовательская лаборатория Intel

Лаборатория была создана в 2001 году.

Основными видами деятельности лабораторий являются:

Повышение образовательного уровня студентов путем чтения лекций и мастер-классов, формирования новых курсов, подготовки практикумов и учебных пособий по актуальным тематикам в области информационных технологий.
Модификация и обновление действующих учебных программ.
Ведение учебно-исследовательских и научно-исследовательских проектов.
Организация научно-образовательных мероприятий, студенческих школ, конкурсов.

Студенческая лаборатория технологий Microsoft

Лаборатория была создана в 2004 году.

С 2009 года переименована в лабораторию инструментальных средств математического моделирования (ЛИСММ).

Основными видами деятельности лаборатории являются:

Ввовлечение студентов в научно-исследовательскую деятельность в области информационных технологий.
Организация разработки программных проектов на основе технологий корпорации Microsoft.
Практическое знакомство с новейшими технологиями и программными продуктами корпорации Microsoft.
Получение и распространение информации о перспективных исследовательских проектах Microsoft Research.

История

ВМК МГУ (логотип)

В 1990-1999 годах декан факультета — Дмитрий Павлович Костомаров.

В 1999-2019 годах декан факультета — Евгений Иванович Моисеев.

С ноября 2019 года декан факультета — Игорь Анатольевич Соколов.

При создании штатный преподавательский состав факультета был немногочисленным, но в нём присутствовали известные учёные:
Лев Семёнович Понтрягин,
Владимир Александрович Ильин,
Дмитрий Павлович Костомаров,
Логин Николаевич Большев,
Александр Андреевич Самарский,
Сергей Всеволодович Яблонский,
Иван Семёнович Березин,
Юрий Борисович Гермейер.

В 1982 году из состава факультета был выделен НИВЦ МГУ.

Факультету пришлось создавать новую базу — учебно-научный вычислительный комплекс.

На Факультете действуют несколько лабораторий, созданных совместно с зарубежными ИТ-компаниями:

История

ВМК МГУ (логотип)

В 1990-1999 годах декан факультета — Дмитрий Павлович Костомаров.

В 1999-2019 годах декан факультета — Евгений Иванович Моисеев.

С ноября 2019 года декан факультета — Игорь Анатольевич Соколов.

В 1982 году из состава факультета был выделен НИВЦ МГУ.

Факультету пришлось создавать новую базу — учебно-научный вычислительный комплекс.

На Факультете действуют несколько лабораторий, созданных совместно с зарубежными ИТ-компаниями:

[править] Кафедра автоматизации научных исследований (КАНИ)

Кафедра АНИ была создана в 1987 году. Коллектив кафедры сложился в момент создания из сотрудников, пришедших с кафедры Математической физики (ранее Вычислительной математики). Создателем кафедры АНИ являлся Дмитрий Павлович Костомаров.

Заведующий кафедрой — Профессор Александр Михайлович Попов.

В составе кафедры в настоящее время работает лаборатория Открытых информационных технологий.

Лаборатория открытых информационных технологий (ЛОИТ)

Лаборатория ОИТ создана в 1998 году на основе переданной в состав факультета лаборатории системного программирования НИВЦ МГУ. С 2005 года лаборатория входит в структуру .

Заведующий лабораторией — профессор Владимир Александрович Сухомлин.