Шаблон:Current Seminars — различия между версиями
Материал из Кафедра математической кибернетики
(→Доклады на спецсеминарах) |
(→Доклады на спецсеминарах) |
||
| Строка 33: | Строка 33: | ||
|- | |- | ||
| − | |colspan="3"|'''[[Теоретические | + | |colspan="3"|'''[[Теоретические проблемы программирования]]''' |
{{announce Seminar|23 сентября 2016 года | {{announce Seminar|23 сентября 2016 года | ||
| Памяти Риммы Ивановны Подловченко. | | Памяти Риммы Ивановны Подловченко. | ||
| Захаров В.А.}} | | Захаров В.А.}} | ||
| − | + | {{announce Seminar|7 октября 2016 года | |
| + | | Обзор материалов 25-го Международного семинара "Concurrency, Specification and Programming (CS&P 2016)". | ||
| + | | Захаров В.А.}} | ||
<!-- | <!-- | ||
Версия 11:33, 6 октября 2016
Доклады на спецсеминарах
| Дискретная математика и математическая кибернетика | ||
| Дискретные функции и сложность алгоритмов | ||
| 30 сентября 2016 года | Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61. | Нургалиев М. |
| Дискретный анализ | ||
| 30 сентября 2016 г. | Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61. | Нургалиев М. |
| Теория управляющих систем и математические модели СБИС | ||
| 30 сентября 2016 г. | Нижняя оценка мощности плоских схем, реализующих булевы операторы Аннотация доклада | Калачев Г.В.
|
| Сложность решения дискретных задач | ||
| 30 сентября 2016 г. | Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61. | Нургалиев М. |
| Теоретические проблемы программирования | ||
| 23 сентября 2016 года | Памяти Риммы Ивановны Подловченко. | Захаров В.А. |
| 7 октября 2016 года | Обзор материалов 25-го Международного семинара "Concurrency, Specification and Programming (CS&P 2016)". | Захаров В.А. |
