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

Работа профессора А. И. Попова является первой советской книгой, в которой даётся общий очерк математической логики. В книге дан краткий исторический обзор возникновения математической логики, популярно излагаются основные направления современной математической логики, особое внимание уделяется вопросу о соотношении математической и классической (формальной) логики, рассматривается место математической логики в системе научного познания. В работе указываются практические приложения математической логики как основы для конструирования и работы разнообразных "умных" и "думающих" машин. Книга рассчитана на научных работников, аспирантов, студентов и учителей средней школы, а также на широкие круги читателей, интересующихся философией, логикой и математикой.

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

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

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

Книга представляет собой курс лекций, прочитанных автором в Объединённом институте ядерных исследований (г. Дубна). В ней приведено систематизированное изложение теории изотопической инвариантности, унитарной симметрии и симметрии SU(6) элементарных частиц и их взаимодействий: сильных, слабых и электромагнитных. Даётся также обзор составных моделей элементарных частиц, и предсказания теории сравниваются с опытом. Обсуждены возможности дальнейшей экспериментальной проверки следствий теории. Книга рассчитана на физиков-экспериментаторов и теоретиков, аспирантов и студентов старших курсов, специализирующихся в теории элементарных частиц.

В книге излагается доказательство независимости гипотезы континуума от остальных аксиом теории множеств— один из самых интересных и ярких результатов, полученных в математике за последнее десятилетие. Именно за этот результат ее автор, профессор Станфордского университета П. Коэн, был удостоен медали Филдса на последнем Международном конгрессе. математиков (Москва, 1966). Книга, несомненно, заинтересует широкий круг математиков, в первую очередь специалистов по теории множеств, математической логике и основаниям математики. Она будет полезна преподавателям, аспирантам и студентам старших курсов университетов и пединститутов.

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

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

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

Понятие "я" ассоциируется в нашем сознании с тремя главными идеями. Во-первых, оно обозначает тождественность, "самость" лица, его единство и отличие от всех других людей и объектов; во-вторых, его субъектность, активно-деятельное начало, благодаря которому человек отличает себя от процесса и результатов своей деятельности и осуществляет внешний и внутренний самоконтроль; в-третьих, его "внутренность", нечто интимно-приватное, что проявляется в свойствах и поступках человека, но никогда не сводится к ним и потому не может быть познано извне. Ибо, как писал М. М. Бахтин, "чужие сознания нельзя созерцать, анализировать, определять как объекты, как вещи,- с ними можно только диалогически общаться". Но каково соотношение разных "измерений" "я" и чем определяются свойства индивидуального самосознания? Этот вопрос важен не только для дифференциальной психологии, изучающей различия между индивидами, но и для психологии исторической, прослеживающей развитие личности и ее психических процессов в связи с историей культуры. Историческая психология - междисциплинарная область исследований; наряду с немногочисленными психологами (А. Р. Лурия, А. Н. Леонтьев) ею успешно занимаются у нас литературоведы (М. М. Бахтин, Д. С. Лихачев, С. С. Аверинцев, Л. Я. Гинзбург, В. Н. Ярхо), историки (А, Я. Гуревич, Л. М. Баткин) и представители других наук. История становления образа "я" в европейской культуре нового времени, составляющая предмет этого очерка, продолжающего мои прежние новомирские статьи, не только проясняет исторические истоки нашего самосознания, но и позволяет глубже понять проблему соотношения индивидуальности и индивидуализма, имеющую важное значение в современной борьбе идей и идеологий.

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

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

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

Methods of recursive identification deal with the problem of building mathematical models of signals and systems on-line, at the same time as data is being collected. Such methods, which are also known as adaptive algorithms or sequential parameter estimation methods, may be applied to a wide spectrum of online adaptive systems, such as devices for signal processing, prediction, or control and are useful for modeling systems in general. For example, they can be used to analyze the demand for power on an electric generating grid and help the grid adjust to continually changing power needs, or applied to the changing conditions of a papermaking plant, or to monitoring pollution in a river. This book provides a comprehensive and systematic framework for developing, describing, and analyzing such recursive algorithms. It has been carefully designed and organized to meet the needs of readers with different objectives. With a myriad of algorithms now in use, it provides a simple and coherent frame of reference for understanding the subject and will serve as a guide to the large number of choices made available by the advent of inexpensive, powerful digital processors. Readers primarily interested in theory will find a detailed development of convergence analysis and asymptotic distribution results. For graduate students it is a basic introduction to the subject. And for engineers interested in practical applications, the book's earlier theory-oriented chapters are equipped with "user's summaries" that provide direct access to the discussion of practical aspects developed in the final three chapters on implementation and applications.

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

Methods of recursive identification deal with the problem of building mathematical models of signals and systems on-line, at the same time as data is being collected. Such methods, which are also known as adaptive algorithms or sequential parameter estimation methods, may be applied to a wide spectrum of online adaptive systems, such as devices for signal processing, prediction, or control and are useful for modeling systems in general. For example, they can be used to analyze the demand for power on an electric generating grid and help the grid adjust to continually changing power needs, or applied to the changing conditions of a papermaking plant, or to monitoring pollution in a river. This book provides a comprehensive and systematic framework for developing, describing, and analyzing such recursive algorithms. It has been carefully designed and organized to meet the needs of readers with different objectives. With a myriad of algorithms now in use, it provides a simple and coherent frame of reference for understanding the subject and will serve as a guide to the large number of choices made available by the advent of inexpensive, powerful digital processors.