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

Материал из Кафедра математической кибернетики
Версия от 15:30, 5 октября 2017; PodymovVV (обсуждение | вклад)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

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

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

Объявления

29 мая 2018 г. Вниманию студентов 318, 518/1, 518/2 групп! Последняя итерация защит курсовых работ пройдет 31 мая (пятница) 2019 г. в 11:00, ауд. 503.
27 мая 2018 г. Вниманию студентов 318, 518/1, 518/2 групп! Вторая итерация защит курсовых работ пройдет 29 мая (среда) 2019 г. в 11:00, ауд. 612.
22 мая 2018 г. Вниманию студентов 318, 518/1, 518/2 групп! Защита курсовых работ пройдет 27 мая (понедельник) 2019 г. в 11:00, ауд. 612.
22 мая 2018 г. Вниманию студентов 318, 518/1, 518/2 групп! Появились требования к оформлению курсовой работы. Информация о сроках проведения защит курсовых работ будет сообщена позднее.
24 апреля 2019 г. Вниманию студентов групп 418, 618/1 и 618/2! Финальный заход предзащиты ВКР и магистерских диссертаций пройдет 8 мая (среда) 2019 г. в 16:00, ауд. 582.
24 апреля 2019 г. Вниманию студентов групп 418, 618/1 и 618/2! Второй заход предзащиты ВКР и магистерских диссертаций пройдет 26 апреля (пятница) 2019 г. в 16:20, ауд. 504.
9 апреля 2019 г. Вниманию студентов групп 418, 618/1 и 618/2! Предзащита ВКР и магистерских диссертаций пройдет 24 апреля (среда) 2019 г. в 15:15, ауд. 582.
1 апреля 2019 г. Вниманию студентов 418 группы! Появились требования к оформлению ВКР. Текст положения о ВКР и шаблоны оформления титульной страницы, отзыва научного руководителя и рецензии рецензента можно найти на сайте факультета. Информация о сроках проведения предзащиты будет сообщена позднее.
1 апреля 2019 г. Вниманию студентов 618/1 и 618/2 групп! Появились требования к оформлению магистерской диссертации. Текст положения о магистерской диссертации и шаблоны оформления титульной страницы, отзыва научного руководителя и рецензии рецензента можно найти на сайте факультета. Информация о сроках проведения предзащиты будет сообщена позднее.
1 января 2019 г. Вниманию студентов 418 группы! Экзамен по курсу Сложность алгоритмов состоится 11 января в 10.00 (а не в 9.00) в ауд. 508.
1 января 2019 г. Вниманию студентов 418 группы! Консультация по курсу Сложность алгоритмов состоится 10 января с 13 ч в ауд. 507.
1 января 2019 г. Вниманию студентов группы 618/1! Экзамен по курсу Вероятностные и квантовые алгоритмы состоится 10 января в 10.00 (а не в 9.00) в ауд. 507.
1 января 2019 г. Вниманию студентов группы 618/1! Консультация по курсу Вероятностные и квантовые алгоритмы состоится 9 января с 15 ч в ауд. 505.
30 декабря 2018 г. Вниманию студентов 318 группы! Консультация по курсу Избранные вопросы дискретной математики состоится 9 января с 11 ч в ауд. 503.
20 декабря 2018 г. Вниманию студентов групп 418, 618/1 и 618/2! Второй заход отчета по преддипломной практике (418 группа) и отчета по НИР (группы 618/1 и 618/2) пройдет 26 декабря 2018 в 15:00, в аудитории 609.
20 декабря 2018 г. Вниманию студентов групп 418, 618/1 и 618/2! Отчет по преддипломной практике (418 группа) и отчет по НИР (группы 618/1 и 618/2) пройдут 24 декабря 2018 в 15:00, в аудитории 612.
10 декабря 2018 г. Вниманию студентов 618/1 и 618/2 групп! Появились требования к оформлению отчета по научно-исследовательской работе (НИР) и шаблоны отчета по НИР.
10 декабря 2018 г. Вниманию студентов 418 группы! Появились требования к оформлению отчета по преддипломной практике и шаблоны отчета по преддипломной практике.
7 ноября 2018 г. Традиционный вечер кафедр математической кибернетики и информационной безопасности состоится 8 декабря (в субботу), ориентировочное время начала: 18:00.
17 октября 2018 г. Спецкурс для аспирантов "Графы и их приложения" читается по пятницам с 8-45 до 9-20 в ауд. 503. Первая лекция - 19 октября.
11 октября 2018 г. Начинает работу Межфакультетский научный семинар «Актуальные математические задачи, связанные с проектированием СБИС» Руководители семинара – профессор кафедры математической кибернетики (МК) факультета ВМК Ложкин С.А. и профессор кафедры математической теории интеллектуальных систем (МАТИС) механико-математического факультета Гасанов Э.Э. На заседаниях семинара предполагается рассматривать научные результаты последних лет, полученные при решении математических задач, связанных с теми или иными этапами проектирования различных типов современных СБИС. Планируется также проведение докладов, посвященных текущему состоянию производства и проектирования СБИС, анализу возникающих в этих областях математических проблем. Первое заседание семинара состоится 12 октября 2018 г. в 16 30 в ауд. 508 (совместно с семинаром «Теория управляющих систем и математические модели СБИС»). На нём будет представлен доклад аспиранта кафедры МАТИС Ефимова Алексея Андреевича на тему: «Нижняя оценка энергопотребления для одного класса объёмных схем».
5 октября 2018 г. Вниманию студентов 518/2 группы! Занятия по курсу Проектирование больших систем на C++ с 5 октября будут проходить в ауд. 612.
архив объявлений

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

Дискретная математика и математическая кибернетика
3 апреля 2019 г. Конъюнктивные формы для предикатов на конечных множествах и их применение в задачах обобщенной выполнимости.

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

Селезнева С.Н. (МГУ имени М.В. Ломоносова, ф-т ВМК)
Дискретные функции и сложность алгоритмов
Дискретный анализ
Теория управляющих систем и математические модели СБИС
Сложность решения дискретных задач
29 марта 2019 г. О сложности проверки полиномиальной полноты конечных квазигрупп. Доклад по статье: Галатенко А.В., Панкратьев А.Е. // Дискретная математика. 2018. Галатенко А.В. (МГУ имени М.В. Ломоносова, мех.-мат. ф-т)


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



Информация

История

Сотрудники

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

Спецкурсы

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

Семинары

Учебный план

Расписание

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

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

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

Конференции

События

Фотографии