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