8 (905) 200-03-37 Владивосток
с 09:00 до 19:00
CHN - 1.14 руб. Сайт - 21.13 руб.

Готическая неполная теорема Mermond.smullyan Yu Junwei Science Press

Цена: 1 300руб.    (¥61.5)
Артикул: 605523487633

Вес товара: ~0.7 кг. Указан усредненный вес, который может отличаться от фактического. Не включен в цену, оплачивается при получении.

Этот товар на Таобао Описание товара
Продавец:世纪高教图书专营店
Адрес:Пекин
Рейтинг:
Всего отзывов:0
Положительных:0
Добавить в корзину
Другие товары этого продавца
¥116.922 471руб.
¥ 390 2695 684руб.
¥83.21 759руб.
¥ 172 116.52 462руб.
  • Информация о товаре
  • Фотографии

Параметры продукта

Готическая неполная теорема
Используемая цена78.00
Издательнаучная пресса
Издание1
Опубликованная датаЯнварь 2019 года
формат32
Переводчик(США) Raymondm.smullyan (Raymondm.smullyan)      Ю Джунвей
УкраситьМягкая обложка
Количество страниц164
Число слов135000
Кодирование ISBN9787030596345

Введение

Эта книга в основном вводит несовершенную теорему готики. умноженная арифметическая система фортепиано. Основана несовершенная теорема—Первоначальное доказательство причины, доказательство простой согласованности, доказательство, основанное на некоторых основных технических материалах и принцип неэлементной точки, в сочетании с типичными логическими головоломками и результатами доказательств, показало тесную связь между доказательствами и результатами. Модальная логика.
Каталог

Каталог 
Предисловие 
Глава 1 Общая идея доказательства Готора 1 
1.1 Абстрактная форма теоремы Gotor и теорема Taski 5 
1.2 不 不 1 1 11 
ГЛАВА 2 ТАРИФИ АРИФМЕТИЧЕСКИЙ СТАНДАРТ 15 15 
2.1 Язык 2 E 15 
2.2 Прибаврился к коду с готикой 22 
2.3 Tasky Теорема 27 
ГЛАВА 3 ЭКСКАТИЧИКА ПИАНИО АРИФМЕТИКИ 31 
3.1 Аксиома Система П.Е. 31 
3.2 Арифметика системы аксиомы 34 
Глава 4 Нет арифметического расчета 46 
4.1 П.А. 
4.2 Обсуждение*Отношения 58 
Приложение 61 
Глава 5 Сертификат Gothic по причине 64 
5.1 Некоторая абстрактная неполная теорема 66 
5.2 *Полнота 75 
Глава 6 Система Росси 87 
6.1. Некоторая абстрактная неполная теорема, полученная из Розера 88 
6.2 Общий принцип разделения 90 
6.3 Невыразимое предложение Россе 94 
6.4 Сравнение готического предложения и розового предложения 95 
6.5 Больше введения в разделение 98 
Глава 7 Шепадерсон сказал теорема 100 
7.1 Шепадерсон сказал, что теорема 100 
7.2 Правая система Росси 105 
7.3 Вариации невыразимого предложения Роуз 109 
7.4 Подкрепление теоремы Шепадерсона 112 
Глава 8 Определение и диалог 113 
8.1 Определение и полное представитель 113 
8.2 Сильное определение функции в S 115 
8.3 (r) Сильное определение рекурсивной функции 117 
8.4 нет точки движения и готического предложения 120 
8.5 Истинное слово 122 
Глава 9 Последовательность не может доказать 124 
9.1 ПРЕДУПРЕЖДЕНИЕ 124 
9.2 Безусловность консистенции 126 
9.3 Hengjin Predence и Lopher Theomorem 128 
Глава 10 о синдроме и настоящих комментариях 131 
Глава 11 Система пальцев 136 
11.1 Логики ученые об их собственных рассуждениях 136 
11.2 Увеличенное доказательство общего фона 147 
11.3 Тип G Система 151 
11.4 Система режима 155 
Ссылки 159 
Индекс 161