Шаблон:Current Seminars — различия между версиями
Материал из Кафедра математической кибернетики
RomanovDS (обсуждение | вклад) (→Доклады на спецсеминарах) |
RomanovDS (обсуждение | вклад) (→Доклады на спецсеминарах) |
||
| Строка 19: | Строка 19: | ||
|- | |- | ||
| − | |colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]''' | + | |colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]''' и '''[[Некоторые вопросы теории управляющих систем]]''' |
| − | {{announce Seminar| | + | {{announce Seminar|17 февраля 2017 г. ауд. 507 |
| − | | Доклад по статье | + | | Доклад по статье Храпченко В. М. «О соотношении между сложностью и глубиной формул» |
| − | | | + | | Кинжикеева Д.}} |
|- | |- | ||
| − | |colspan="3"| | + | |colspan="3"| |
{{announce Seminar|9 декабря 2016 г. | {{announce Seminar|9 декабря 2016 г. | ||
| Доклад "О минимальных пи-схемах для монотонных симметрических функций с порогом 2" <sup>[[Media:rom.docx|Аннотация доклада]]</sup> | | Доклад "О минимальных пи-схемах для монотонных симметрических функций с порогом 2" <sup>[[Media:rom.docx|Аннотация доклада]]</sup> | ||
Версия 20:13, 15 февраля 2017
Доклады на спецсеминарах
| Дискретная математика и математическая кибернетика | ||
| Дискретные функции и сложность алгоритмов | ||
| 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 с доказательством корректности спецификации.
|
П. Булгаков
|
