Просеминар для 2-го курса

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск

Просеминар для студентов 2-го курса


Тематика семинара

Просеминар предназначен для знакомства студентов 2 курса с основными направлениями и наиболее интересными результатами проводимых на кафедре и в лаборатории исследований в области дискретной математики, теории графов, сложности алгоритмов, теории синтеза, надёжности и контроля дискретных управляющих систем, а также с применением этих результатов при решении некоторых задач проектирования СБИС и программирования.

Просеминар начинает свою работу с 14 марта и проводится в форме независимых лекций-семинаров, на которые приглашаются все заинтересованные студенты 1 и 2 курсов. Предварительных знаний не требуется.

Занятия проходят по понедельникам с 16:20 до 17:55, в ауд. 504. На первом семинаре 14 марта с общей информацией о научной тематике кафедры и лаборатории, а также с интересными примерами решаемых задач выступят зав. кафедрой профессор В.Б.Алексеев и зав. лабораторией профессор С.А.Ложкин.

Руководители

Алексеев Валерий Борисович, Ложкин Сергей Андреевич, Сапоженко Александр Антонович, Марченков Сергей Серафимович, Захаров Владимир Анатольевич, Вороненко Андрей Анатольевич, Романов Дмитрий Сергеевич, Селезнева Светлана Николаевна, Нагорный Александр Степанович, Шуплецов Михаил Сергеевич

Расписание докладов

2014-2015 учебный год

Просеминар продолжит работу в весеннем семестре 2014-2015 учебного года

Весенний семестр 2013-2014 учебного года

Дата Докладчики Название доклада
21 февраля 2014 г. проф. Ложкин С.А., доц. Романов Д.С. Проблемы сложности булевых функций, задачи синтеза, надежности и контроля схем
28 февраля 2014 г. асс. Шуплецов М.С., асп. Коноводов В.А. Прикладные задачи в области оптимизации логических схем
14 марта 2014 г. проф. Марченко А.М., к.т.н. Мелик-Адамян А.Ф. Математические задачи автоматизации проектирования СБИС Аннотация доклада
21 марта 2014 г. проф. Сапоженко А.А. О числе монотонных булевых функций. Обзор результатов по статьям В.Коробкова, Ж. Анселя, А.Коршунова, А.Сапоженко
28 марта 2014 г. доц. Селезнева С.Н. Полиномиальные представления булевых и k-значных функций и их применения
4 апреля 2014 г. проф. Захаров В.А. Модели дискретной математики для телекоммуникационных сетей нового поколения
11 апреля 2014 г. проф. Марченков С.С. Операторы замыкания в многозначной логике