#777
Год выпуска: 1982
Описание: Двухтомная монография Д.Гильберта и П.Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Отличающаяся исключительной глубиной содержания и тщательностью изложения, монография Д.Гильберта и П.Бернайса пользуется большой популярностью среди специалистов.
Том 1: Основания математики. Логические исчисления и формализация арифметики
Том 2: Основания математики. Теория доказательств
Количество страниц: 557+653

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

#777
Год выпуска: 1970
Формат: DjVu
Описание: Настоящая книга объединяет переводы книг Гудстейна "Рекурсивная теория чисел" и "Рекурсивный анализ".
Количество страниц: 472

#777
Год выпуска: 1979
Формат: DjVu
Описание: В книге частично представлено содержание нескольких курсов по интуиционистской математике, которые автор читал в течение ряда лет на механико-математическом факультете МГУ.
Количество страниц: 128 - файл. Сканировано разворотами по 2 страницы.

#777
Год выпуска: 1980
Формат: DjVu
Описание: Современное развитие математики и электронно-вычислительной техники приводит к тому, что понятие алгоритма становится одним из важнейших понятий современной математики. Теория алгоритмов, наряду со своим внешним успехом и яркими внутренними достижениями, оказывает плодотворное влияние и на смежные разделы математики. Так, например, в алгебре и теории чисел кроме традиционных появились и новые естественно поставленные алгоритмические проблемы, связанные с успешным использованием в этих теориях языка логики первого порядка. Настоящая книга имеет целью ознакомить читателей с важнейшими из таких проблем (указанными в названии книги).
Эта новая проблематика — выявление алгоритмической природы элементарных теорий и их моделей — возникла на стыке теории моделей и теории алгоритмов.
Количество страниц: 416

#777
Год выпуска: 1977
Описание: Предлагаемая читателю книга представляет собой введение в проблематику и методы теории нумераций - нового развивающегося раздела теории алгоритмов.
Количество страниц: 208 - файл, 416 - книга. Сканировано разворотами по 2 страницы.

#777
Год выпуска: 1967
Описание: Эта книга представляет собой сборник переводов (единственное исключение составляет статья Г. Е. Минца; см. ниже) статей по теории логического вывода. Возросший за последнее время интерес к этой области математической логики вызван бурным развитием «машинной логики», в частности, появлением многочисленных работ, посвященных машинному доказательству теорем.
В сборнике представлены как работы, ставшие уже классическими, так и некоторые работы последних лет. Из многочисленных в настоящее время исследований по теории логического вывода в сборник отобраны работы, связанные с наиболее интересными (с точки зрения составителей) этапами развития этой теории.
Количество страниц: 351

#777
Год выпуска: 1978
Формат: DjVu
Описание: Предлагаемая монография, написанная С. К- Клини в сотрудничестве с Р.Ю.Весли, суммирует многолетние исследования старшего из авторов (С.К.Клини), посвященные основаниям и интерпретациям интуиционистской математики. В книге строится и изучается формализм, который можно рассматривать как расширение формальной интуиционистской арифметики, развитой в известной монографии Клини «Введение в метаматематику», и который позволяет изложить широкие разделы интуиционистского анализа, включая теорию последовательностей выбора и брауэровскую теорию континуума. Не заменяя живую интуиционистскую математику (и не претендуя на такую замену), формализация позволяет четко фиксировать сравнительно небольшое число исходных принципиальных концепций и тем самым даст возможность быстро войти в круг рассматриваемых вопросов математикам, не ориентирующимся в философии интуиционизма.
Количество страниц: 136 - файл. Сканировано разворотами по 2 страницы.

#777
Год выпуска: 1973
Формат: DjVu
Описание: В основу настоящей книги положен специальный курс, читавшийся автором на механико-математическом факультете Московского университета. Излагаемый материал не предполагает почти никаких предварительных знаний и вполне доступен читателю, владеющему стандартным курсом математического анализа. Более подробная характеристика книги приведена в п. 9 введения.
Количество страниц: 448

