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

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

Второй том трехтомника «Симметрии дифференциальных уравнений» содержит введение в теорию групп преобразований, принадлежащее автору этой теории выдающемуся норвежскому математику Софусу Ли. Первая, более элементарная, часть посвящена рассмотрению групп преобразований прямой и плоскости. Во второй части предполагается, что читатель знаком с элементарной теорией дифференциальных уравнений. Она содержит основные результаты теории групп и некоторое количество известных на момент написания книги приложений.

Третий том трехтомника «Симметрии дифференциальных уравнений» содержит введение в принадлежащую Софусу Ли геометрию контактных преобразований плоскости и приложения этой теории к уравнениям в частных производных.

Рассмотрены различные математические вопросы, возникающие при численном решении гиперболических систем уравнений в частных производных. Материал представлен в тесной взаимосвязи с такими важными областями применения этих систем, как теория мелкой воды, газовая динамика, магнитная гидродинамика, динамика твердого деформируемого тела и ряд неклассических областей механики сплошной среды. Отличительной чертой книги является то что она фокусирует внимание на приложениях, традиционных и новых. Это делает ее полезной не только интересующимся численными методами, но также и механикам, физикам и инженерам, которым приходится решать нелинейные системы дифференциальных уравнении все возрастающей сложности. Для специалистов в различных областях механики, физики и прикладной математики, аспирантов и студентов старших курсов, сталкивающихся с необходимостью решения гиперболических систем уравнений.

Предлагаемая вниманию читателя книга посвящена приложениям теории функциональных сплайнов к задачам численного анализа. Содержание книги излагается на двух языках: языке математических формул и алгоритмическом языке С#. Основным математическим аппаратом, используемым в книге для решения задач численного анализа, являются функциональные сплайны. В этом методе тривиально и эффективно применяются, например, сплайны 9-х и 11-х степеней, в то время как в классическом методе кусочно-многочленных сплайнов такие объекты существуют лишь в теории. Результаты математических вычислений представлены не только формулами, но и программами, создающими на компьютере графические образы решений. Объектно-ориентированный стиль С# позволил объединить различные методы вычислений и разнообразные задачи в единые программные комплексы. Общение с программами происходит через окна Windows для ввода заданий и для вывода результатов в виде графиков и в виде чисел, характеризующих точность расчетов. В качестве дополнения к книге прилагаются тексты программ, работающих с оболочкой .NET Framework. Для студентов и аспирантов физико-математических специальностей, а также для научных работников и преподавателей, интересующихся современными методами численного анализа.