Шаблон:Current Seminars — различия между версиями
Материал из Кафедра математической кибернетики
RomanovDS (обсуждение | вклад) (→Доклады на спецсеминарах) |
(→Доклады на спецсеминарах) |
||
| Строка 40: | Строка 40: | ||
| Обзор материалов 25-го Международного семинара "Concurrency, Specification and Programming (CS&P 2016)". | | Обзор материалов 25-го Международного семинара "Concurrency, Specification and Programming (CS&P 2016)". | ||
| Захаров В.А.}} | | Захаров В.А.}} | ||
| + | {{announce Seminar|14 октября 2016 года | ||
| + | | Доклад по статье "Верификация программ с ненадежными каналами". | ||
| + | | Темербекова Г.Г.}} | ||
| + | |||
<!-- | <!-- | ||
Версия 16:51, 11 октября 2016
Доклады на спецсеминарах
| Дискретная математика и математическая кибернетика | ||
| Дискретные функции и сложность алгоритмов | ||
| 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 года | Доклад по статье "Верификация программ с ненадежными каналами". | Темербекова Г.Г.
|
