Дискретная математика и математическая кибернетика — различия между версиями
Материал из Кафедра математической кибернетики
(→Расписание докладов) |
(→Расписание докладов) |
||
| Строка 13: | Строка 13: | ||
| 23 мая 2014 г. | | 23 мая 2014 г. | ||
| О тестах при некоторых неисправностях на входах схем | | О тестах при некоторых неисправностях на входах схем | ||
| − | | Антюфеев Г. | + | | Антюфеев Г.В. (ф-т ВМК МГУ имени М.В.Ломоносова) |
|- | |- | ||
| 16 мая 2014 г. | | 16 мая 2014 г. | ||
Версия 13:25, 19 мая 2014
Научно-исследовательский семинар для преподавателей, научных сотрудников, аспирантов и студентов. Семинар проходит по пятницам, раз в две недели, с 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 г. | Некоторые методы ресурсного анализа сетей Петри | Башкин В.А. (Ярославский государственный университет) |
