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