Оленчиков, Д. М.Губарьков, М. Ю.Усманов, М. А.Дунаев, Д. А.Непейвода, Николай Николаевич2017-12-182017-12-181996Известия Института математики и информатики. Вып. 1 / [авторы статей: Оленчиков Д. М. и др.] ; Удмуртский государственный университет ; [ответственный редактор Н. Н. Непейвода]. - Ижевск : Издательство Удмуртского университета, 1996. - 74, [1] с.arhiv_book_03642http://eanbur.unatlib.ru/handle/123456789/5169Сборник содержит статьи, навеянные одной задачей: символьное дифференцирование программ. Надо сказать, что это потребовало разработки серьезных теоретических и прикладных методов. В частности, для вывода свойств типов данных использована нильпотентная логика, для разработки программ — современная методика программирования, для их обоснования — современные методы информатики вместе с методами функционального анализа. В целом статьи иллюстрируют как серьезное математическое содержание современных исследований по информатике, так и принципиальные отличия парадигмы информатики от парадигмы чистой математики. Они полезны для специалистов в области информатики и прикладной логики. Работы выполнены студентами УдГУ под руководством научного редактора и одного из его учеников. Они получили первую премию на международной студенческой научной конференции в Новосибирске по двум разделам: информатика и математика.Оленчиков, Д. М. Оператор дифференцирования программ / Д. М. Оленчиков. - С. 3-33 ; Губарьков, М. Ю. Вычисления над типами. Свойство тривиальности / М. Ю. Губарьков, М. А. Усманов. - С. 34-50 ; Дунаев, Д. А. Нестратифицированность оператора дифференцирования / Д. А. Дунаев, М. Ю. Губарьков.ruдифференциальные уравненияматематикаинформатикаBook