Решение диссертационного совета по результатам защиты диссерта (1090529)

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

Текст из файла

Решение диссертационного совета Д 212.131.05(Протокол № 58 от 07.12.2017)Присутствовали: 18 членов диссертационного совета.Слушали: защиту диссертации Быковым Сергеем Анатольевичем насоискание степени кандидата технических наук на тему «Исследование иразработка методов автоматического вывода геометрических ограничений сиспользованием декларативного программирования и формальных методов»по специальности 05.13.11 – Математическое и программное обеспечениевычислительных машин, комплексов и компьютерных сетей.Постановили:1.

Диссертация охватывает основные вопросы изучаемой предметнойобласти, имеет внутреннее единство и характеризуется непротиворечивымирезультатами исследования.2. Диссертационный совет пришёл к выводу о том, что заслушаннаядиссертация представляет собой научно-квалификационную работу, котораясоответствует критериям, установленным Положением о порядкеприсужденияученыхстепеней,утвержденнымпостановлениемПравительства Российской Федерации от 24 сентября 2013 г. №842 (вредакции постановления Правительства Российской Федерации от 21 апреля2016 г. № 335), и принял решение присудить Быкову Сергею Анатольевичуученую степень кандидата технических наук.При проведении тайного голосования диссертационный совет в количестве18 человек, из них 9 докторов наук по специальности 05.13.11,участвовавших в заседании, из 21 человека, входящих в состав совета,проголосовали: за присуждение учёной степени 17, против присужденияучёной степени нет, недействительных бюллетеней один.Председательдиссертационного совета,академик РАН, профессорУченый секретарьдиссертационного советак.

т. н., доцентСигов Александр СергеевичАндрианова Елена Гельевна.

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

Тип файла PDF

PDF-формат наиболее широко используется для просмотра любого типа файлов на любом устройстве. В него можно сохранить документ, таблицы, презентацию, текст, чертежи, вычисления, графики и всё остальное, что можно показать на экране любого устройства. Именно его лучше всего использовать для печати.

Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.

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