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