Известия Института математики и информатики. Вып. 1

Превью изображение
Читать (11.9 MB)

Аннотация

Сборник содержит статьи, навеянные одной задачей: символьное дифференцирование программ. Надо сказать, что это потребовало разработки серьезных теоретических и прикладных методов. В частности, для вывода свойств типов данных использована нильпотентная логика, для разработки программ — современная методика программирования, для их обоснования — современные методы информатики вместе с методами функционального анализа. В целом статьи иллюстрируют как серьезное математическое содержание современных исследований по информатике, так и принципиальные отличия парадигмы информатики от парадигмы чистой математики. Они полезны для специалистов в области информатики и прикладной логики. Работы выполнены студентами УдГУ под руководством научного редактора и одного из его учеников. Они получили первую премию на международной студенческой научной конференции в Новосибирске по двум разделам: информатика и математика.

Описание

Авторы

Составители/Переводчики

Год

1996

Journal Title

Journal ISSN

Volume Title

Издательство

Издательство Удмуртского университета

Ключевые слова

дифференциальные уравнения, математика, информатика

Коллекции

22.1 Математика
dc.contributor.authorОленчиков, Д. М.
dc.contributor.authorГубарьков, М. Ю.
dc.contributor.authorУсманов, М. А.
dc.contributor.authorДунаев, Д. А.
dc.contributor.editorНепейвода, Николай Николаевич
dc.date.accessioned2017-12-18T11:41:52Z
dc.date.available2017-12-18T11:41:52Z
dc.date.issued1996
dc.description.abstractСборник содержит статьи, навеянные одной задачей: символьное дифференцирование программ. Надо сказать, что это потребовало разработки серьезных теоретических и прикладных методов. В частности, для вывода свойств типов данных использована нильпотентная логика, для разработки программ — современная методика программирования, для их обоснования — современные методы информатики вместе с методами функционального анализа. В целом статьи иллюстрируют как серьезное математическое содержание современных исследований по информатике, так и принципиальные отличия парадигмы информатики от парадигмы чистой математики. Они полезны для специалистов в области информатики и прикладной логики. Работы выполнены студентами УдГУ под руководством научного редактора и одного из его учеников. Они получили первую премию на международной студенческой научной конференции в Новосибирске по двум разделам: информатика и математика.ru_RU
dc.description.tableofcontentsОленчиков, Д. М. Оператор дифференцирования программ / Д. М. Оленчиков. - С. 3-33 ; Губарьков, М. Ю. Вычисления над типами. Свойство тривиальности / М. Ю. Губарьков, М. А. Усманов. - С. 34-50 ; Дунаев, Д. А. Нестратифицированность оператора дифференцирования / Д. А. Дунаев, М. Ю. Губарьков.
dc.identifier.citationИзвестия Института математики и информатики. Вып. 1 / [авторы статей: Оленчиков Д. М. и др.] ; Удмуртский государственный университет ; [ответственный редактор Н. Н. Непейвода]. - Ижевск : Издательство Удмуртского университета, 1996. - 74, [1] с.ru_RU
dc.identifier.otherarhiv_book_03642
dc.identifier.urihttp://eanbur.unatlib.ru/handle/123456789/5169
dc.language.isoruru_RU
dc.publisherИздательство Удмуртского университетаru_RU
dc.subjectдифференциальные уравненияru_RU
dc.subjectматематикаru_RU
dc.subjectинформатикаru_RU
dc.titleИзвестия Института математики и информатики. Вып. 1ru_RU
dc.typeBookru_RU