Информация об официальном оппоненте 2 (Трассирующая нормализация)
Описание файла
Файл "Информация об официальном оппоненте 2" внутри архива находится в папке "Трассирующая нормализация". PDF-файл из архива "Трассирующая нормализация", который расположен в категории "". Всё это находится в предмете "физико-математические науки" из Аспирантура и докторантура, которые можно найти в файловом архиве СПбГУ. Не смотря на прямую связь этого архива с СПбГУ, его также можно найти и в других разделах. , а ещё этот архив представляет собой кандидатскую диссертацию, поэтому ещё представлен в разделе всех диссертаций на соискание учёной степени кандидата физико-математических наук.
Просмотр PDF-файла онлайн
Текст из PDF
Сведения об официальном оппонентепо дисссртационной работе Березуна .Щ,А,на тему <Трассирующая нормализация)),представленной на соискание ученой степеникандидата физико-математических наукматематическое и программное обеспечениепо специальности 05.13.1 lвычислительных машин, комплексов и компьютерных сегей-Фамилия, имя, отчество оппонентаМиронов Андрей МихайловичШифр и наимеttованиеспециальностей, по которым0l .0l .06 - Математическбl логика, алгебра tlтеория чиселзащищена диссертацияУченая степень и отрасль наукиКандидат физико-математических наукученое званиеДоцентполное наименованиеорганизации, являющейсяосновным местом работыоппонента, адрес, телефонФедеральное государственное бюджетноеобразовательное у{реждение высшегообразования "Московский государственныйуниверситет имени М.В.
Ломоносова", l19991,г. Москва, Ленинские Горы, д. l, +7 (495) 939l0-00Занимаемм должностьДоцент кафедры математической теорииинтеллектуальных систем механикоматематического факультетаСписок основньж публикацийофициального оппонента по теме1. Миронов А.М. Основные понятия теориидиссертации в рецензирусмыхнаучных изданиях за последние 5лет (не более 15 публикачий)функциональныхпрограмм.Интеллекryальные системы. Теория иприложения М.: 2016 том 20, N9 1& С. 79-1802.
Mironov А.М., Frenkel S.L. Minimization ofprobabilistic models of рrоgrаms. Joumal оfMathematical Sciences. 2015. т. 211. Ns 3. С.38l -412.3. Миронов А.М. О реализуемости функчий настоках вероятностными автоматами.ТрудыИнститута системного анализа Российской4.академии наук. 2015. Т. 65.
Ns 4. С. 26-З\.Миронов А.М. Реализуемость вероятностныхреакций конечными вероятностнымиавтоматами.Информатика и ее применения.2015. Т. 9. Ns 3. С. 88-96.5. Миронов А.М., Френкель С.Л. Минимизациявероятностных моделей6.программ,Фундаментальная и прикладнм математика.2014. т. l9. Jф 1. с. 121_163.Миронов А.М., Френкель С.Л. Методповышения эффективности решения задачверификачиивероятностнойвычислительных и телекоммуникационныхсистем.
Информатика и ее применения,2014.Т. 8. Ng 4. с. 58-б9.7. Миронов А.М.,Щоказательство теоремыГёделя о неполноте, основанное на понятияхфункционального программирования.Интеллектуальные системы. Теория иприложения. Т. 18, вып. 4. М.: 2014. С. 26'| 291.8. МироновА.М. Методдоказательстванаблюдаемой эквивалентности процессов спередачей сообщений. Информатика и ееприменения.
2014. том 8, Ns 2. С. 57-71.Верно:L.,Щолэrcноспъ u месtпо рабоtпьt лtuца,заверяюtцеео свеdенчяYi.|/у9р7lч"!EQlЕ201? г,Поdпцсь.