Информация об официальном оппоненте 2 (1150903)

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

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

Сведения об официальном оппонентепо дисссртационной работе Березуна .Щ,А,на тему <Трассирующая нормализация)),представленной на соискание ученой степеникандидата физико-математических наукматематическое и программное обеспечениепо специальности 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пцсь.

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

Тип файла PDF

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

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

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