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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
м (Доклады на спецсеминарах)
(Доклады на спецсеминарах)
Строка 21: Строка 21:
 
|-
 
|-
 
|colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]'''
 
|colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]'''
{{announce Seminar| 28 марта 2014 г.
+
{{announce Seminar| 4 апреля 2014 г.
| О задержке схем из функциональных элементов в модели с произвольным распределением задержек элементов базиса по входам <sup> [[Медиа:CSVLSI28.03.2014.pdf | Аннотация доклада]]</sup>
+
| Некоторые обобщения теоремы Храпченко и примеры их применений <sup> [[Медиа:CSVLSI21.03.2014.pdf | Аннотация доклада]]</sup>
| Данилов Б. Р. }}
+
| Раннев Е. К. }}
  
 
|-
 
|-

Версия 14:05, 30 марта 2014

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

Дискретная математика и математическая кибернетика
28 марта 2014 г. Синтез надежных схем, реализующих функции трехзначной логики Алехина М.А. (Пензенский государственный университет)


Дискретные функции и сложность алгоритмов
Дискретный анализ
Теория управляющих систем и математические модели СБИС
4 апреля 2014 г. Некоторые обобщения теоремы Храпченко и примеры их применений Аннотация доклада Раннев Е. К.
Некоторые вопросы теории управляющих систем
26 марта 2014 г. Задача выполнимости и верификация логических схем асс. Шуплецов М. С.
Теоретические проблемы программирования
Сложность решения дискретных задач
Просеминар для 2-го курса
28 марта 2014 г. Полиномиальные представления булевых и k-значных функций и их применение доц. Селезнева С.Н.