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

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

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

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

Объявления

9 февраля Вниманию участников семинара "Сложность решения дискретных задач"! Первое (организационное) заседание семинара в весеннем семестре состоится 16 февраля (в пятницу) в 16-20 в ауд. 503. На нем будет рассказано о работе семинара в семестре и будут выданы статьи для докладов участникам.
1 января Вниманию студентов группы 518/2! конcультация к экзамену по курсу Математические модели и методы логического синтеза сверхбольших интегральных схем пройдет 8-го января 2018 г. в ауд. 506, начало в 12:00.
архив объявлений

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

Дискретная математика и математическая кибернетика
Дискретные функции и сложность алгоритмов
Дискретный анализ
Теория управляющих систем и математические модели СБИС
24 ноября 2017 г. Доклад «Иерархия памяти современного микропроцессора, принципы работы кэш-памяти и преподкачки данных.» Крюков Павел


Сложность решения дискретных задач
2 марта 2018 г. Раскраски в три цвета планарных графов без треугольников.

В докладе будет показано, что если граф без треугольников является планарным, то задача его раскраски в три цвета решается полиномиальным алгоритмом. Доклад по статье: Grunbaum B. Grotzsch’s theorem on 3-coloring.

Жорина А.А. (518/1 гр.)


Теоретические проблемы программирования
1 декабря 2017 г.


Доклад по статье J. Howard Johnson Рациональные отношения эквивалентности

В данной статье рассматриваются рациональные отношения (конечные трансдукции), которые являются отношениями эквивалентности. После установления иерархии включений, изучаются сложность вычисления канонических функций и разрешимость некоторых задач принадлежности к классу. Рассматриваются следующие классы: рациональные отношения эквивалентности, ядра эквивалентности рациональных функций, детерминированные рациональные отношения эквивалентности, ядра эквивалентности субсеквенциальных функций, распознаваемые отношения эквивалентности, ограниченные по длине отношения эквивалентности и конечные отношения эквивалентности.  

М. Аббас



Информация

История

Сотрудники

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

Спецкурсы

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

Семинары

Учебный план

Расписание

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

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

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

Конференции

События

Фотографии