Книга выдающегося польского математика Р. Сикорского посвящена одному из важнейших разделов современной математики — теории булевых алгебр. Это наиболее полное изложение теории булевых алгебр с теоретико-множественной точки зрения. В книге, по-видимому, впервые систематически изучаются булевы алгебры с бесконечными операциями.
Последний раздел (дополнение) содержит многочисленные применения булевых алгебр к другим областям математики. Книга написана очень просто и подробно. Она вполне доступна и полезна широким кругам математиков, а также физикам и инженерам.
Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений.
Книга рассчитана на студентов, аспирантов и научных работников, специализирующихся в области математической логики, но она, безусловно, доступна всем, кто интересуется фундаментальными проблемами этого раздела математики.
Предлагаемый сборник задач составлен в соответствии с программой университетского курса «Элементы математической логики и алгебры множеств».
Первые четыре параграфа посвящены двоичной булевой алгебре и ее применению в теории релейно-контактных схем, а также исчислению высказываний и предикатов. Большая часть задач двух последних параграфов связана с бинарными отношениями, которые получают все большее применение в различных областях математики.
Задачник снабжен ответами и указаниями, каждому разделу предпослано небольшое теоретическое введение.
Сборник может быть использован как пособие для учащихся юношеских математических школ и всех самостоятельно изучающих соответствующие разделы математики.
В книге рассматривается теория зацепления винтовых насосов с эквеволентно-циклоидальными профилями, безразмерные координаты торцевых, осевых и нормальных сечений винтовых поверхностей, формулы и графики для расчета геометрической подачи и потребляемой насосами мощности, расчет усилий, действующих на винты насосов, и данные по характеристикам и всасывающей способности насосов. Описываются конструкции винтовых насосов отечественного производства, фирм Leistritz, Allweiler, Bornemann и др., требования, предъявляемые к точности обработки основных деталей, изготовление винтов, сборка и испытание насосов. Приводятся сведения о причинах неисправности насосов и данные гидроакустических испытаний.
Книга отражает опыт производства винтовых насосов с эволъвентно-циклоидальными профилями отечественных заводов, предназначена для лиц, занятых проектированием, изготовлением и эксплуатацией винтовых насосов и может быть использована также в учебных целях. В книге 137 рисунков и 7 библиографических источников.
Четвертый том «Истории открытия и освоения Северного морского пути» посвящен новому периоду народнохозяйственной эксплуатации великой арктической магистрали — не только на отдельных ее участках (Карские экспедиции и Колымские рейсы), что наблюдалось раньше, но и на всем ее протяжении — от европейских до тихоокеанских портов СССР. Этот период, датируемый 1933—1945 гг., — совершенно новый этап многовековой истории Северного морского пути.
В рассматриваемые годы характерной особенностью арктического мореплавания явилось включение в его план всесоюзных перевозок. Эта задача возникла в связи с грандиозным социалистическим строительством на Советском Севере. В 30-е годы и в начале 40-х годов в Заполярье началось крупное промышленное строительство, бурно развивалось народное хозяйство.
В книге изложены общие вопросы теории судовых электроприводов, описаны электроприводы палубных механизмов и гребных электрических установок.
Книга является учебником для судостроительных техникумов, но может быть полезной также студентам кораблестроительных институтов, работникам судостроительных предприятий, судовым электромеханикам.
Первые две главы книги образуют элементарное введение в теорию булевых алгебр; здесь приводятся основные факты этой теории, дается обзор ее важнейших приложений. Последующие главы в основном посвящены полным булевым алгебрам, в первую очередь алгебрам с мерой, особенно важным для теории вероятностей и функционального анализа. Многие приводимые в книге результаты в монографическом изложении публикуются впервые.
Книга рассчитана на студентов, аспирантов и научных работников, специализирующихся в различных областях математики (алгебра, функциональный анализ, теория меры, теория вероятностей). Она может служить пособием при первичном изучении теории булевых алгебр; для понимания достаточно знакомства с элементами алгебры, теории меры и топологии.
Первые две главы книги образуют элементарное введение в теорию булевых алгебр; здесь приводятся основные факты этой теории, дается обзор ее важнейших приложений. Последующие главы в основном посвящены полным булевым алгебрам, в первую очередь алгебрам с мерой, особенно важным для теории вероятностей и функционального анализа. Многие приводимые в книге результаты в монографическом изложении публикуются впервые.
Книга рассчитана на студентов, аспирантов и научных работников, специализирующихся в различных областях математики (алгебра, функциональный анализ, теория меры, теория вероятностей). Она может служить пособием при первом изучении теории булевых алгебр; для понимания достаточно знакомства с элементами алгебры, теории меры и общей топологии. Страниц 320. Таблиц 2. Иллюстраций 4.
Книга содержит лекции виднейших специалистов в области алгебраической теории чисел, охватывающие широкий круг вопросов этой теории — от ее классических разделов до самых последних достижений. Особенно подробно рассматриваются локальная и глобальная теории полей классов; излагается как история вопроса, так и его современное состояние.
Книга представляет большой интерес в первую очередь для специалистов в области алгебраической теории чисел. Однако она будет полезна и для математиков, интересующихся смежными областями, такими, например, как алгебраическая геометрия, теория чисел, теория автоморфных функций, теория алгебраических групп. Книга доступна для аспирантов и студентов старших курсов университетов и педагогических институтов.
Книга посвящена основам теории обыкновенных линейных дифференциальных операторов и некоторым ее приложениям. Она состоит из двух частей.
В более элементарной первой части изложены основные понятия и основные задачи теории дифференциальных операторов, асимптотическое поведение собственных значений и собственных функций и теорема о разложении по собственным и присоединенным функциям, обобщения этих результатов на дифференциальные операторы в пространстве вектор-функций. В основном здесь применяются классические методы, в частности, методы теории аналитических функций.
Во второй части указанные методы сочетаются с методами функционального анализа. В ней изложены необходимые сведения из теории линейных операторов в гильбертовом пространстве в удобной для дальнейшего формы, основные факты теории симметрических дифференциальных операторов и их расширений, спектральная теория самосопряженных операторов, различные теоремы об индексе дефекта и спектре этих операторов, решение обратной задачи спектрального анализа для операторов второго порядка.
