Шаблон:Current Seminars
Материал из Кафедра математической кибернетики
Версия от 20:13, 15 февраля 2017; RomanovDS (обсуждение | вклад)
Доклады на спецсеминарах
| Дискретная математика и математическая кибернетика | ||
| Дискретные функции и сложность алгоритмов | ||
| 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 с доказательством корректности спецификации.
|
П. Булгаков
|
