Шаблон:Current Seminars
Материал из Кафедра математической кибернетики
Версия от 16:51, 11 октября 2016; ZakharovVA (обсуждение | вклад)
Доклады на спецсеминарах
| Дискретная математика и математическая кибернетика | ||
| Дискретные функции и сложность алгоритмов | ||
| 30 сентября 2016 года | Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61. | Нургалиев М. |
| Дискретный анализ | ||
| 30 сентября 2016 г. | Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61. | Нургалиев М. |
| Теория управляющих систем и математические модели СБИС | ||
| 7 октября 2016 г. | Доклад по статье Богомоловой Е.М. "Сложность и структура минимальных ВОО для некоторых функций алгебры логики" Аннотация доклада | Чемоданова О.М.
|
| Сложность решения дискретных задач | ||
| 30 сентября 2016 г. | Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61. | Нургалиев М. |
| Теоретические проблемы программирования | ||
| 23 сентября 2016 года | Памяти Риммы Ивановны Подловченко. | Захаров В.А. |
| 7 октября 2016 года | Обзор материалов 25-го Международного семинара "Concurrency, Specification and Programming (CS&P 2016)". | Захаров В.А. |
| 14 октября 2016 года | Доклад по статье "Верификация программ с ненадежными каналами". | Темербекова Г.Г.
|
