История
Памятная доска в честь основателя факультета
Факультет был организован в 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 | О возможностях построения легкотестируемых контактных схем и схем из функциональных элементов.
Аннотация. Исследованы задачи реализации булевых функций контактными схемами и схемами из функциональных элементов, допускающими короткие проверяющие либо диагностические тесты относительно неисправностей заранее оговоренного вида, которые могут происходить в схемах. Указанные задачи были впервые предложены (применительно к контактным схемам) С.В. Яблонским |
Попков К.А. (Институт прикладной математики им. М.В. Келдыша РАН) |
| Дискретные функции и сложность алгоритмов | ||
| 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) |
ПОГРЕБЕНИЕ ПЕНСИОНЕРОВ ИЗ ЧИСЛА ВОЕННОСЛУЖАЩИХ – помощь от ВМК
Детальную бесплатную консультацию по вопросам погребения пенсионеров из числа военнослужащих, организации военных похорон и увековечивания памяти защитников Родины вы можете получить, позвонив на многоканальный номер круглосуточной горячей линии ВМК. За помощью к нам обращаются многие семьи, большинство из них приходят по рекомендации. Репутация службы ВМК, – залог того, что похороны будут организованы достойно с учетом всех пособий, льгот и компенсаций.
развернуть
кладбища с местами для военных захоронений
Многие кладбища Москвы и области стали местом вечного покоя солдат Великой Отечественной войны, военнослужащих, удостоенных высших государственных наград. Под воинские захоронения в некрополях отводятся особые участки, предоставляются бесплатные места.
колумбарии и мемориальные стены
По распоряжению правительства Москвы ряд закрытых кладбищ, на территории которых есть братские
могилы и воинские погребения, предоставляет бесплатные участки под военные похороны. В этих некрополях находятся также колумбарии для военнослужащих в Москве и области.
крематории и залы прощания
Сожжение тел покойных с помещением праха в специальную урну — основная функция, которую выполняют действующие крематории Москвы и области. Для военнослужащих проводится особая церемония прощания перед кремацией с отданием уставных воинских почестей.
морги при военных госпиталях
Военные морги, расположенные в регионе Москва и Московская область, принимают, в соответствии со специализацией, тела военнослужащих, скончавшихся в госпиталях, а также погибших насильственной смертью и умерших при невыясненных обстоятельствах.
История
В 1990-1999 годах декан факультета — Дмитрий Павлович Костомаров.
В 1999-2019 годах декан факультета — Евгений Иванович Моисеев.
С ноября 2019 года декан факультета — Игорь Анатольевич Соколов.
Первоначально факультет был размещён в трёхэтажном здании бывшего административного здания МГУ (ныне перестроенное здание социологического факультета МГУ).
При создании штатный преподавательский состав факультета был немногочисленным, но в нём присутствовали известные учёные:
Лев Семёнович Понтрягин,
Владимир Александрович Ильин,
Дмитрий Павлович Костомаров,
Логин Николаевич Большев,
Александр Андреевич Самарский,
Сергей Всеволодович Яблонский,
Иван Семёнович Березин,
Юрий Борисович Гермейер.
В 1982 году из состава факультета был выделен НИВЦ МГУ.
Факультету пришлось создавать новую базу — учебно-научный вычислительный комплекс.
На Факультете действуют несколько лабораторий, созданных совместно с зарубежными ИТ-компаниями:
В 2009 году факультет существенно увеличил свои учебные, кафедральные и лабораторные площади за счёт площадей, освободившихся в результате переезда экономического факультета МГУ из второго учебного корпуса МГУ в новое здание.
