Заглавная страница

Кафедра математической кибернетики, лаборатория дискретных управляющих систем и их приложений

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

Объявления

28 апреля 2020 г.	Вниманию студентов 418 группы и 618/1 и 618/2 групп! Предзащита выпускных работ пройдет 6-го и 7-го мая по специальному графику и с использованием системы Zoom. Время предзащиты определяется научным руководителем, поэтому каждый студент обязан связаться со своим научным руководителем для назначения времени защиты. Для допуска к предзащите студент или научный руководитель должен на адрес mk@cs.msu.ru прислать: электронную версию выпускной работы в формате pdf, скан-копию отзыва научного руководителя, компьютерная презентация доклада в формате ppt или pdf и информацию о рецензенте.
19 апреля 2020 г.	Вниманию студентов 418 группы! Появились требования к оформлению ВКР. Текст положения о ВКР и шаблоны оформления титульной страницы, отзыва научного руководителя и рецензии рецензента можно найти на сайте факультета. Информация о сроках и формате проведения предзащиты будет сообщена позднее.
19 апреля 2020 г.	Вниманию студентов 618/1 и 618/2 групп! Появились требования к оформлению магистерской диссертации. Текст положения о магистерской диссертации и шаблоны оформления титульной страницы, отзыва научного руководителя и рецензии рецензента можно найти на сайте факультета. Информация о сроках и формате проведения предзащиты будет сообщена позднее.
02 марта 2020 г.	Продолжает работу научный семинар кафедры математической кибернетики «Дискретная математика и математическая кибернетика» (руководители семинара – д.ф.-м.н., зав. каф. С.А.Ложкин, д.ф.-м.н., проф. В.Б.Алексеев). Заседание семинара состоится 6 марта 2020 г., 16:30, ауд. 523. Докладчик: к.ф.-м.н. Сергеев Игорь Сергеевич (ФГУП «Научно-исследовательский институт «Квант», механико-математический факультет МГУ имени М.В. Ломоносова). Название доклада: «Некоторые вопросы синтеза параллельных схем».
28 февраля 2020 г.	Начинает работу просеминар кафедры, на который приглашаются студенты 1 и 2 курсов. Занятия проходят по пятницам с 16:20 до 17:55 в ауд. 507, первое занятие 28 февраля. Форма проведения: независимые лекции-семинары. План лекций-семинаров.
07 января 2020 г.	Вниманию студентов группы 618/1! Экзамен пр курсу Вероятностные и квантовые алгоритмы начнется 17 января (пятница) в 10 ч в ауд. 507. Консультация к экзамену по курсу Вероятностные и квантовые алгоритмы назначена 16 января (четверг) в 15.00 в ауд. 507.
	архив объявлений

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

Дискретная математика и математическая кибернетика

Дискретные функции и сложность алгоритмов
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	"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мк_дус)
19 ноября 2020	"Deterministic 1-counter automata" (M. Paterson, L. Valiant)	Нурлан Рахимжанов (студент группы 418)
26 ноября 2020	"2-Way Finite Automata" (Serena Rietbergen)	Диана Оспанова (студент группы 418)
3 декабря 2020	"A hierarchy of temporal logics with past" (F. Laroussinie, Ph. Schnoebelen)	Нина Куцак (студент группы 618мк_дус)
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)