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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск

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

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

Объявления

10 ноября Традиционный вечер кафедр математической кибернетики и информационной безопасности состоится 25 ноября (в субботу), ориентировочное время начала: 16:00.
6 октября Вниманию студентов групп 518/1 и 618/1! На странице "Магистерские программы" появился список курсов, которые можно выбрать в качестве элективных в этом семестре. Для того, чтобы в конце семестра зачесть курс не из списка как элективный, необходимо срочно (!) обратиться к ответственному исполнителю магистерской программы "Дискретные структуры и алгоритмы".
5 октября Вниманию студентов групп 518/2 и 618/2! На странице "Магистерские программы" появился список курсов, которые можно выбрать в качестве элективных в этом семестре. Чтобы была возможность в конце семестра зачесть курс не из списка как элективный, необходимо срочно (!) обратиться к руководству кафедры.
14 сентября Вниманию студентов 518/2 группы! Занятия по курсу Проектирование больших систем на C++ с 15 сентября будут проходить в ауд. 609.
1 сентября Вниманию студентов 318 группы! Нагрузка по курсу Избранные вопросы дискретной математики (ИВДМ): лекции - каждую неделю, семинары - раз в две недели. В понедельник, 4 сентября, состоится только лекция по ИВДМ на 3-й паре.
1 сентября Поздравляем с началом нового учебного года! Успехов и новых свершений!
архив объявлений

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

Дискретная математика и математическая кибернетика
Дискретные функции и сложность алгоритмов
Дискретный анализ
20 октября 2017 г. О максимальной длине цепи в единичном n-мерном кубе. По статье Евдокимова А.А. Вершинин А., 618/1 гр.


Теория управляющих систем и математические модели СБИС
18 ноября 2017 г. Доклад «Об одной модели сокрытия функциональности схем и оценках степени их защищенности при асимптотически оптимальной реализации "типичных" функций» Павлова А.Ф.


Сложность решения дискретных задач
27 октября 2017 г. Полиномиальность задачи о раскраске в 3 цвета графа без порожденных простых цепей с 6 вершинами. Доклад по статье: Randerath B., Schiermeyer I. 3-Colorability \in P for P_6-free graphs. Астахова А., 618/1 гр.


Теоретические проблемы программирования
17 ноября 2017 г. Доклад по статье Petr Jancar, Faron Moller "Techniques for Decidability and Undecidability of Bisimilarity"

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

Гнатенко А. Р.



Информация

История

Сотрудники

Лекционные курсы

Спецкурсы

Спецсеминары

Семинары

Учебный план

Расписание

Магистерские программы

Научная работа

Информация для 2-го курса

Конференции

События

Фотографии