Всички Категории
Каталог
КНИГИ
Каталог
КНИГИ

Математическая логика (1975)

  • Издателство: Наука

Математическая логика (1975)

  • Издателство: Наука

Математическа логика (преводна американска книга на руски език)

Автор:   Дж. Шенфилд
Издателство:   Наука
Език:   Руски
Раздел:   Математика
Серия:   Математическая логика и основания математики
Година:   1975
Страници:   528
Корица:   Твърда с обложка, среден формат
Размери (мм):   135 х 205 х 30
Тегло (грама):   501
Етикет:   математическа логика

 

Забележка: неизползвана книга с леко захабена обложка в почти отлично състояние.

Описание
Характеристики
Условия за пазаруване
Описание +

Перевод с английского

И. А. ЛАВРОВА и И. А. МАЛЬЦЕВА

Под редакцией

Ю. Л. ЕРШОВА

*

От вътрешната страна на обложката:

Книга известного американ­ского логика Дж. Шенфилда зна­комит читателя с основами совре­менной математической логики и теории алгоритмов. В книге си­стематически изучаются такие важные разделы, как теории пер­вого порядка, теория моделей, вычислимость, иерархии, фор­мальная арифметика, аксиомати­ческая теория множеств. Имеют­ся два приложения: одно алгеб­раическое — проблема тождества слов в группах, другое — изложе­ние результатов, связанных с ис­следованиями континуум-гипоте­зы в аксиоматической теории множеств. Написанная с глубоким педагогическим тактом, книга со­держит обширный материал, многое из которого на русском языке не публиковалось. В за­рубежной логической литературе в настоящее время книга Дж. Шенфилда стала одним из основных источников для изу­чения оснований математики. Не­сомненно, она представляет боль­шой интерес и для советских спе­циалистов.

Книга может быть рекомендо­вана в качестве учебника по кур­сам математической логики и теории алгоритмов в университе­тах и пединститутах. Книга пред­назначена для всех исследовате­лей, преподавателей, аспирантов и студентов, занимающихся осно­ваниями математики.

Серия «Математическая логика и основания математики» со­стоит  из публикаций, посвящен­ных вопросам теории математи­ческого   доказательства, теории алгоритмов, логическим исчисле­ниям (классическим и конструк­тивным), истории математической логики и оснований математики, а также приложениям математиче­ской логики к вопросам автома­тики и лингвистики. В серию вхо­дят монографии, обзорные работы и сборники   статей   на опреде­ленную тему, принадлежащие пе­ру как отечественных, так и зару­бежных ученых. Они носят раз­личный характер: некоторые из них рассчитаны на широкий круг научных   работников, преподава­телей и студентов, между тем как другие имеют в виду более узкие круги специалистов разных про­филей.

*

ОГЛАВЛЕНИЕ
 
Предисловие редактора 7
Предисловие 9
 
Глава 1. Природа математической логики 11
1.1. Аксиоматические системы (11). 1.2. Формальные системы (13). 1.3. Синтаксические переменные (19).
 
Глава 2. Теории первого порядка 23
2.1. Функции и предикаты (23). 2.2. Функции истинности (25). 2.3. Переменные и кванторы (28). 2.4. Языки первого порядка (31). 2.5. Структуры (37). 2.6. Логические аксиомы и правила (40). Задачи (44).
 
Глава 3. Теоремы в теориях первого порядка 47
3.1. Теорема тавтологии (47). 3.2. Результаты о кванторах (54). 3.3 Теорема дедукции (56). 3.4. Теоремы эквивалентности и равенства (58). 3.5. Пренексная форма (62). Задачи (65).
 
Глава 4. Проблема характеризации 67
4.1. Теорема редукции (67). 4.2. Теорема полноты (70). 4.3. Теорема непротиворечивости (79). 4.4. Теорема Эрбрана (84). 4.5. Добавление функциональных символов (90). 4.6. Расширения с помощью определений (93). 4.7. Интерпретации (98). Задачи (103).
 
Глава 5. Теория моделей 108
5.1. Теорема компактности (108). 5.2. Изоморфизмы и подструктуры (111). 5.3. Мощность моделей (122). 5.4. Совместная непротиворечивость (124). 5.5. Полные теории (128). 5.6. Категоричность (138). Задачи (144).
 
Глава 6. Неполнота и неразрешимость 102
6.1. Вычислимость (162). 6.2. Рекурсивные функции (165). 6.3. Явные определения (168). 6.4. Номера последовательностей (174). 6.5. Тезис Чёрча (180). 6.6. Номера выражений (185). 6.7. Представимость (190). 6.8. Теорема Чёрча и теорема о неполноте (196). 6.9. Неразрешимость (201). Задачи (206).
 
Глава 7. Теория рекурсии 215
7.1. Частичные функции (215). 7.2. Функционалы и отношения (220). 7.3. Свойства рекурсивных функционалов (226). 7.4. Индексы (234). 7.5. Арифметическая иерархия (239). 7.6. Относительная рекурсивпость (244). 7.7 Степени (252). 7.8. Аналитическая иерархия (258). 7.9. Гиперарифметические отношения (262). 7.10. Теорема характеризации (267). 7.11. Теоремы о базисе (276). Задачи (283).
 
