Шаблон:Current Seminars — различия между версиями
Материал из Кафедра математической кибернетики
(→Доклады на спецсеминарах) |
(→Доклады на спецсеминарах) |
||
Строка 27: | Строка 27: | ||
|- | |- | ||
|colspan="3"|'''[[Некоторые вопросы теории управляющих систем]]''' | |colspan="3"|'''[[Некоторые вопросы теории управляющих систем]]''' | ||
− | {{announce Seminar| | + | {{announce Seminar| 9 апреля 2014 г. |
− | | | + | | Задача выполнимости и верификация логических схем |
− | | | + | | [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]}} |
|- | |- | ||
|colspan="3"|'''[[Теоретические проблемы программирования]]''' | |colspan="3"|'''[[Теоретические проблемы программирования]]''' |
Версия 22:11, 10 апреля 2014
Доклады на спецсеминарах
Дискретная математика и математическая кибернетика | ||
11 апреля 2014 г. | Эквивалентность и эквивалентные преобразования в перегородчатых моделях программ | Молчанов А.Э. (ф-т ВМК МГУ имени М.В.Ломоносова)
|
Дискретные функции и сложность алгоритмов | ||
Дискретный анализ | ||
Теория управляющих систем и математические модели СБИС | ||
11 апреля 2014 г. | Доклад по статье Kewal K. Saluja, Sudhakar M. Reddy, "On minimally testable logic networks". | Кумар В. |
Некоторые вопросы теории управляющих систем | ||
9 апреля 2014 г. | Задача выполнимости и верификация логических схем | Шуплецов М. С. |
Теоретические проблемы программирования | ||
Сложность решения дискретных задач | ||
Просеминар для 2-го курса | ||