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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Доклады на спецсеминарах)
(Доклады на спецсеминарах)
Строка 27: Строка 27:
 
|-
 
|-
 
|colspan="3"|'''[[Некоторые вопросы теории управляющих систем]]'''
 
|colspan="3"|'''[[Некоторые вопросы теории управляющих систем]]'''
{{announce Seminar| 26 марта 2014 г.
+
{{announce Seminar| 2 апреля 2014 г.
| Задача выполнимости и верификация логических схем
+
| Доклад по статье Храпченко В. М. "О соотношении между сложностью и глубиной формул"
| асс. [[Шуплецов Михаил Сергеевич | Шуплецов М. С.]] }}
+
| Зиновьев Владимир }}
 
|-
 
|-
 
|colspan="3"|'''[[Теоретические проблемы программирования]]'''
 
|colspan="3"|'''[[Теоретические проблемы программирования]]'''

Версия 23:27, 31 марта 2014

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

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


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