Моя библиотека: документы

Указатель содержит полный перечень выпущенных в серии «Массовая радиобиблиотека» (МРБ) изданий по номерам выпусков от 1-го до 1290-го и алфавитный указатель авторов.

Для широкого круга читателей.

Учебник создан в соответствии с Федеральным государственным об разовательным стандартом по направлению подготовки «Электроэнерге тика и электротехника», модуль «Электротехника» (квалификация «бака лавр»).

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

Для студентов учреждений высшего образования.

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

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

Практикум содержит рекомендации по проведению практических занятий по курсу «Надежность электро снабжения».

Предназначены для студентов высших учебных за ведений очной формы обучения, но направлению под готовки - 13.03.02 «Электроэнергетика и электротех ника», квалификация - бакалавр.

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

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

Коллективная монография посвящена сравнительному анализу и перспективам развития обеспечения комплексной безопасности в ВУЗе.

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

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

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

Для обучающихся по направлениям 08.05.01 Строительство уникальных зданий и сооружений, 08.03.01 Строительство, 07.03.04 Градостроительство, 20.03.01 Техносферная безопасность, 15.03.04 Автоматизация технологических процессов и производств, 09.03.01 Информатика и вычислительная техника, 27.03.04 Управление в технических системах.

Учебное пособие выполнено в соответствии с компетентностной концепцией федерального государственного образовательного стандарта подготовки магистрантов, обучающихся по направлению 35.04.06 «Агроинженерия» профиль подготовки «Информационные технологии и автоматизированные системы у правления» по дисциплине «Оптимизации систем энергоснабжения».

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

Изложены начальные сведения о работе с программой Microwave Office. Описана методика моделирования и проектирования электрических схем СВЧ. Приведены примеры составления схем, их оптимизации расчета характеристик и определения параметров. Рассмотрен порядок моделирования различных линейных устройств: фильтров, резонансных цепей, усилителей. Представлены методики проектирования в программе Microwave Office электрических схем нелинейных устройств СВЧ - усилителей мощности, умножителей частоты, автогенераторов. смесителей частот.

Это уникальное справочное многотомное издание общим объемом около 700 авторских листов, являясь по существу фундаментальной энциклопедией органической химии, охватывает все разделы органической химии и важнейшие разделы химии природных соединений. В равной степени представлены аспекты теоретической химии — механизмы, кинетика реакций, стереохимия, физико-химические методы исследования, и синтетическая химия — ее принципы. стратегия и методы.

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

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

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

Учебное пособие разработано в соответствии с требованиями ФГОС ВО подготовки выпускников по специальности 10.05.03 - «Информационная безопасность автоматизированных систем», направлениям 15.03.04 – «Автоматизация технологических процессов и производств», 27.03.04 – «Управление в технических системах». Оно предназначено для закрепления теоретических знаний по дисциплинам блока Б1 «Дисциплины».

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

Предназначено для студентов, обучающихся по специальности 13.02,10, Электрические машины и аппараты.

Разработаны основы теплового конструирования электронных блоков с использованием типовых несущих конструкций. Предложены методы расчёта температурных режимов в электронных устройствах.

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

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

Пособие соответствует учебному плану магистерской подготовки по дисциплине «Основы радиовещания и телевидения». Представлены различные методы построения современных радио и телевизионных систем, принципов формирования, распространения по каналам связи и приема радио и телевизионных сигналов, ознакомление с действующими стандартами в этой области. Рассмотрены особенности светового и звукового восприятия человека, механизмы преобразования оптического сигнала в электрический и способы синхронизации телевизионных сигналов. Описываются методы их преобразования, пространственного и временного сжатия видеосигнала. Рассмотрены различные носители, используемые для записи и хранения видео и аудио информации. Приводится описание стандартов вещания аналогового телевизионного черно-белого и цветного изображения. В пособии также рассмотрены стандарты цифрового телевизионного вещания DVB, методы канального кодирования и модуляции цифрового сигнала, а также принципы построения систем условного допуска. Приведены блок-схемы телевизионных приемников и рассмотрены принципы работы его различных узлов.

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

Рассмотрены основные методы и средства контроля и диагностики обору дования в системах электроснабжения. Наибольшее внимание уделено основ ным элементам системы - трансформаторам и линиям электропередачи. Рас смотрены также принципы действия приборов контроля и их современные конструкции (отечественные и зарубежные). Приведены авторские оригиналь ные разработки и проблемы и перспективы развития приборостроения в элек троэнергетике. Пособие позволит сформировать у студентов современный под ход к выбору и проектированию приборов контроля и диагностики при внедре нии интеллектуальных электрических сетей.