Глава 8. Натуральные числа 300
8.1. Арифметика Пеано (300). 8.2. Теорема о доказательствах непротиворечивости (307). 8.3. Доказательство непротиворечивости (315). 8.4. Применения доказательства непротиворечивости (327). 8.5. Арифметика второго порядка (334). Задачи (343).
 
Глава 9. Теория множеств 348
9.1. Аксиомы для множеств (348). 9.2. Систематическое построение теории множеств (352). 9.3. Ординалы (359). 9.4. Кардиналы (369). 9.5. Интерпретации теории множеств (379). 9.6. Конструктивные множества (393). 9.7. Аксиома конструктивности (401). 9.8. Вынуждение (408). 9.9. Доказательства независимости (422) 9.10. Большие кардиналы (436). Задачи (452).
 
Приложение I. Проблема тождества слов 459
Приложение II. Неразветвленное вынуждение 482
 
Предметный указатель 520

 

Характеристики +
В наличност
Да
Етикети
математическа логика
Език
Руски
Автор (А-Я)
Дж. Шенфилд
Издателство (А-Я)
Наука
Поредица/Серия
Математическая логика и основания математики
Етикет
математическа логика
Град
Москва
Година
1975
Страници
528
Състояние
неизползвана книга
ЗАБЕЛЕЖКА
книга с леко захабена обложка в почти отлично състояние
Националност
американска
Корица
твърда
Формат
среден
Размери (мм)
135 х 205 х 30
Тегло (грама)
501
Условия за пазаруване +

Моля, след направена поръчка, очаквайте обаждане по телефона за потвърждение!

 

  • 5.00 лв. - минимална стойност на покупка в сайта (не важи за покупка с лично предаване)
  • 5.00 лв. - доставка до офис на Еконт или Спиди, над 60 лв. - безплатна доставка.
  • 6.50 лв. - доставка до адрес с Еконт или Спиди, независимо от теглото и стойността на пратката.
  • 0 лв. - лично предаване за клиенти от София (виж по-долу)
  • 10% - отстъпка при покупка на стойност над 20 лв. , видима в процеса на пазаруване.

 

За клиенти с поне три покупки (закупили продуктите си с регистрация), може да се определи постоянна персонална отстъпка с код за отстъпка за бъдещо пазаруване, независимо от стойността на покупката.

За пазаруващите само с "Бърза поръчка", не се предлага код за постоянна отстъпка.

 

Поръчки направени до 17.00 ч. в делничен ден - за София и страната, обикновено се изпращат в същия ден и се доставят на следващия, или според графика на куриерската фирма. При пристигането на пратката в офиса на Еконт клиентите, направили поръчка с регистрация, получават имейл и SMS, а с "Бърза поръчка" - само SMS. 

След преглед на пратката в присъствието на куриера, се заплаща наложен платеж. Към книгите от всяка поръчка се издава фискален бон, а при заявено желание и опростена фактура, както на фирми, така и на физически лица.

Ако доставеното не отговаря на описаното състояние при поръчката, то клиента се освобождава от заплащане на пратката в двете посоки, след разговор по телефона с подателя.

Ако клиента след преглед прецени, че доставеното не му е необходимо, то той следва да го върне на подателя, като заплати пощенските разходи в двете посоки.

 

За София - лично предаване

 

Среща с предварителна уговорка на две места в кв. Орландовци:

1. За пристигащите с трамвай (№ 3, 4 или 18): трамвайна спирка "Католически гробищен парк" (виж на картата) около 7-9 мин от пл. Лъвов мост.

2. За пристигащите с автомобил: кв. Орландовци, ул. Железопътна 18, пред магазин Билла (виж на картата) 

Предимствата на този начин за получаване: възможност за внимателно разглеждане на книгите, получаване в същия ден и спестяване на пощенските разходи.

 

За чужбина (for abroad) 

Foreign orders will be accepted after 01.10.2024.

Български пощи

 

Bulgarian Post / Български пощи /Neighboring countries - Greece, Republic of North Macedonia, Roumanie, Serbie, Turquie)

Bulgarian Post / Български пощи - All other European countries

Bulgarian Post / Български пощи - Outside European countries

 

ЦЕНИ ЗА ТЕГЛО НА ПРАТКИ С ПРЕДИМСТВО И ПРЕПОРЪКА - ЦЕНА (лева) 

PRICES FOR WEIGHT OF SHIPMENTS WITH ADVANTAGE AND RECOMMENDATION - PRICE (BGN)

EUR/BGN - 0.51 (1 EUR = 1.95583 BGN)

 

 

Тегло (грама)

Weight (gram)

Съседни държави

Neighboring countries

Европа

All other European countries

Извън Европа

Outside European countries
 

151 - 250

11.40

13.10

15.10

251 - 350

12.60

14.60

16.90

351 - 500

14.60

17.60

20.60

501 - 1000

14.50

24.60

29.60

1001 - 2000

20.10

37.60

41.60

2001 - 3000

36.60

46.60

51.60

3001 - 4000

43.60

55.60

63.60

4001 - 5000

51.60

61.60

74.60

 

Продукти от същата категория

Бърза поръчка Без формалности
Вашата поръчка е приета. Очаквайте обаждане!