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

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

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

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

Объявления

2 декабря Вниманию студентов 618/1 и 618/2 групп! Появились требования к оформлению отчета по научно-исследовательской работе (НИР). Отчет по НИР состоится 23 декабря (в пятницу) с 11 ч в ауд. 503.
2 декабря Вниманию студентов 418 группы! Появились требования к оформлению отчета по преддипломной практике. Отчет по преддипломной практике состоится 23 декабря (в пятницу) с 14 ч 30 мин в ауд. 503.
7 ноября Традиционный вечер кафедр математической кибернетики и информационной безопасности состоится 26 ноября (в субботу), ориентировочное время начала: 16:00.
18 октября 24 октября в МГУ будет проходить семинар по программе MIPSfpga. На семинаре вас познакомят с современными направлениями и архитектурными решениями при разработке систем на кристалле, а также предоставят возможность поработать с реализацией процессора MIPS в ПЛИС на примере образовательных плат компаний Altera и Xilinx. Подробности здесь.
13 сентября На странице курса Основы кибернетики (3-й поток) вывешены результаты пересдачи по этому курсу, прошедшей 09.09.2016. Показ работ состоится 14.09 в 14:30 в ауд. 504.
20 мая Вниманию студентов 318 группы! Защита курсовых работ состоится в пятницу, 27 мая, с 14 ч (аудитория будет объявлена дополнительно). Требования к оформлению работы вывешены на доске объявлений кафедры.
архив объявлений

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

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


Некоторые вопросы теории управляющих систем
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-го курса

Конференции

События

Фотографии