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

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

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

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

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

Объявления

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.
архив объявлений

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

Дискретная математика и математическая кибернетика
Дискретные функции и сложность алгоритмов
Дискретный анализ
Теория управляющих систем и математические модели СБИС
12 октября Нижняя оценка энергопотребления для одного класса объёмных схем Ефимов А.А.
28 сентября Доклад по статье Романова Д.С. и Романовой Е.Ю. «О синтезе тестопригодных схем, допускающих полные диагностические тесты длины 3 относительно инверсных неисправностей на выходах элементов».Аннотация доклада Мальцев А.Н.
21 сентября Обзор по теме «Методы аппаратной реализации операции умножения разреженной матрицы на вектор для программируемых логических интегральных схем».Аннотация доклада Хзмалян Д.Э.


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

В докладе рассматриваются представления функций над конечным полем поляризованными полиномами, т.е. такими полиномами, в которых каждая переменная может быть смещена на определенную величину. Доказывается, что можно найти систему, содержащую всего две функции, сложность которой в классе поляризованных полиномов равна максимально возможной. Доклад по статье: Селезнева С.Н., Гордеев М.М. Сложность систем функций над конечным полем в классе поляризованных полиномиальных форм.

Шурыгин Дмитрий (418 гр.)


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


Доклад по статье

A method for proving observational equivalence

(V. Cortier, S. Delaune)

В статье рассматривается прикладное pi-исчисление и показано, что для определенных процессов эквивалентность по наблюдениям (observational equivalence) фактически совпадает с трассовой эквивалентностью (trace equivalence). Выделен обширный класс детерминированных процессов, называемых простыми процессами, которые охватывают большинство существующих протоколов и криптографические примитивы. Показано, что для простых процессов без репликации или ветвления разрешимость эквивалентности трассировки сводится к разрешимости отношения эквивалентности, введенного М. Боде. В совокупности это дает первый результат о разрешимости эквивалентности по наблюдениям для общего класса эквациональных теорий.

Аббас Марат (518 гр.)



Информация

История

Сотрудники

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

Спецкурсы

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

Семинары

Учебный план

Расписание

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

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

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

Конференции

События

Фотографии