Зарегистрироваться
Восстановить пароль
FAQ по входу

Гильберт Д., Бернайс П. Основания математики. Том 1. Логические исчисления и формализация арифметики

  • Файл формата djvu
  • размером 5,80 МБ
  • Добавлен пользователем , дата добавления неизвестна
  • Описание отредактировано
Гильберт Д., Бернайс П. Основания математики. Том 1. Логические исчисления и формализация арифметики
Перевод с немецкого. — Монография. — М.: Наука, 1979. — 557 с.
Двухтомная монография Д. Гильберта и П. Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в тридцатых годах, подвело итог процессу становления математической логики как самостоятельной математической дисциплины со своей проблематикой и своими методами. Эта книга оказала решающее влияние на дальнейшее развитие математической логики. Отличающаяся исключительной глубиной содержания и тщательностью изложения, монография Д. Гильберта и П. Бернайса пользуется большой популярностью среди специалистов.
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация

Смотри также

Подробнее

Арнольд И.В. Теоретическая арифметика

  • djvu
Москва: Государственное учебно-педагогическое издательство, 1938. — 480 с. Утверждено Всесоюзным комитетом по делам высшей школы в качестве учебного пособия для физико-математических факультетов педагогических институтов. Предполагается, что читатель владеет элементарной математикой в объеме курса средней школы. Книга состоит из двух частей — учения о числе в его...
  • 7,89 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Гильберт Д., Бернайс П. Основания математики. Том 2. Теория доказательств

  • djvu
Монография. — Перевод с немецкого Н.М. Нагорного. — Под ред. С.И. Адяна. — М.: Наука, Главная редакция физико-математической литературы, 1979. — 557 с. — (Математическая логика и основания математики). Двухтомная монография Д. Гильберта и П. Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в...
  • 7,54 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Клини С. Введение в метаматематику

  • pdf
М.: Издательство иностранной литературы, 1957. — 526 с. Книга является самой обширной из имевшихся на момент её выхода в свет монографий по математической логике и теории рекурсивных функций. Она не предполагает со стороны читателя никаких специальных познаний и поэтому может считаться общедоступной. Книга предназначена для глубокого изучения предмета и рассчитана как на...
  • 10,14 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Клини С.К. Математическая логика

  • pdf
Пер. с англ. Ю.А. Гастева. — Под ред. Г.Е. Минца. — М.: Мир, 1973. — 480 с. Имя одного из крупнейших современных специалистов в области математической логики С.К. Клини знакомо советскому читателю по русскому переводу его фундаментального труда "Введение в метаматематику" (ИЛ, 1957), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными,...
  • 19,53 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Колмогоров А.Н., Драгалин А.Г. Математическая логика (Введение в математическую логику + Математическая логика. Дополнительные главы)

  • djvu
М.: КомКнига, 2006. — 240 с. — (Классический университетский учебник). В настоящее издание включены учебники А.Н. Колмогорова и А.Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики....
  • 3,34 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Непейвода Н.Н. Прикладная логика

  • pdf
Учебное пособие. — Ижевск: Удмуртский государственный университет (УдГУ), 2002. — 529 с. — ISBN 5-7029-0074-Х. Язык математики. Необходимость точного языка в математике. Как и почему появился язык математической логики? Зачем изучать формальный язык математики? Простейшие высказывания. Что такое высказывание? Математическая интерпретация высказываний. Предметы и универс. Термы....
  • 2,31 МБ
  • дата добавления неизвестна
  • описание отредактировано
Наверх