Предназначено для студентов высших технических учебных заведений по направлению «Приборостроение», изучающих дисциплины «Электротехника», «Приборы контроля и диагностики в электроэнергетике», «Основы проектиро вания приборов и систем» и «Информационно-измерительные системы»

В книге в компактной и доступной форме описано применение компьютерных программ для всех стадий проектирования электрических схем. Приведенных сведений вполне достаточно, чтобы начать использовать программы в качестве эффективного рабочего инструмента конструктора электронной техники. Охват сразу нескольких программ для различных стадии проектирования выгодно отличает книгу от подобных изданий, в ней последовательно описаны приемы работы с популярными на рынке sPlan 7.0, Mathcad Express, N1 Multisim 14, Sprint Layout 6.0.

Материал книги излагается доступным языком, последовательно, с большим количеством примеров. Пособие оригинально по содержанию, представляет несомненный интерес и будет полезно широкому кругу читателей - от инженеров-электронщиков до радиолюбителей.

В учебном пособии изложены теоретические положения и рекомендации по решению задач проектирования электроэнергетических систем в рамках основных разделов дисциплины «Электрические системы и сети».

Скорость и точность настройки адаптивных систем во многом определяется флуктуациями весового вектора. Статистический анализ адаптивных антенных решёток с различными алгоритмами настройки с учётом флуктуаций весового вектора показал, что флуктуации приводят к искажениям выходного сигнала ААР и появлению в статистических характеристиках антенных решёток дополнительных слагаемых, обусловленных флуктуациями.

Рассмотрены нормы и требования, касающиеся ремонта устройств электроснабжения объектов, а также структура эксплуатационно-ремонтных предприятий железных дорог; описаны способы обнаружения и устранения неисправностей электрооборудования. Уделено внимание охране труда при производстве работ, учтены требования нормативных актов по хозяйству электрификации и электроснабжения, использован положительный опыт эксплуатации устройств электроснабжения на железных дорогах ОАО «РЖД». Описана технология выполнения и приведены объемы текущего, среднего, капитального ремонтов, даны сведения о необходимой документации, в том числе о технологических картах, инструкциях и типовых нормах времени и трудозатрат. Определены организационные основы ремонта устройств электроснабжения, приведены систематизированные сведения по технологии ремонта электрооборудования тяговых подстанций и линий электропередачи. Помимо теоретического материала, в учебном пособии представлены практические и лабораторные работы но технологии ремонтов электрооборудования, соответствующие теоретическим положениям книги.

Предназначено для студентов техникумов и колледжей железнодорожного транспорта, обучающихся по специальности «Электроснабжение», и может быть полезно для работников, занятых проектированием, строительством, эксплуатацией и ремонтом устройств электроснабжения на железнодорожном транспорте.

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

Книга полезна для дополнительного образования школьников, учащихся колледжей и студентов вузов, преподавателей и посетителей творческих кружков по профилю «Радиоэлектроника», а также для широкого круга читателей и специалистов в области электроники.

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

Книга полезна для дополнительного образования школьников, учащихся колледжей и студентов вузов, преподавателей и посетителей творческих кружков по профилю «Радиоэлектроника», а также для широкого круга читателей и специалистов в области электроники.

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

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

Пособие содержит практические работы по учебной дисциплине «Системы управления оборудованием» и предусматривает закрепление теоретических знаний по темам «Программирование однокристальных микроЭВМ (микроконтроллеров)», «Программирование программируемых логических контроллеров Siemens».

Предназначено для учащихся учреждений среднего специального образования, а также преподавателей для организации практических работ по специальности «Мехатроника».

Учебное пособие содержит материал по первой части специальной учебной дисциплины «Сети связи и системы коммутации», читаемой для бакалавров дневного и заочного отделений по направлению подготовки 11.03.02 «Инфокоммуникационные технологии и системы связи». В пособии рассматриваются базовые принципы построения и функционирования цифровых систем коммутации. Основное внимание уделено изучению систем коммутации каналов, рассмотрены также перспективные системы, включающие оборудование пакетной коммутации.

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

Предназначено для студентов направления подготовки бакалавров 11.03.04 «Электроника и наноэлектроника»

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

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

