Дискретная математика и математическая кибернетика — различия между версиями
Материал из Кафедра математической кибернетики
(→2014-2015 учебный год) |
(→2014-2015 учебный год) |
||
| Строка 14: | Строка 14: | ||
|- | |- | ||
| 17 октября 2014 г. | | 17 октября 2014 г. | ||
| − | | Идеальные языки и синхронизируемые автоматы | + | | Идеальные языки и синхронизируемые автоматы [[Media: maslennikova-m-i.pdf|Аннотация доклада]] |
| Масленникова М.И. (Уральский федеральный университет) | | Масленникова М.И. (Уральский федеральный университет) | ||
|- | |- | ||
Версия 19:49, 16 октября 2014
Научно-исследовательский семинар для преподавателей, научных сотрудников, аспирантов и студентов. Семинар проходит по пятницам, раз в две недели, с 18:20 до 20:00 в ауд. 609.
Присутствие аспирантов кафедры математической кибернетики обязательно.
Расписание докладов
2014-2015 учебный год
| Дата | Тема доклада | Докладчик |
|---|---|---|
| 17 октября 2014 г. | Идеальные языки и синхронизируемые автоматы Аннотация доклада | Масленникова М.И. (Уральский федеральный университет) |
| 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 г. | Некоторые методы ресурсного анализа сетей Петри | Башкин В.А. (Ярославский государственный университет) |
