Вы здесь
Быстрые алгоритмы проверки эквивалентности программ в моделях с полугрупповой семантикой
Подымов Владислав Васильевич
Московский государственный университет имени М.В.Ломоносова,
Диссертационный совет Д 501.001.44
тел.: +7 (495) 939-30-10
| Вложение | Размер |
|---|---|
 Диссертация | 1022.65 КБ |
| Автореферат | 295.96 КБ |
| Отзыв научного руководителя | 1.23 МБ |
| Сведения об официальном оппоненте Ломазовой И.А. | 38.44 КБ |
| Отзыв официального оппонента Ломазовой И.А. | 1.82 МБ |
| Сведения о ведущей организации | 40.5 КБ |
| Отзыв ведущей организации | 1.26 МБ |
| Сведения об официальном оппоненте Башкине В.А. | 37.17 КБ |
| Отзыв официального оппонента Башкина В.А. | 1.7 МБ |
На заседании 23 декабря 2014 года, протокол №20 была создана комиссия для предварительного рассмотрения и подготовки заключения по диссертации Подымова Владислава Васильевича на соискание ученой степени кандидата физико-математических наук в составе: председатель – доктор физико-математических наук, профессор Алексеев В.Б., доктор физико-математических наук, профессор Сапоженко А.А. и доктор физико-математических наук, профессор Новикова Н.М.
На заседании 14 января 2015 года, протокол №1 была успешно принята к защите диссертация Подымова Владислава Васильевича «Быстрые алгоритмы проверки эквивалентности программ в моделях с полугрупповой семантикой». Предварительная дата защиты 27 марта 2015 года.
На заседании 27 марта 2015 года (протокол №7) диссертационный совет принял решение присудить Подымову Владиславу Васильевичу ученую степень кандидата физико-математических наук по специальности 01.01.09.
