Шаблон:Current Seminars
Материал из Кафедра математической кибернетики
Версия от 21:18, 5 мая 2014; KonovodovV (обсуждение | вклад)
Доклады на спецсеминарах
| Дискретная математика и математическая кибернетика | ||
| 25 апреля 2014 г. | Быстрые алгоритмы проверки эквивалентности программ в моделях с полугрупповой семантикой | Подымов В.В. (ф-т ВМК МГУ имени М.В.Ломоносова) |
| Дискретные функции и сложность алгоритмов | ||
| Дискретный анализ | ||
| Теория управляющих систем и математические модели СБИС | ||
| 25 апреля 2014 г. | Исследование влияния структурных параметров на результаты синтеза цифровых схем | Кортунова Екатерина |
| Некоторые вопросы теории управляющих систем | ||
| 7 мая 2014 г. | Доклад по статье Лупанова О. Б. "К вопросу о реализации симметрических функций алгебры логики контактными схемами" Аннотация доклада | Павлов Андрей |
| Теоретические проблемы программирования | ||
| Сложность решения дискретных задач | ||
| Просеминар для 2-го курса | ||
