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

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

Версия 20:10, 24 марта 2014

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

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


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