• формат djvu
  • размер 5.8 МБ
  • добавлен 22 января 2011 г.
Гильберт Д., Бернайс П. Основания математики. Логические исчисления и формализация арифметики. Теория доказательств. Том 1
М.: Наука, 1979. - 557 с.

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

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

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

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

  • формат djvu
  • размер 7.54 МБ
  • добавлен 22 января 2011 г.
М.: Наука, 1982. - 652 с. Двухтомная монография Д. Гильберта и П. Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в тридцатых годах, подвело итог процессу становления математической логики как самостоятельной математической дисциплины со своей проблематикой и своими методами. Эта книга оказала решающее влияние на дальнейшее развитие математической логики. Отличаю...

Гудстейн Р.Л. Рекурсивный математический анализ

  • формат djvu
  • размер 3.15 МБ
  • добавлен 24 сентября 2010 г.
М. , 1970. 472 с. Рекурсивная теория чисел. Определение по рекурсии. Исчисление равенств. Логические константы. Основные теоремы арифметики. Формализация примитивно рекурсивной арифметики. Сведения к примитивной рекурсии. Устранение параметров. Гёделевская нумерация и неполнота арифметики. Рекурсивный анализ. Рекурсивная сходимость. Рекурсивная и относительная непрерывность. Рекурсивная и относительная дифференцируемость. Относительный интеграл....

Ершов Ю.Л., Палютин Е.А. Математическая логика

  • формат pdf
  • размер 11.76 МБ
  • добавлен 25 ноября 2011 г.
М.: Наука, 1987. - 336 с. В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.

Ершов Ю.Л., Палютин Е.А. Математическая логика: Учеб. пособие для вузов

  • формат djvu
  • размер 5.22 МБ
  • добавлен 28 декабря 2008 г.
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.

Клини С.К., Весли Р.Е. Основания интуиционистской математики

  • формат djvu
  • размер 2.3 МБ
  • добавлен 06 июня 2009 г.
М., Наука, 1978. - 272 с. ОГЛАВЛЕНИЕ. От переводчиков. Предисловие. Формальная система интуиционистского анализа. Введение в монографию. Статус формальной системы. Правила образования. Постулаты исчисления предикатов, арифметики и касающиеся функций (постулаты групп А — С). Постулаты для некоторых примитивно рекурсивных функций и их следствия (постулаты группы D). Постулаты для потоков (бар-теорема). Постулаты, касающиеся сопоставления функций...

Лекции по математической логике

Статья
  • формат doc
  • размер 168.15 КБ
  • добавлен 05 сентября 2008 г.
Лекции по математической логике. Основные понятия с примерами. Теория алгоритмов, Булевы функции, Логические Исчисления, Предикаты и кванторы.rn

Математическая логика и основания математики (23 выпуска)

  • формат djvu
  • размер 105.57 МБ
  • добавлен 05 ноября 2010 г.
М., Физматгиз, Наука, 1959-1984. В 1959 году Физматгиз (впоследствии - издательство Наука) приступил к реализации беспрецедентного проекта по изданию серии Математическая логика и основания математики. Большинство литературных источников по математической логике на русском языке увидело свет в рамках этого проекта и к настоящему времени превратилось в недоступные широкому кругу читателей раритеты. Список книг, представленных в серии: Гильберт Д.,...

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

  • формат pdf
  • размер 2.31 МБ
  • добавлен 19 сентября 2010 г.
Учебное пособие. Ижевск, 2000. 529 с. Язык математики. Необходимость точного языка в математике. Как и почему появился язык математической логики? Зачем изучать формальный язык математики? Простейшие высказывания. Что такое высказывание? Математическая интерпретация высказываний. Предметы и универс. Термы. Предикаты и элементарные формулы. Некоторые обозначения. Запись высказываний. Логические формулы. Связка ‘и’. Связка ‘или’. Связка ‘следует’....

Такеути Г. Теория доказательств

  • формат djvu
  • размер 3.26 МБ
  • добавлен 20 марта 2011 г.
М.: Мир, 1978, 412 с., УДК 517.11,517.12 Перевод с английского Соболева С. К., под ред. Адяна С. И. Книга посвящена одному из основных разделов математической логики — теории доказательств. Кроме традиционных результатов по системам первого порядка, таких, как устранимость сечении и полнота интуиционистского и классического исчислений предикатов, неполнота и непротиворечивость арифметики в книге приводятся недавние достижения в этой области, вклю...