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