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

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

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

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

Объявления

22 мая 2018 г. Вниманию студентов 318, 518/1, 518/2 групп! Защита курсовых работ состоится 28 мая (в понедельник). Начало в 11:00 для 318 группы, ауд. 503. Начало в 12:00 для студентов 518/1 и 518/2 групп, ауд. 503,504. Требования к оформлению курсовой работы вывешены на доске объявлений кафедры.
8 мая 2018 г. Вниманию студентов 418, 618/1 и 618/2 групп! Последняя итерация предзащиты выпускных курсов (4 и 6 курс) кафедры пройдет 11-го мая в аудитории 505, начало в 10:00.
7 мая 2018 г. Вниманию аспирантов 1 г/о кафедр ИО, МК и ММП! Экзамен по курсу Дискретные модели управляющих систем состоится 16 мая (в среду) в ауд. 582. Выдача вопросов в 16 ч. Начало опроса в 17 ч.
13 апреля 2018 г. Вниманию студентов 418 группы! Появились требования к оформлению ВКР. Текст положения о ВКР и шаблоны оформления титульной страницы, отзыва научного руководителя и рецензии рецензента можно найти на сайте факультета. Предзащита ВКР состоится 27 апреля (в пятницу) с 16:20 до 18:00 в ауд. 504 .
13 апреля 2018 г. Вниманию студентов 618/1 и 618/2 групп! Появились требования к оформлению магистерской диссертации. Текст положения о магистерской диссертации и шаблоны оформления титульной страницы, отзыва научного руководителя и рецензии рецензента можно найти на сайте факультета. Предзащита магистерских диссертаций состоится 27 апреля (в пятницу) с 18:00 в ауд. 504 (группа 618/1) и ауд. 505 (группа 618/2).
9 февраля Вниманию участников семинара "Сложность решения дискретных задач"! Первое (организационное) заседание семинара в весеннем семестре состоится 16 февраля (в пятницу) в 16-20 в ауд. 503. На нем будет рассказано о работе семинара в семестре и будут выданы статьи для докладов участникам.
1 января Вниманию студентов группы 518/2! конcультация к экзамену по курсу Математические модели и методы логического синтеза сверхбольших интегральных схем пройдет 8-го января 2018 г. в ауд. 506, начало в 12:00.
архив объявлений

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

Дискретная математика и математическая кибернетика
Дискретные функции и сложность алгоритмов
Дискретный анализ
Теория управляющих систем и математические модели СБИС
6 апреля Доклад «Алгоритмы синтеза схем-заплаток для решения задачи ресурсо-ориентированной функциональной коррекции схем из функциональных элементов» Высоцкий Л. И., Жуков В. В.
16 марта Доклад по препринту Попкова К.А. «Полные проверяющие тесты длины два для схем при произвольных константных неисправностях элементов», Препринт № 104 за 2017 г. ИПМ им. М.В. Келдыша РАН, М.: ИПМ им. М.В. Келдыша РАН, 2017, 16 с. Мальцев А.Н.
2 марта 2018 г. Доклад по статье Ложкина С.А., Власова Н.В. "О сложности мультиплексорной функции в классе пи-схем". Хзмолян Д.Э.


Сложность решения дискретных задач
20 апреля 2018 г. Представление выпускных работ студентов 418 группы. Презентации работ Мазуренко Анастасии, Саковича Марка, Соломатовой Марии. Мазуренко Анастасия (418 гр.), Сакович Марк (418 гр.), Соломатова Мария (418 гр.)
13 апреля 2018 г. Представление выпускных работ студентов 618/1 группы. Презентации работ Астаховой Анастасии, Вершинина Александра, Мельник Марины. Астахова Анастасия (618/1 гр.), Вершинин Александр (618/1 гр.), Мельник Марина (618/1 гр.)


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


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

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

М. Аббас



Информация

История

Сотрудники

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

Спецкурсы

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

Семинары

Учебный план

Расписание

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

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

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

Конференции

События

Фотографии