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

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

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

Объявления

18 декабря 2020 г.

Уважаемые студенты 411-419 групп!

Контрольная работа по курсу "Дополнительные главы дискретной математики" (ДГДМ) состоится в субботу 19 декабря 2020 года утром c 10:00 до 12:00. Для участия в ней Вам необходимо пройти в 9:50 по следующей ссылке в Google Classroom: https://classroom.google.com/c/MjQ0ODg5MjQ4MTA4?cjc=prst32i

Там же имеется файл 4к_2п_ДГДМ_вар-ты.xlsx, в котором напротив Вашей фамилии Вы можете найти номер Вашего варианта. В 10:00 откроется доступ к вариантам, и начнётся контрольная работа.

Выполнять задания необходимо тёмной ручкой на белой бумаге. В 12:00 контрольная работа закончится, и Вам будет выделено дополнительное время (5-10 минут) для того, чтобы Вы смогли отсканировать/сфотографировать Ваши решения и прикрепить полученные сканы/фото в Google Classroom. Имя прикрепляемого файла должно содержать Вашу фамилию (в латинской транскрипции), инициалы, номер группы и номер варианта. Например, "IvanovSP_417_2var.PDF". Настоятельно рекомендуем загружать работу одним PDF-файлом. Если это Вам не удобно, можно загружать несколько файлов, нумеруя их по порядку. Кроме формата PDF, можно использовать формат JPG.

По любым вопросам, которые у Вас могут возникнуть, Вы можете обращаться в период с 10:00 до 10:30 к лекторам. Для этого Вам нужно будет подключиться к конференции zoom: https://us02web.zoom.us/j/88969881240?pwd=cnY2L2lheE5POFd5aWQvakFCV1FrZz09

Код доступа к конференции был передан старостам групп.

С наилучшими пожеланиями, преподаватели курса ДГДМ.

01 ноября 2020 г.

Спецсеминар "Дискретная математика и математическая кибернетика". В пятницу, 6 ноября, в 16-20 состоится доклад Попкова Кирилла Андреевича (Институт прикладной математики им. М.В. Келдыша РАН) "О возможностях построения легкотестируемых контактных схем и схем из функциональных элементов". Спецсеминар состоится онлайн с помощью zoom. Узнать коды доступа можно по эл. почте у преподавателя.

архив объявлений

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

Дискретная математика и математическая кибернетика
6 ноября 2020	О возможностях построения легкотестируемых контактных схем и схем из функциональных элементов. Аннотация. Исследованы задачи реализации булевых функций контактными схемами и схемами из функциональных элементов, допускающими короткие проверяющие либо диагностические тесты относительно неисправностей заранее оговоренного вида, которые могут происходить в схемах. Указанные задачи были впервые предложены (применительно к контактным схемам) С.В. Яблонским и И.А. Чегис в середине 1950-х годов и изучались многими авторами. Рассмотрены следующие виды неисправностей: обрывы и/или замыкания контактов, константные (однотипные или произвольные) либо инверсные неисправности на входах и/или выходах функциональных элементов. Число допустимых неисправностей в схемах может быть ограничено сверху единицей или заданным натуральным числом либо никак не ограничено. Получен ряд верхних и/или нижних оценок длин минимальных тестов для схем, реализующих заданные, все или почти все булевы функции, при различных исходных условиях. Во многих случаях найдены точные значения этих длин и/или улучшены известные ранее результаты.	Попков К.А. (Институт прикладной математики им. М.В. Келдыша РАН)
Дискретные функции и сложность алгоритмов
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)