SCI Библиотека

Часть 1. Решетки (Предварительные сведения из топологии, алгебры и теории решеток. Булевы алгебры. Топологические булевы алгебры. Псевдобулевы алгебры). Часть 2. Классическая логика (Формализованные математические теории. Алгебра формализованных языков. Классические пропозициональные исчисления. Классические элементарные формализованные теории). Часть 3. Неклассические логики (Интуиционистские пропозициональные исчисления. Интуиционистские элементарные формализованные теории. Позитивная логика и модальная логика).

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

Для математиков-прикладников ,механиков ,физиков, аспирантов и студентов университета.

Автор книги, видный американский математик, профессор Колумбийского университета С. Ленг, хорошо знаком читателю по двум ранее вышедшим монографиям: “Алгебраические числа”, “Введение в теорию дифференцируемых многообразий”.

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

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

Для студентов механико-математических специальностей высших учебных заведений.

Предметом книги является объединенный курс линейной алгебры и многомерной аналитической геометрии. Главное место в ней занимают основы теории конечномерных линейных пространств и линейных преобразований. В книге изложена тензорная алгебра и на соответствующих примерах показаны ее приложения. На примере групп преобразований читатель познакомится с элементами теории групп. В последней главе дается введение в проективную геометрию.

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

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