Основания математики. В 2-х книгах. Книга 1. Логические исчисления и формализация арифметики
Серия: Математическая логика и основания математики. Перевод с немецкого Н.М. Нагорного. Под ред. С.И. Адяна.
790 р.
Авторы:
Гильберт Д.
(1)
Бернайс П.
(1)
Издательство: Наука.
Место издания: Москва
Тип переплёта: Твердый переплет. Суперобложка.,
Год издания: 1979
Формат: Увеличенный формат.
Состояние: книга - почти отличное; супер - хорошее(+), потерт
Количество страниц: 560 с.
На остатке: 1
790 р.
Аннотация
Двухтомная монография Д. Гильберта и П. Бернайса `Основания математики` занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в 30-х годах, подвело итог процессу становления математической логики как самостоятельной дисциплины со своей проблематикой и своими методами, отличающаяся исключительной глубиной содержания и тщательностью изложения, монография Гильберта и Бернайса пользуется большой популярностью среди специалистов и оказывает влияние на развитие математической логики./// Содержание: 1. Проблема непротиворечивости в аксиоматических исследованиях как логическая проблема разрешимости./ 2. Элементарная арифметика. Финитный способ рассуждений и его границы./ 3. Формализация процесса логического вывода. I. Исчисление высказываний./ 4. Формализация процесса вывода. II. Исчисление предикатов./ 5. Исчисление предикатов с равенством. Полнота одноместного исчисления предикатов./ 6. Непротиворечивость существования бесконечных индивидных областей. Начала арифметики./ 7. Рекурсивные определения./ 8. Понятие «тот, который» и его устранимость.
(1719 продаж с 2017 г.)
Оплата: Только предоплата
Способы оплаты:
- Оплата на карту СБЕРБАНКА;
- Яндекс.Деньги;
Доставка: Только по России
Способы доставки:
- почта России;
Стоимость доставки:
- По тарифам Почты России + упаковка
Отправка заказов:
- Отправка в течении 3 дней
Почтовый идентификатор:
- высылается всегда
Дополнительные сканы и фото:
- Не высылаются
Торг по цене:
- не возможен
Хранение неоплаченных заказов:
- 7 (дней)
Аннотация
Двухтомная монография Д. Гильберта и П. Бернайса `Основания математики` занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в 30-х годах, подвело итог процессу становления математической логики как самостоятельной дисциплины со своей проблематикой и своими методами, отличающаяся исключительной глубиной содержания и тщательностью изложения, монография Гильберта и Бернайса пользуется большой популярностью среди специалистов и оказывает влияние на развитие математической логики./// Содержание: 1. Проблема непротиворечивости в аксиоматических исследованиях как логическая проблема разрешимости./ 2. Элементарная арифметика. Финитный способ рассуждений и его границы./ 3. Формализация процесса логического вывода. I. Исчисление высказываний./ 4. Формализация процесса вывода. II. Исчисление предикатов./ 5. Исчисление предикатов с равенством. Полнота одноместного исчисления предикатов./ 6. Непротиворечивость существования бесконечных индивидных областей. Начала арифметики./ 7. Рекурсивные определения./ 8. Понятие «тот, который» и его устранимость.
Аналогичные книги смотрите в разделах:


