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

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

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

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

Объявления

3 января Вниманию студентов 418 группы! Консультация по курсу «Сложность алгоритмов» - во вторник 17 января в 12.00 в ауд. 504.
3 января Вниманию студентов группы 618/1. Консультация по курсу «Вероятностные и квантовые алгоритмы» - в воскресенье 15 января в 12.00 в ауд. 506.
архив объявлений

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

Дискретная математика и математическая кибернетика
Дискретные функции и сложность алгоритмов
30 сентября 2016 года Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61. Нургалиев М.
Дискретный анализ
30 сентября 2016 г. Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61. Нургалиев М.
Теория управляющих систем и математические модели СБИС и Некоторые вопросы теории управляющих систем
17 февраля 2017 г. ауд. 507 Доклад по статье Храпченко В. М. «О соотношении между сложностью и глубиной формул» Кинжикеева Д.


9 декабря 2016 г. Доклад "О минимальных пи-схемах для монотонных симметрических функций с порогом 2" Аннотация доклада Ложкин С.А.
Сложность решения дискретных задач
30 сентября 2016 г. Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61. Нургалиев М.
Теоретические проблемы программирования
9 декабря 2016 г. Задача обеспечения отказоустойчивости распределенных вычислительных систем.

Доклад по статье G.Klein, K.Elphinstone, G.Heiser et al. "seL4: Formal Verification of an OS Kernel"

Статья про опыт разработки микроядра операционной системы от формальной спецификации будущей программы до реализации на C с доказательством корректности спецификации.


П. Булгаков




Информация

История

Сотрудники

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

Спецкурсы

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

Семинары

Учебный план

Расписание

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

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

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

Конференции

События

Фотографии