Протокол о рассмотрении диссертации (Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов)
Описание файла
Файл "Протокол о рассмотрении диссертации" внутри архива находится в следующих папках: Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов, Документы. PDF-файл из архива "Исследование и разработка методов автоматического вывода геометрических ограничений с использованием декларативного программирования и формальных методов", который расположен в категории "". Всё это находится в предмете "технические науки" из Аспирантура и докторантура, которые можно найти в файловом архиве РТУ МИРЭА. Не смотря на прямую связь этого архива с РТУ МИРЭА, его также можно найти и в других разделах. Архив можно найти в разделе "остальное", в предмете "диссертации и авторефераты" в общих файлах, а ещё этот архив представляет собой кандидатскую диссертацию, поэтому ещё представлен в разделе всех диссертаций на соискание учёной степени кандидата технических наук.
Просмотр PDF-файла онлайн
Текст из PDF
Протокол № 9-17/Рзаседания диссертационного совета Д 212.131.05 от 20.09.2017Присутствовали: 15 человек из 21 члена диссертационного совета: академикРАН, д.ф-м.н. Сигов А.С., д.т.н. Ткаченко В.М., к.т.н. Андрианова Е.Г., д.т.н.Алехин В.А., д.т.н. Никульчев Е.В., д.т.н. Тарасов И.Е., д.т.н. Зарудный Д.И.,д.т.н. Карп В.П., д.т.н. Раев В.К., д.т.н. Растрелин А.М., д.т.н. Петров А.Б.,д.ф.-м.н. Самохин А.Б., д.т.н. Сухорутченко В.В., д.т.н., Головин С.А., д.ф.м.н. Михайлюк М.В.Слушали: о создании комиссии по предварительному рассмотрениюдиссертации Быкова Сергея Анатольевича на тему «Исследование иразработка методов автоматического вывода геометрических ограничений сиспользованием декларативного программирования и формальных методов»,представленную на соискание ученой степени кандидата технических наукпо специальности 05.13.11 — «Математическое и программное обеспечениевычислительных машин, комплексов и компьютерных сетей»Постановили:1.
Принять«ИсследованиедиссертациюигеометрическихпрограммированияБыковаразработкаограниченийиСергеяметодовсформальныхАнатольевичаавтоматическогоиспользованиемметодов»кнатемувыводадекларативногопредварительномурассмотрению.2. Создать комиссию по предварительному рассмотрению диссертацииБыкова С.А. в следующем составе: председатель – д.т.н. Петров А.Б., членыкомиссии – д.т.н. Тарасов И.Е., д.т.н. Раев В.К.3. Поручить комиссии ознакомиться с диссертацией Быкова С.А. иподготовить заключение о соответствии темы и содержания диссертациипаспорту специальности 05.13.11 и отрасли «технические науки» даннойспециальности, а также о полноте изложения материалов диссертации вработах, опубликованных автором, о выполнении требований к публикацииосновных научных результатов диссертации, предусмотренных п.п.11 и 13 ио соблюдении требований п.14 «Положения о присуждении ученыхстепеней».Принято единогласно открытым голосованием.Председатель советаСигов Александр СергеевичУченый секретарь советаАндрианова Елена Гельевна.