Теория абелевых многообразий — один из самых ярких и важных в приложениях разделов алгебраической геометрии. Ее классический аспект связан с именами Абеля, Римана, Пуанкаре, а фундамент абстрактной теории заложен А. Вейлем.

В этой книге впервые в мировой литературе изложены оба аспекта теории с единой точки зрения, с использованием новейших концепций и технических средств. Ее автор, молодой американский математик, известен советскому читателю по книге “Лекции о кривых на алгебраической поверхности” (“Мир”, 1968).

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

Монография известного ученого, вице-президента Академии наук Польской Народной Республики, иностранного члена АН СССР Казимира Куратовского — выдающееся явление в математической литературе. Она представляет собой наиболее полное и легко читаемое сочинение, охватывающее большинство разделов современной общей топологии. Монография выдержала три издания на французском языке.

В последние годы текст книги был значительно переработан автором. Перевод первого тома нового, исправленного и дополненного издания был выпущен в 1966 г. (изд-во «Мир») и получил высокую оценку советской научной общественности.

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

Монография известного ученого, вице-президента Академии наук Польской Народной Республики, академика Казимира Куратовского — выдающееся явление в математической литературе. Она представляет собой наиболее полное и легко читаемое сочинение, охватывающее большинство разделов современной топологии.

Монография выдержала три издания на французском языке (третье издание — Варшава, 1961). Текст первого тома значительно переработан автором и подготовлен для одновременного издания на русском и английском языках. В настоящее время автор работает над рукописью второго тома.

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

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

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

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

В монографии Р. Годемана дается единственное в мировой литературе систематическое изложение новой области современной топологии — теории пучков. Эта теория, разработанная в самое последнее время, является мощным аппаратом исследования в различных областях современной алгебры, геометрии и анализа.

Книга рассчитана на математиков — научных работников, аспирантов и студентов старших курсов.

Книга написана представителями известной школы геометров Массачусетского технологического института (США) и представляет собой введение в современную дифференциальную геометрию. Авторы начинают с изложения основных понятий, переходя затем к изучению глобальной структуры римановых многообразий. Эта книга выделяется не только современным подходом и четким изложением, но также и своеобразным расположением материала, содержащего много удачно подобранных задач — от тривиальных до самых трудных.

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

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

Книга вводит читателя в область топологии, известную под названием «теория размерности». Эта область посвящена нахождению и изучению достаточно простых и имеющих наглядный смысл закономерностей, связывающих весьма общие математические объекты — топологические пространства — с основными геометрическими образами — линиями, поверхностями, многообразиями трех и больше измерений.

Авторы не стремятся к изложению многочисленных, доказанных в последнее время теорем, относящихся к теории размерности; напротив, они выделяют из них те, которые являются достаточно общими, чтобы требовать применения теоретико-множественных методов, и достаточно содержательными, чтобы представлять общематематический интерес.

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

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

Отечественная литература по алгебраической геометрии до сих пор крайне бедна. Рассматриваемая монография заполняет поэтому важный пробел в научной литературе. Ее особенность — очень богатое содержание при сравнительно небольшом объеме.

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

В 1921 году появилось сообщение о крупном исследовании в области алгебры логики, выполненном известным американским математиком Э. Постом. Однако только через 20 лет, в 1941 году, автору удалось оформить этот труд в виде монографии «Two-valued iterative systems»*. Основным результатом этой работы является построение всех подалгебр (замкнутых систем) алгебры логики.

Это дало возможность сильно продвинуть разработку проблематики полноты. Здесь следует упомянуть установление для каждой замкнутой системы необходимых и достаточных условий полноты, позволяющих выяснять возможность порождения этой системы из данной ее подсистемы.

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

Учебное пособие соответствует программе курса «Математическая логика» для пединститутов. Рассматривается теория алгебры высказываний, алгебры предикатов, исчисления высказываний и предикатов. Изложение сопровождается рядом примеров, способствующих усвоению логики математических методов. Включены задачи и упражнения по каждому из разделов.

Предназначается для студентов пединститутов.

В книге рассказывается о том, как можно формально описать свойства хорошо знакомых всем отношений, указанных в заглавни.

На этом примере выясняется, как происходит переход от привычных, но неточных понятий к строгим математическим определениям.

Необходимость строгого описания простейших отношений возникает в математической логике, кибернетике, математической лингвистике и т. п. Простейшим примерам из математической лингвистики посвящена последняя глава книги.

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

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

Предлагаемая вниманию читателей книга сочетает в себе (относительную) простоту изложения с почти энциклопедической полнотой содержания. Ее выход в русском переводе будет полезен широкому кругу советских читателей.

