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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Доклады на спецсеминарах)
(Доклады на спецсеминарах)
Строка 19: Строка 19:
 
|-
 
|-
 
|colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]'''
 
|colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]'''
{{announce Seminar| 3 апреля 2015 г.
+
{{announce Seminar|10 апреля
| Использования методов логического синтеза для ускорения решения задач верификации схем
+
| О проверяющих тестах для кратных константных неисправностей в комбинационных схемах [http://www.computer.org/csdl/trans/tc/1975/10/01672701-abs.html]
| Павлов А. В.
+
| Пузачев Д. С.
 
}}
 
}}
 
|-
 
|-

Версия 22:44, 8 апреля 2015

Доклады на спецсеминарах

Дискретная математика и математическая кибернетика
27 марта 2015 г. Методы синтеза и оценки сложности схем с некоторыми структурными ограничениями Аннотация доклада Коноводов В. А.
Дискретные функции и сложность алгоритмов
Дискретный анализ
Теория управляющих систем и математические модели СБИС
10 апреля О проверяющих тестах для кратных константных неисправностей в комбинационных схемах [1] Пузачев Д. С.
Некоторые вопросы теории управляющих систем
3 апреля 2015 г. Доклад по статье Красновой Т. И. «Асимптотически минимальные схемы для одной последовательности булевых функций» Бежовец А. В.
Теоретические проблемы программирования
Сложность решения дискретных задач
Просеминар для 2-го курса