#777
Год выпуска: 1984
Формат: DjVu
Описание: В книге на основе понятия нормального алгорифма излагается общая теория алгорифмов и некоторые ее применения. Значительное внимание уделяется логическим и, в частности, семантическим аспектам этой теории.
Для математиков, интересующихся основаниями математики, математической логикой и теорией алгорифмов.
Количество страниц: 217 - файл, 432 - книга. Сканировано разворотами по 2 страницы.

#777
Год выпуска: 1977
Количество страниц: 328 - книга, 165 - файл. Сканировано разворотами по 2 страницы.
Описание: Настоящая книга написана на основе лекций, читавшихся автором во второй половине пятидесятых годов. В ней издагаются вопросы математической лигики, не рассмотренные в первой книге. В этом смысле она как бы дополняет предыдущую книгу. В то же время книга написана так, что её можно читать независимо от предудыщей. В частности, в ней подробно изгалается весь нужный по ходу дела материал, относящийся к классическим лоогическим исчислениям. В книге рассматриваются интерпретации конструктивных формальных систем в классических терминах и с использованием средств классической математики. Вопросы семантики конструктивной лигики изложены в ней в оригинальной и доступной для читателя форме. Доказательства основных утверждений приводятся во всех деталях. Только в последней главе опущены доказательства некоторых утверждений, относящихся к теории рекурсивных функций и теореме Гёделя о неполноте формальной
арифметики.
Язык: Русский

#777
Год выпуска: 1973
Количество страниц: 400 - книга, 200 - файл. Сканировано разворотами по 2 страницы.
Описание: Настоящее издание (в раздаче - второе, исправленное издание) по содержанию не отличается от первого издания. В нем исправлены опечатки и заменены устаревшие термины. В частности, удален термин «истинная в данном исчислении формула», который в первом издании использовался как синоним термина «выводимая в данном исчислении формула». Таким образом, исключена возможность смешения этого
понятия с содержательной истинностью формул.

#777
Год выпуска: 1972
Количество страниц: 295 - файл, 591 - книга. Сканировано разворотами по 2 страницы.
Описание: Название этой книги —вовсе не каламбур, как это может показаться на первый взгляд.
Метаматематика— это теория, изучающая формализованные математические теории. Формализованная теория—это, грубо говоря, множество некоторых конечных последовательностей символов, называемых формулами и термами, и множество некоторых простых операций, производимых над этими последовательностями. Формулы и термы, получаемые с помощью нескольких простых правил, служат заменой для предложений и функций интуитивной математической теории. Операции над формулами соответствуют элементарным шагам дедукции в математических рассуждениях. Формулы, соответствующие аксиомам интуитивной теории, играют особую роль — они являются аксиомами формализованной теории. Формулы, которые могут быть выведены из аксиом посредством принятых операций, соответствуют теоремам теории. (Из авторского предисловия)

#777
Год выпуска: 1967
Описание: В последние годы сильно ощущается отсутствие в советской литературе книг, содержащих основные методы и теоремы теории моделей и предназначенных для первоначального изучения. Этот пробел будет в некоторой степени заполнен предлагаемым советскому читателю переводом книги А. Робинсона, известного математика, внесшего существенный вклад в теорию моделей. А. Робинсону принадлежит теория идеалов, нестандартный анализ, метод модельной полноты и др. А. Робинсон является также страстным пропагандистом теории моделей и главой Иерусалимской школы. Книга А. Робинсона, возникшая из переработки трех его старых монографий ([1], [3], [9]), является пока лучшей книгой в мировой литературе для первоначального ознакомления с теорией моделей и содержит основные достижения теории моделей узкого исчисления предикатов, полученные до 1963 г. В ней подробно изложены основные теоремы общей теории классов моделей и основные методы доказательства разрешимости теории. Из методов доказательства разрешимости теории, применявшихся в последние годы для решения конкретных задач и не изложенных в книге А. Робинсона, можно отметить метод перекидывания.
Количество страниц: 376

