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

Сборник представляет результаты математиков Санкт-Петербургской школы. Рассмотрены математические вопросы, возникающие при изучении двухфазовой упругой среды, проблема множественности решения краевой задачи с нелинейным условием Неймана, неустойчивость фигур равновесия несжимаемой капиллярной самогравитирующей жидкости, асимптотика собственных значений оператора Лапласа в областях специального вида в многомерной случае, проектирующие и разрешающие операторы трехмерного волновода. полиномы и осциллятор Шарля. Для математиков - специалистов по математическому анализу, дифференциальным уравнениям, математической физике, а также для физиков-теоретиков, механиков.

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

Эта брошюра основана на лекциях, дважды прочитанных автором в Красноярской краевой летней школе по естественным наукам школьникам, окончившим 10-й класс. В ней кратко объясняются основные понятия математического анализа (производная и интеграл) и даются простейшие приложения к физическим задачам, основанные на составлении и решении дифференциальных уравнений. Брошюра рассчитана на широкий круг читателей: школьников, студентов, учителей.

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

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

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

Книга посвящена изложению концепции некоммутативной теории меры и интеграла в алгебрах фон Неймана, основанной на систематическом использовании техники билинейных форм, заданных на линеалах, естественно ассоциированных с мерами на проекторах или нормальными весами. Pешены основные проблемы, связанные с реализацией некоммутативных пространств L1 и L2 относительно нормальных весов интегрируемыми билинейными формами, а также изучено строение зарядов и неограниченных мер на проекторах. Для удобства читателя в книгу включено введение в общую теорию алгебр фон Неймана. Книга предназначена студентам, аспирантам и специалистам в области функционального анализа.