Шаблон:Current Seminars

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

Дискретная математика и математическая кибернетика
Дискретные функции и сложность алгоритмов
Дискретный анализ
Теория управляющих систем и математические модели СБИС и Некоторые вопросы теории управляющих систем
17 февраля 2017 г. ауд. 507	Доклад по статье Храпченко В. М. «О соотношении между сложностью и глубиной формул»	Кинжикеева Д.
9 декабря 2016 г.	Доклад "О минимальных пи-схемах для монотонных симметрических функций с порогом 2" Аннотация доклада	Ложкин С.А.
Сложность решения дискретных задач
Теоретические проблемы программирования
9 декабря 2016 г.	Задача обеспечения отказоустойчивости распределенных вычислительных систем. Доклад по статье G.Klein, K.Elphinstone, G.Heiser et al. "seL4: Formal Verification of an OS Kernel" Статья про опыт разработки микроядра операционной системы от формальной спецификации будущей программы до реализации на C с доказательством корректности спецификации.	П. Булгаков