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

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

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

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

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

Объявления

30 сентября 2019 г. Начинает работу научный семинар кафедры математической кибернетики «Дискретная математика и математическая кибернетика» (руководители семинара – д.ф.-м.н., зав. каф. С.А.Ложкин, д.ф.-м.н., проф. В.Б.Алексеев). Первое заседание семинара состоится 4 октября 2019 г., 16:30, ауд. 612. Докладчик: д.ф.-м.н., профессор В.Б. Алексеев. Название доклада: «Что такое квантовые вычисления?». Аннотация доклада.
2 сентября 2019 г. Вниманию студентов 518/2 группы! Первое занятие по курсу Проектирование больших систем на C++ состоится 11 сентября.


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

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

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

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

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


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



Информация

История

Сотрудники

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

Спецкурсы

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

Семинары

Учебный план

Расписание

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

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

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

Конференции

События

Фотографии