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