#777
Год выпуска: 1981
Формат: DjVu
Описание: В этой книге в систематической форме и, фактически, начиная с «азов», излагается обширный комплекс математических результатов, касающихся ряда фундаментальных понятий, предназначенных для точного описания и исследования формально-дедуктивного метода в математике и тесно связанного с этим методом понятия алгорифма.
Количество страниц: 208

#777
Год выпуска: 1970
Формат: DjVu
Описание: Настоящая книга посвящена поведенческой (или, как говорят еще, абстрактной) теории автоматов, в которой поведение автомата изучается при максимальном отвлечении от его конструктивных особенностей. Соответственно под синтезом автомата подразумевается построение его программы (а не структурной схемы, как это имеет место в структурной теории автоматов).
Количество страниц: 200 - файл. Сканировано разворотами по 200 страниц.

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

#777
Год выпуска: 1974
Формат: DjVu
Описание: Модальная логика занимается изучением так называемых модальностей — прежде всего необходимости и возможности: того, что «должно быть», и того, что «может быть».
Настоящая книга задумана как учебник модальной логики, дающий введение в предмет и современную его картину в целом. Основной упор сделан на дедуктивную проблематику; философские вопросы затрагиваются лишь постольку, поскольку это необходимо для наглядного представления рассматриваемых понятий.
Количество страниц:

#777
Год выпуска: 1983
Формат: DjVu
Описание: Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем «искусственного интеллекта». Описываются применения метода к таким, например, актуальным для всякого системного программиста задачам, как автоматический анализ и синтез программ В приложении описаны другие методы и некоторые результаты последних лет, знакомство с которыми необходимо при изучении проблематики автоматического доказательства теорем.
Количество страниц:

#777
Год выпуска: 1975
Количество страниц: 527 - книга, 265 - файл. Сканировано разворотами по 2 страницы.
Описание: Книга известного американского логика Дж.Шенфилда посвящена основам современной математической логиги и теории алгоритмов. В книге систематически изучаются такие важные разделы, как теории первого порядка, теория моделей, вычислимость, иерархии, формальная арифметика, аксиоматическая теория множеств. Имеются два приложения: одно алгебраическое - проблема тождества слов в группах, другое - изложение результатов, связанных с исследованиями континуум-гипотезы в аксиоматической теории множеств. Является одним из основных источников для изучения оснований математики.

#777
Год выпуска: 1977
Формат: DjVu
Описание: Предлагаемая вниманию читателей книга Дж. Шенфил-
да посвящена изложению основных результатов о степенях
неразрешимости (тьюринговых степенях). Эти результаты
традиционно считаются трудными, так как в их доказатель-
доказательствах используются различные формы так называемого
«метода приоритета». Автор книги поставил перед собой
цель изложить материал в максимально простой и ин-
интуитивно оправданной форме. И нужно сказать, что это
ему в основном удалось.
Количество страниц: 192

#777
Год выпуска: 1966
Формат: DjVu
Описание: Работа состоит из двух частей. В гл. 1 первой части вводятся основные понятия алгебры логики и приводится ряд общих теорем. Эта глава по своему содержанию тесно примыкает к работе одного из авторов. В гл. 2-4 первой части рассматриваются некотрые специальные замкнутые классы и связанные с ними итерационные свойства. В связи с этим доказывается большое количество лемм. Основные построения производятся в следующей части. В гл. 1 второй части строятся замкнутые классы функций алгебры логики. Здесь же показывается, что других замкнутых классов нет, каждый замкнутый класс порождается своей конечной подсистемой и т. п. В гл. 2 монтируется структура всех замкнутых классов, исходя из структур для отдельных групп замкнутых классов. На основе этого уточняются некоторые теоремы гл. 1 и формулируются теоремы о полноте.
Количество страниц: 120 - книга, 61 - файл. Сканировано разворотами по 2 страницы.