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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Доклады на спецсеминарах)
(Доклады на спецсеминарах)
Строка 27: Строка 27:
 
|-
 
|-
 
|colspan="3"|'''[[Некоторые вопросы теории управляющих систем]]'''
 
|colspan="3"|'''[[Некоторые вопросы теории управляющих систем]]'''
{{announce Seminar| 2 апреля 2014 г.
+
{{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-го курса