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