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