Шаблон: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-значных функций и их применение | доц. Селезнева С.Н.
|