Выписка из протокола заседания диссертационного совета (1150901), страница 2

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 2)

Диссертация прошла проверку в системе В!ас1сЬоап1 на предмет выявления объема текстовых совпадений между текстом диссертации и источниками, авторство которых установлено, для рассмотрения диссертации как оригинальной научно-квалификационной рабо~ы. Текстовых совпадений 9;4. Диссертация Березуна Даниила Андреевича может считаться полностью оригинальной авторской научной работой. Практическая значимость результатов диссертационного исследования заключается в предложении нового подхода к автоматической генерации компиляторов функциональных языков на основе описания семантики 1БешаппсзРпесгед Сотр11ег Оепегабоп). В работе Березуна Даниила Андреевича представлены следующис результаты.

1. Разработан алгоритм трассирующей нормализации для нетипизированного лямбда-исчисления, соответствуюший нормальному порядку редукций. 2. Представлена модель полной головной линейной редукции, которая является расширением известной модели головной линейной редукции. Доказана корректность модели относительно головной редукции. 3. Доказана корректность представленного алгоритма трассирующей нормализации относительно предложенной модели полной головной линейной. Таким образом, было доказано, что предложенная процедура трассирующей нормализации является нормалнзирующсй. 4. Предложенный алгоритм адаптирован для других, отличных от нормального порядка, стратегий вычислений; аппликативного порядка редукций и вызова по необходимости.

5. Предложен и реализован новый метод компиляции функциональных языков программирования в низкоуровневое представление путем специализации представленного алгоритма трассирующей нормализации на входной терм, Все полученные результаты являются новыми, строго доказаны и достоверны. Комиссия считает, что диссертация Березуна Даниила Андреевича соответствует критериям, которым должна отвечать диссертация на соискание ученой степени кандидата наук 1пп.9-11, 13,14 «Положения о присуждении ученых степеней»). Комиссия рекомендует принять к защите,на диссертационном совете Д 212.232.51 кандидатскую диссертацию Березуна Даниила Андреевича на тему «Трассирующая нормализация» по специальности 05.13.11 — «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей».

Комиссия рекомендует утвердить официальными оппонентами компетентных в соответствуюшей отрасли науки ученых, имеющих публикации в областях логического программирования, математической логики, теории вычислений и языков программирования; 1. Доктора физико-математических наук, профессора„главного научного сотрудника Федерального государственного бюджетного учреждения науки «Институт программных систем имени А.К. Айламазяиа Российской академпи наук» Непейводу Николая Николаевича. 2. Кандидата физико-математических наук, доцента, доцента кафедры математической теории интеллектуальных систем механико-математического факультета Федерального государственного бюджетного образовательного учреждения высшего образовании «Московский государственный университет» Миронова Андрея Михайловича.

Комиссия рекомендует утвердить в качестве ведущей организации п|нроко известный своими достижениями в области информатики и языков программирования и способный определить научную ценность диссертации математический институт: Федеральное государственное учреждение «Федеральный исследовательский центр Институт прикладной математики им. М,В, Келдыша Российской академни наук». Демьянович Юрий Казимирович Председатель комиссии: Баранов Сергей Николаевич Члены комиссии Романовский Иосиф Владимирович «,И» ура~~~ 20! 7 г. .

Характеристики

Список файлов диссертации