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

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

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

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

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

Объявления

07 января 2020 г. Вниманию студентов группы 618/1! Экзамен пр курсу Вероятностные и квантовые алгоритмы начнется 17 января (пятница) в 10 ч в ауд. 507. Консультация к экзамену по курсу Вероятностные и квантовые алгоритмы назначена 16 января (четверг) в 15.00 в ауд. 507.
29 декабря 2019 г. Вниманию студентов 318-й группы! Консультация к экзамену по курсу Избранные вопросы дискретной математики состоится 8 января (в среду) в 11 ч в ауд. 504.
25 декабря 2019 г. Вниманию студентов групп 418, 618/1 и 618/2! Второй заход отчета по преддипломной практике (418 группа) и отчета по НИР (группы 618/1 и 618/2) пройдет в понедельник 30 декабря 2019 в 11:00, в аудитории 503.
18 декабря 2019 г. Вниманию студентов групп 418, 618/1 и 618/2! Отчет по преддипломной практике (418 группа) и отчет по НИР (группы 618/1 и 618/2) пройдут в среду 25 декабря 2019 в 11:00, в аудитории 524.
2 декабря 2019 г. Вниманию студентов 618/1 и 618/2 групп! Появились требования к оформлению отчета по научно-исследовательской работе (НИР) и шаблоны отчета по НИР.
2 декабря 2019 г. Вниманию студентов 418 группы! Появились требования к оформлению отчета по преддипломной практике и шаблоны отчета по преддипломной практике.
13 ноября 2019 г. Традиционный вечер кафедр математической кибернетики и информационной безопасности состоится 7 декабря (в субботу), ориентировочное время начала: 17:30.
30 сентября 2019 г. Начинает работу научный семинар кафедры математической кибернетики «Дискретная математика и математическая кибернетика» (руководители семинара – д.ф.-м.н., зав. каф. С.А.Ложкин, д.ф.-м.н., проф. В.Б.Алексеев). Первое заседание семинара состоится 4 октября 2019 г., 16:30, ауд. 612. Докладчик: д.ф.-м.н., профессор В.Б. Алексеев. Название доклада: «Что такое квантовые вычисления?». Аннотация доклада.
2 сентября 2019 г. Вниманию студентов 518/2 группы! Первое занятие по курсу Проектирование больших систем на C++ состоится 11 сентября.


архив объявлений

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

Дискретная математика и математическая кибернетика
29 ноября 2019 г. Нижние оценки на схемную сложность: открытые задачи.

Аннотация доклада. Чтобы доказать, что классы сложности P и NP не совпадают, достаточно доказать суперполиномиальную нижнюю оценку на булеву сложность какой-нибудь функции из класса NP. На данный момент мы очень далеки от этой цели: мы не умеем доказывать даже нижнюю оценку 4n. Ещё более печально то, что и методов доказательства нижних оценок на схемную сложность известно мало. В докладе мы рассмотрим несколько подходов, которые потенциально могут привести к усилению известных нижних оценок на сложность схем без ограничений (на глубину, базис или исходящую степень).

Куликов А.С. (Санкт-Петербургский государственный университет)
Теоретические проблемы программирования
27 сентября 2019 г. A survey on temporal logics for specifying and verifying real-time systems (S. Konur).

Обзорная статья, посвящённая сравнению выразительных возможностей и задачам разрешимости для различных темпоральных логик. Существуют две основные семантики для моделирования времени: точечная и интервальная семантика. На семинаре будут рассмотрены выразительные возможности, разрешимость и вычислительная сложность двух задач, связанные с применением темпоральных логик в информатике - проверка выполнимости формул и задача Model Checking, - для нескольких темпоральных логик, основанных на точечной семантике.

Винарский Е.М. (МГУ имени М.В. Ломоносова, ф-т ВМК)
Дискретные функции и сложность алгоритмов
Дискретный анализ
Теория управляющих систем и математические модели СБИС
22 ноября 2019 г. Доклад по статье Jia Hui Liang, Vijay Ganesh, Pascal Poupart, and Krzysztof Czarnecki «Learning Rate Based Branching Heuristic for SAT Solvers» (SAT 2016) Купраш Екатерина (418 гр.)


Сложность решения дискретных задач
18 октября 2019 г. Простой алгоритм для мальцевских ограничений. В докладе рассматривается полиномиальный алгоритм проверки выполнимости системы ограничений, удовлетворяющих некоторой мальцевской операции. Доклад по статье: Bulatov A., Dalmau V. A simple algorithm for Mal'tsev constraints // SIAM J. Computing. 2006. Мартынов Петр (318 гр.)


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



Информация

История

Сотрудники

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

Спецкурсы

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

Семинары

Учебный план

Расписание

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

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

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

Конференции

События

Фотографии