Предлагаемая вниманию читателей книга Дж. Шенфилда посвящена изложению основных результатов о степенях неразрешимости (тьюринговых степенях). Эти результаты традиционно считаются трудными, так как в их доказательствах используются различные формы так называемого «метода приоритета». Автор книги поставил перед собой цель изложить материал в максимально простой и интуитивно оправданной форме.

И нужно сказать, что это ему в основном удалось. Педагогическое мастерство автора, известного уже советскому читателю по переводу его книги «Математическая логика» («Наука», М., 1975), позволило ему создать небольшую книгу, которая содержит практически все принципиально важные результаты о рекурсивно перечислимых степенях и которая тем не менее доступна для широких кругов читателей — математиков, интересующихся современными достижениями теории алгоритмов. Стоит, однако, предупредить, что чтение книги потребует от читателя напряженного внимания.

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

Выявлены общие принципы переработки информации человеком — укрупненные действия, объединение логических элементов, в ходе которого образуются системы «вложенных» алгоритмов.

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

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

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

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

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

В основу учебника положен курс логики, читавшийся на философском факультете Ленинградского университета в течение ряда лет.

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

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

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

Содержавшееся в этом томе Введение (стр. 15—63) по существу представляет собой самостоятельное литературное произведение, которое с интересом и пользой может читаться самым широким кругом научных работников, интересующихся вопросами математической логики.

Развитие современной науки все с большей необходимостью ставит вопрос о тесном союзе естествоиспытателей, математиков и философов.

Необходимость укрепления союза естествознания, математики, с одной стороны, и марксистской философии — с другой, еще более возрастает в связи с принятием XXII съездом КПСС новой программы строительства коммунизма в нашей стране.

Н. С. Хрущев в докладе «О программе Коммунистической партии Советского Союза» отмечает, что «коммунистическое общество будет иметь самую развитую технику, самое развитое и организованное производство, самые совершенные машины». В связи с этим в огромной мере возрастает значение комплексной механизации и автоматизации производства.

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

Понятия алгоритма и вычислимой функции являются одними из центральных понятий современной математики. Их роль в математике середины XX в. можно, пожалуй, сравнить с ролью понятия множества в математике конца XIX в.

Настоящие «Лекции» посвящены изложению основ теории вычислимых функций (проводимому на базе принятого в настоящее время отождествления их — для случая функций с натуральными аргументами и значениями — с частично-рекурсивными функциями), а также некоторым приложениям этой теории.

В 1961 г. в Хаарлеме (Нидерланды) вышла небольшая книжка «Exacte logica» («Точная логика»). Автор ее профессор Х. Фрейденталь — известный голландский математик с весьма широкими интересами; развивая традиции отечественной школы интуиционистов, он еще в 30-е годы внес существенный вклад в построение интуиционистской топологии; в последние годы большую популярность завоевала книга Фрейденталя «Lincos» («Lingua cosmica»), описывающая предложенный им «космический язык».

«Exacte logica», впрочем, рассчитана на читателей, в большинстве своем не только ничего не слышавших ни про интуиционизм, ни про топологию, ни про математическую лингвистику (о космосе, правда, в наши дни говорят с детства…), но и о логике знающих лишь то, что это что-то средневековое…

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

Понятие модели возникло в математике еще в девятнадцатом веке. Вплотную к нему подошел Н. И. Лобачевский, но в полной мере оно появилось в работах Э. Бельтрами и Ф. Клейна, посвященных непротиворечивости геометрии.

В дальнейшем понятие модели развивается и уточняется в связи с развитием формальных теорий и становится одним из основных понятий семантики символических языков.

Современная формулировка понятия модели и других понятий семантики (например, понятия истинности формулы узкого исчисления предикатов, понятия теории классов алгебраических систем и др.) сложилась в конце двадцатых и в начале тридцатых годов в работах Д. Гильберта и А. Тарского.

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

Вышедшая в 1936 г. на польском языке, она появилась в 1937 г. в немецком переводе, но была выпущена известным немецким книгоиздательством Шпрингера не в Германии, а в Вене. Правда, это не помогло издательству: часть издания, которую оно не успело распространить до “аншлюса”, так и осталась лежать на его складах… по соображениям расового порядка. В 1941 г. просмотренное и дополненное издание книги вышло на английском языке в Нью-Йорке. С этого издания и выполнен русский перевод.

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

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

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

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