Просеминар для 2-го курса — различия между версиями
м |
м (→Программа просеминара) |
||
Строка 9: | Строка 9: | ||
*Докладчик: Марченков С.С. | *Докладчик: Марченков С.С. | ||
*Дата: 21 марта. | *Дата: 21 марта. | ||
− | === Задачи синтеза, надежности и контроля дискретных управляющих систем === | + | === Проблемы сложности булевых функций. Задачи синтеза, надежности и контроля дискретных управляющих систем. === |
*Докладчики: Ложкин С.А., Романов Д.С., Шуплецов М.С. | *Докладчики: Ложкин С.А., Романов Д.С., Шуплецов М.С. | ||
*Дата: 28 марта. | *Дата: 28 марта. |
Версия 01:13, 14 марта 2016
Просеминар предназначен для знакомства студентов 2 курса с основными направлениями и наиболее интересными результатами проводимых на кафедре и в лаборатории исследований в области дискретной математики, теории графов, сложности алгоритмов, теории синтеза, надёжности и контроля дискретных управляющих систем, а также с применением этих результатов при решении некоторых задач проектирования СБИС и программирования.
Просеминар начинает свою работу с 14 марта и проводится в форме независимых лекций-семинаров, на которые приглашаются все заинтересованные студенты 1 и 2 курсов. Предварительных знаний не требуется.
Занятия проходят по понедельникам с 16:20 до 17:55, в ауд. 504. На первом семинаре 14 марта с общей информацией о научной тематике кафедры и лаборатории, а также с интересными примерами решаемых задач выступят зав. кафедрой профессор В.Б.Алексеев и зав. лабораторией профессор С.А.Ложкин.
Содержание
- 1 Программа просеминара
- 1.1 Представление функций суперпозициями
- 1.2 Проблемы сложности булевых функций. Задачи синтеза, надежности и контроля дискретных управляющих систем.
- 1.3 Сложность функций алгебры логики в классах полиномиальных форм
- 1.4 Математические задачи автоматизации проектирования интегральных схем
- 1.5 Некоторые комбинаторные задачи
- 1.6 Дискретные модели и задачи управления компьютерными сетями
Программа просеминара
Представление функций суперпозициями
- Докладчик: Марченков С.С.
- Дата: 21 марта.
Проблемы сложности булевых функций. Задачи синтеза, надежности и контроля дискретных управляющих систем.
- Докладчики: Ложкин С.А., Романов Д.С., Шуплецов М.С.
- Дата: 28 марта.
Сложность функций алгебры логики в классах полиномиальных форм
- Докладчик: Селезнева С.Н.
- Дата: 4 апреля.
Математические задачи автоматизации проектирования интегральных схем
- Докладчики: Марченко А.М., Мелик-Адамян А.Ф., Шуплецов М.С.
- Дата: 11 апреля.
Некоторые комбинаторные задачи
- Докладчик: Сапоженко А.А.
- Дата: 18 апреля.
Дискретные модели и задачи управления компьютерными сетями
- Докладчики: Захаров В.А., Подымов В.В.
- Дата: 25 апреля.