|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Ломоносовские чтения - 2012. Секция математикиКонференция
- Охват: Международная
- Даты проведения: 2-9 апреля 2012
- Место проведения: Механико-математический факультет МГУ (кафедра МАТИС), Russia
-
Организатор:
МГУ имени М.В. Ломоносова, Механико-математический факультет - Число участников: 30
- Число иностранных участников: 2
- Число участников из МГУ: 28
- Число докладчиков: 30
- Все конференции этой группы
- Добавил в систему: Волков Николай Юрьевич
Доклады:
- 2012 Автоматная модель преследования в плоских лабиринтах (Устный)
- Автор: Волков Н.Ю.
- 2012 Верхние оценки сложности некоторых вычислительных задач поиска (Устный)
- Авторы: Пивоваров А.П., Гасанов Э.Э.
- 2012 Моделирование динамических задач поиска (Устный)
- Авторы: Плетнев А.А., Гасанов Э.Э.
- 2012 О выразимости и полноте для дедуктивных и k-значных исчислений (Устный)
- Авторы: Боков Г.В., Кудрявцев В.Б.
- 2012 О максимальных подгруппах симметрической группы перестановок (Устный)
- Авторы: Шульцева О., Кудрявцев В.Б.
- 2012 О направлении выразимости и полноты в теории логических функций (Пленарный)
- Автор: Кудрявцев В.Б.
- 2012 О распознавании включения для дефинитных языков (Устный)
- Авторы: Морозов С., Кудрявцев В.Б.
- 2012 О строении сложно-тестируемых логических функций (Устный)
- Авторы: Икрамов А.А., Кудрявцев В.Б.
- 2012 О структуре носителя спектра булевых функций из некоторых специальных множеств (Устный)
- Автор: Таранников Ю.В.
- 2012 О функциональных моделях для множеств натуральных задержек (Устный)
- Авторы: Петрова О.А., Кудрявцев В.Б.
- 2012 Об однозначной расшифровке регулярных языков (Устный)
- Авторы: Дергач П.С., Кудрявцев В.Б.
- 2012 Об одном формализме в решении задач выразимости для автоматов (Устный)
- Авторы: Кудрявцев В.Б., Моисеев С.В.
- 2012 Решение задачи о предотвращении столкновений для законов движения, задаваемых аналитическими функциями (Устный)
- Авторы: Снегова Е.А., Гасанов Э.Э.