Шаблон:Current Seminars — различия между версиями

Версия 09:48, 19 апреля 2014

Дискретная математика и математическая кибернетика
11 апреля 2014 г.	Эквивалентность и эквивалентные преобразования в перегородчатых моделях программ	Молчанов А.Э. (ф-т ВМК МГУ имени М.В.Ломоносова)
Дискретные функции и сложность алгоритмов

Дискретный анализ

Теория управляющих систем и математические модели СБИС
18 апреля 2014 г.	Доклад по статье Ложкина С. А. , Власова Н. В. «О сложности мультиплексорной функции в классе π-схем»	Доленко О. С.
Некоторые вопросы теории управляющих систем
16 апреля 2014 г.	Доклад по статье N. Blum, M. Seysen «Characterization of all optimal networks for a simultaneous computation of AND and NOR»	Добровецкий Д. И.
Теоретические проблемы программирования
Сложность решения дискретных задач

Просеминар для 2-го курса

@@ Строка 21: / Строка 21: @@
 |-
 |colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]'''
-{{announce Seminar| 11 апреля 2014 г.
+{{announce Seminar| 18 апреля 2014 г.
-| Доклад по статье Kewal  K.  Saluja,  Sudhakar M. Reddy, "On minimally testable logic networks".
+| Доклад по статье Ложкина С. А. , Власова Н. В. «О сложности мультиплексорной функции в классе π-схем»
-| Кумар В. }}
+| Доленко О. С. }}
 |-
 |colspan="3"|'''[[Некоторые вопросы теории управляющих систем]]'''
-{{announce Seminar| 9 апреля 2014 г.
+{{announce Seminar| 16 апреля 2014 г.
-| Задача выполнимости и верификация логических схем
+| Доклад по статье N. Blum, M. Seysen «Characterization of all optimal networks for a simultaneous computation of AND and NOR»
-| [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]]}}
+| Добровецкий Д. И.
+}}
 |-
 |colspan="3"|'''[[Теоретические проблемы программирования]]'''