Заглавная страница
Материал из Кафедра математической кибернетики
Кафедра математической кибернетики, лаборатория дискретных управляющих систем и их приложений
Официальный сайт кафедры математической кибернетики и лаборатории дискретных управляющих систем и их приложений (ДУСП) факультета ВМК МГУ имени М.В. Ломоносова.
Объявления
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)
|
|
Информация
История
Спецкурсы
Спецсеминары
Сотрудники
Информация для 2-го курса
Лекционные курсы
Семинары
Учебный план
Расписание
Магистерские программы
Научная работа
Троичная информатика в лаборатории ДУСП
Конференции
События
Фотографии
|