Изложены общие методы решения задачи Коши для обыкновенных дифференциальных уравнений первого порядка и их иллюстрация на примере уравнения Риккати. На основе трех аппроксимирующих уравнений выведены новые асимптотические решения уравнения Риккати. Получены приближенные формулы для решения линейного уравнения второго порядка, непрерывные в точках поворота. Представлено точное условие квантования и точные выражения для коэффициентов отражения и прохождения потенциального барьера. Дано общее решение граничной задачи для системы уравнений Максвелла методом интеграла Фурье. Николай Евгеньевич Цапенко - канд. физ.-мат. наук, доц. каф. высшей математики Московского гос. горного университета. Для научных работников, специализирующихся в области математической физики. Может быть полезна аспирантам и студентам старших курсов технических университетов.

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