Дискретная математика и математическая кибернетика

Научно-исследовательский семинар для преподавателей, научных сотрудников, аспирантов и студентов. Семинар проходит по пятницам, раз в две недели, с 18:20 до 20:00 в ауд. 609.

Присутствие аспирантов кафедры математической кибернетики обязательно.

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

Дата	Тема доклада	Докладчик
23 мая 2014 г.	О тестах при некоторых неисправностях на входах схем	Антюфеев Г.В. (ф-т ВМК МГУ имени М.В.Ломоносова)
16 мая 2014 г.	Экстремальные свойства графов расстояний	Рубанов О.И. (мех-мат ф-т МГУ имени М.В.Ломоносова)
25 апреля 2014 г.	Быстрые алгоритмы проверки эквивалентности программ в моделях с полугрупповой семантикой	Подымов В.В. (ф-т ВМК МГУ имени М.В.Ломоносова)
11 апреля 2014 г.	Эквивалентность и эквивалентные преобразования в перегородчатых моделях программ	Молчанов А.Э. (ф-т ВМК МГУ имени М.В.Ломоносова)
28 марта 2014 г.	Синтез надежных схем, реализующих функции трехзначной логики	Алехина М.А. (Пензенский государственный университет)
14 марта 2014 г.	Методы получения оценок билинейной сложности матричных тензоров малого ранга	Трефилов А.П. (ф-т ВМК МГУ имени М.В. Ломоносова)
28 февраля 2014 г.	Оператор FE-замыкания на множестве функций счетнозначной логики	Сенилова И.С. (ф-т ВМК МГУ имени М.В. Ломоносова)
14 февраля 2014 г.	Адаптивная двухфазная схема решения задачи "структура-свойство"	Прохоров Е.И. (мех-мат ф-т МГУ имени М.В. Ломоносова)
7 февраля 2014 г.	Проблемы Борсука и Нелсона-Хадвигера в рациональных пространствах	Пономаренко Е.И. (МФТИ)
6 декабря 2013 г.	О свойствах некоторых линейных преобразований дискретных функций	Мазуров А.А. (ф-т ВМК МГУ имени М.В. Ломоносова)
22 ноября 2013 г.	Некоторые методы ресурсного анализа сетей Петри	Башкин В.А. (Ярославский государственный университет)

Архив расписания

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

• Алексеев Валерий Борисович
• Сапоженко Александр Антонович
• Ложкин Сергей Андреевич