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

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

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

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

Объявления

3 января Вниманию студентов 418 группы! Консультация по курсу «Сложность алгоритмов» - во вторник 17 января в 12.00 в ауд. 504.
3 января Вниманию студентов группы 618/1. Консультация по курсу «Вероятностные и квантовые алгоритмы» - в воскресенье 15 января в 12.00 в ауд. 506.
30 декабря С НОВЫМ ГОДОМ! ЗДОРОВЬЯ, УСПЕХОВ, УДАЧИ В НОВОМ ГОДУ.
16 декабря Вывешены вопросы к экзамену по курсу "Вероятностные и квантовые алгоритмы" для гр. 618/1, лектор - профессор Алексеев Валерий Борисович.
16 декабря На странице курса Сложность алгоритмов вывешены Вопросы к экзамену по курсу "Сложность алгоритмов" для гр. 418 2016 года, лектор - профессор Алексеев Валерий Борисович.
14 декабря Появилась программа курса "Дискретный анализ", лектор - профессор Сапоженко Александр Антонович.
2 декабря Вниманию студентов 618/1 и 618/2 групп! Появились требования к оформлению отчета по научно-исследовательской работе (НИР). Отчет по НИР состоится 23 декабря (в пятницу) с 10 ч в ауд. 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. Нургалиев М.
Теория управляющих систем и математические модели СБИС и Некоторые вопросы теории управляющих систем
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-го курса

Конференции

События

Фотографии