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

Гильберт Д., Аккерман В. Основы теоретической логики

  • формат djvu
  • размер 3.35 МБ
  • добавлен 09 апреля 2009 г.
Москва, 1947. Государственное издательство иностранной литературы. Перевод руководства по элементам математической логики Д. Гильберта и В. Аккермана содержит систематическое построение аппарата. Книга выросла из курса лекций известного математика конца XIX и первых тридцати лет XX вв. Д. Гильберта и написана его учеником Аккерманом. Первоначально книга была намечена как введение в появившуюся позже двухтомную монографию Д. Гильберта и П. Бернайс...

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

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

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

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

Ершов Ю.Л. Проблемы разрешимости и конструктивные модели

  • формат djvu
  • размер 5.19 МБ
  • добавлен 08 июля 2011 г.
М.: Наука, 1980. - 416 с. Серия "Математическая логика и основания математики" Современное развитие математики и электронно-вычислительной техники приводит к тому, что понятие алгоритма становится одним из важнейших понятий современной математики. Теория алгоритмов, наряду со своим внешним успехом и яркими внутренними достижениями, оказывает плодотворное влияние и на смежные разделы математики. Так, например, в алгебре и теории чисел кроме тради...

Идельсон А.В., Минц Г.Е. Математическая теория логического вывода

  • формат djvu
  • размер 3.34 МБ
  • добавлен 08 июля 2011 г.
М.: Наука, 1967. - 351 с. Серия "Математическая логика и основания математики". Эта книга представляет собой сборник переводов статей по теории логического вывода. Возросший за последнее время интерес к этой области математической логики вызван бурным развитием «машинной логики», в частности, появлением многочисленных работ, посвященных машинному доказательству теорем. В сборнике представлены как работы, ставшие уже классическими, так и некотор...

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

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

Молодший В.Н. Очерки по вопросам обоснования математики

  • формат djvu
  • размер 2.66 МБ
  • добавлен 24 апреля 2011 г.
М.: Государственное учебно-педагогическое издательство министерства просвещения РСФСР, 1958. - 232 с. Эта книга - пособие для преподавателей математики средних школ и студентов физико-математических факультетов педагогических институтов. Ее содержание не исчерпывает того, что теперь связывают со словом «введение», когда обращаются к вопросам обоснования математики. На первом месте стоят те вопросы обоснования математики, знание которых может оказ...

Новиков П.С. Конструктивная математическая логика с точки зрения классической

  • формат djvu
  • размер 4.96 МБ
  • добавлен 08 июля 2011 г.
М.: Наука, 1977. - 328 с. Серия "Математическая логика и основания математики". В книге проводится четкое различие между классическими и конструктивными логическими операциями. С этой целью для одноименных операций используются различные обозначения в классическом и конструктивном случаях. Книга доступна широкому кругу читателей. Для ее чтения не требуется специальной подготовки. В то же время, насыщенность разнообразными техническими деталями д...

Смальян Р. Теория формальных систем

  • формат djvu
  • размер 3.92 МБ
  • добавлен 08 июля 2011 г.
М.: Наука, 1981. - 207 с. Серия "Математическая логика и основания математики" В этой книге в систематической форме и, фактически, начиная с «азов», излагается обширный комплекс математических результатов, касающихся ряда фундаментальных понятий, предназначенных для точного описания и исследования формально-дедуктивного метода в математике и тесно связанного с этим методом понятия алгорифма. Фундаментальным теоретическим обобщением выработанных...

Харин Н.Н. Математическая логика и теория множеств

  • формат djvu
  • размер 2.38 МБ
  • добавлен 04 июня 2011 г.
М.: Росвузиздат, 1963. - 192 с. Настоящая работа имеет своей целью показать, что одной из важнейших закономерностей в развитии современной математики является взаимодействие абстрактного и конкретного, что развитие математики отражает развитие объективной действительности, носит диалектический характер. Отсюда следует, что познание сущности математических понятий предполагает диалектико-материалистический подход, так как математика - наука о кол...