|
|
| Строка 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 г.
|
Некоторые методы ресурсного анализа сетей Петри
|
Башкин В.А. (Ярославский государственный университет)
|
Архив расписания
Руководители
|
