Шаблон:Current Seminars — различия между версиями
Материал из Кафедра математической кибернетики
м (→Доклады на спецсеминарах) |
м (→Доклады на спецсеминарах) |
||
| Строка 29: | Строка 29: | ||
{{announce Seminar| 26 марта 2014 г. | {{announce Seminar| 26 марта 2014 г. | ||
| Задача выполнимости и верификация логических схем | | Задача выполнимости и верификация логических схем | ||
| − | | | + | | асс. [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]] }} |
|- | |- | ||
|colspan="3"|'''[[Теоретические проблемы программирования]]''' | |colspan="3"|'''[[Теоретические проблемы программирования]]''' | ||
Версия 09:20, 25 марта 2014
Доклады на спецсеминарах
| Дискретная математика и математическая кибернетика | ||
| 28 марта 2014 г. | Синтез надежных схем, реализующих функции трехзначной логики | Алехина М.А. (Пензенский государственный университет)
|
| Дискретные функции и сложность алгоритмов | ||
| Дискретный анализ | ||
| Теория управляющих систем и математические модели СБИС | ||
| 28 марта 2014 г. | О задержке схем из функциональных элементов в модели с произвольным распределением задержек элементов базиса по входам Аннотация доклада | Данилов Б. Р. |
| Некоторые вопросы теории управляющих систем | ||
| 26 марта 2014 г. | Задача выполнимости и верификация логических схем | асс. Шуплецов М. С. |
| Теоретические проблемы программирования | ||
| Сложность решения дискретных задач | ||
| Просеминар для 2-го курса | ||
| 28 марта 2014 г. | Полиномиальные представления булевых и k-значных функций и их применение | доц. Селезнева С.Н.
|
