В книге Э. Мендельсона "Введение в математическую логику" дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств, однако по существу не затрагиваются интуиционистское и конструктивное направления математической логики. Изложение материала в книге ясное и лаконичное. Текст снабжен большим числом примеров и упражнений.Книгу Э. Мендельсона можно рекомендовать в качестве пособия не только студентам и аспирантам, специализирующимся по математической логике, но также всякому, кто захочет начать систематическое изучение этого предмета.

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

Авторы начтоящей книги - А.Н.Колмогоров и А.Г.Драгалин - выдыющиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Учебник "Математическая логика: Дополнительные главы" написан на основании курса математической логики, который читали оба автора на механико-математическом факультете МГУ им. М.В.Ломоносова. Изложение фундаментальных факторов современной логики (начал аксиоматической теории множетв, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики) не предполагает спец.подготовки и рассчитано на широкий круг читателей, которым интересны математическая логика и философские проблемы современной математики.

"Справочник" содержит сведения по большинству областей математики, которые могут понадобиться научному работнику и инженеру-исследователю. Опустив все доказательства и широкого используя табличную форму изложения, авторы смогли сосредоточить в одной книге большой фактический материал по следующим разделам: высшая алгебра, аналитическая и дифференциальная геометрия, математический анализ (включая интегралы Лебега и Стилтьеса), векторный и тензорный анализ, криволинейные координаты, функции комплексного переменного, операционное исчисление, дифференциальные уравнения обыкновенные и с частными производными, вариационное исчисление, абстрактная алгебра, матрицы, линейные векторные пространства, операторы и теории представлений, интегральные уравнения, краевые задачи, теория вероятностей и математическая статистика, численные методы анализа, специальные функции.

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

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

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

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

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

Учебное пособие содержит систематическое изложение основных разделов элементарного курса теории вероятностей и математической статистики. К традиционным разделам добавлен один новый - "Процедура рекуррентного оценивания", ввиду особой важности этой процедуры для приложений. Теоретический материал сопровождается большим количеством примеров и задач из разных областей знаний.