Молодежные научные школы по дискретной математике и ее приложениям ~ Седьмая молодежная школа

Основное меню :

Warning

/home/htdocs/dmschool/lib/razor_file_tools.lib.php

186

Warning

/home/htdocs/dmschool/lib/razor_file_tools.lib.php

186

Прошедшие школы

Warning

/home/htdocs/dmschool/lib/razor_file_tools.lib.php

186

Warning

/home/htdocs/dmschool/lib/razor_file_tools.lib.php

186

Организаторы

Седьмая молодежная научная школа по дискретной математике

и ее приложениям

(2009 г.)

Седьмая молодежная научная школа по дискретной математике и ее приложениям проводилась механико-математическим факультетом Московского государственного университета имени М.В. Ломоносова и Институтом прикладной математики имени М.В. Келдыша Российской академии наук с 18 по 23 мая 2009 г.
Материалы школы: Лекции, Доклады. Ч.1, Доклады. Ч.2.

Были прочитаны следующие лекции:

Чашкин А.В. Линейное хеширование
Колпаков Р.М. Кучеров Г. А. Анализ и поиск регулярных структур в текстах
Жуков Д.А. Асимптотически хорошие коды с линейной сложностью кодирования и декодирования
Кочергин В.В. О сложности вентильных схем
Гашков С.Б., Сергеев И.С. Алгоритмы быстрого преобразования Фурье

Были заслушаны доклады:

Алехина М.А., Спиридонов Н.С., Черепанова О.Ю. Пензенский государственный университет. О числе функций f(x_1,x_2,x_3,x_4) специального вида
Чугунова В. В. Пензенский государственный университет. O надежности схем из функциональных элементов в базисах, содержащих функции специального вида
Васин А. В. Пензенский государственный университет. О ненадежности схем в базисе {x & y,x V y, not(x) } при инверсных неисправностях на выходах элементов
Зиновьева С. М. Пензенский государственный университет. Синтез надежных неветвящихся программ с условной остановкой
Дайняк А. Б. ВМК МГУ имени М. В. Ломоносова. Асимптотика числа независимых множеств в полных q-арных деревьях
Павлов А. В., Коломеец Н. А. Новосибирский государственный университет. О минимальном расстоянии в классе бент-функций
Малышев Д. С. Нижегородский университет им. Н.И. Лобачевского, ф-т ВМК. О минимальных сложных элементах в решетке наследственных классов графов
Михайлец Е. В. ИПМ РАН имени М.В.Келдыша. О ранговой функции одного неявно полного класса в P_3.
Бородина Ю. В. ИПМ им. М.В. Келдыша РАН. Синтез легкотестируемых схем для систем функций из некоторых классов
Епифанов А. С. Саратов. Институт проблем точной механики и управления РАН. Классификация дискретных детерминированных автоматов по свойствам геометрических образов
Елисеев К. В. Саратов. Институт проблем точной механики и управления РАН. Метод технического диагностирования на основе анализа геометрических образов функционирования
Гуськов Г. К. Новосибирский государственный университет. О разбиениях n-куба на совершенные коды
Капитанов Д. В. Нижегородский государственный университет им. Н.И. Лобачевского. Системы разностных уравнений на стандартном симплексе
Гавриш Ю. Н. РГТУ "МАТИ" имени К.Э. Циолковского. О программе построения полиномов Жегалкина
Комарова Е. Ю. РГТУ "МАТИ" им. К.Э.Циолковского. О программе построения дизъюнктивных нормальных форм
Бродский А. Г. Ярославский государственный университет. О 2-смежностных многогранниках
Хелемендик Р. В. ИПМ РАН имени М.В.Келдыша. О программе распознавания выполнимости формул логики высказываний с помощью метода семантических таблиц
Дагаев Д. А. МГУ. Оценки сложности псевдолинейных функций
Трифонова Е. Е.Институт Прикладной Математики имени М.В.Келдыша. Об использовании логических методов при устранении противоречий в базах данных
Сергеев И. С. Регуляризация оценок сложности умножения многочленов
Хелемендик Р. В. О синтезе игровых программ с помощью логики высказываний
Гавриш Ю. Н. О реализуемости наборов целых неотрицательных чисел в 0-1-связные графы.
Ларионов В. Б. МГУ им. М.В. Ломоносова, факультет Вычислительной Математики и Кибернетики. О монотонных замкнутых классах многозначной логики с бесконечной надструктурой
Михайлович А. В. МГУ им. М.В. Ломоносова. О классах функций k-значной логики, порожденных функциями со специальными свойствами