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

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

  • Издателство: Мир

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

  • Издателство: Мир

Математическа логика (преводна книга от английски на руски от американския математик и логик Стивън Коул Клийни)

С. Клини  (автор)   |   математическа логика  (етикет)

Издателство:   Мир
Език: Руски
Раздел: Математика

 

Твърда корица, 150 х 220 х 32 мм   |   480 стр.   |   583 гр.

(неизползвана, здрава и чиста книга с незначителни забележки в почти отлично състояние, подпис върху заглавната страница)

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

Оригинално заглавие:

MATHEMATICAL LOGIC by STEPHEN COLE KLEENE

Cyrus C. MacDuffee Professor of Mathematics The University of Wisconsin, Madison

*

АННОТАЦИЯ

Имя одного из крупнейших современных специалистов в области мате­матической логики С. К. Клини знакомо советскому читателю по русскому переводу его фундаментального труда «Введение в метаматематику» (ИЛ, 1957), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Новая его книга пред­ставляет собой существенно усовершенствованный, расширенный и приближен­ный к нуждам университетского преподавания вариант «чисто логической» части этой всемирно известной монографии. Тщательно продуманные иллюст­ративные упражнения помогают читателю усвоить излагаемый материал.

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

**

ОГЛАВЛЕНИЕ
 
Предисловие к русскому изданию 5
Предисловие 7
 
Часть I
ЭЛЕМЕНТАРНАЯ МАТЕМАТИЧЕСКАЯ ЛОГИКА
 
Глава I. Исчисление высказываний 11 (3)
 
§ 1. Лингвистические соображения; формулы 11 (3)
§ 2. Теория моделей; таблицы истинности, общезначимость   . . 17 (8)
§ 3. Теория моделей; правило подстановки, совокупность общезначимых формул . . 23 (13)
§ 4. Теория моделей; импликация и эквивалентность 28 (17)
§ 5. Теория моделей; цепи эквивалентностей ......... 31 (20)
§ 6. Теория моделей; двойственность 34 (22)
§ 7. Теория моделей; отношение следования 37 (25)
§ 8. Теория моделей; сокращенные таблицы истинности .... 41 (28)
§ 9. Теория доказательств; доказуемость и выводимость .... 46 (33)
§ 10. Теория доказательств; теорема о дедукции 54 (39)
§ 11. Теория доказательств; непротиворечивость, правила введения и удаления 68 (43)
§ 12. Теория доказательств; полнота 61 (45)
§ 13. Теория доказательств; употребление выводимых правил    . 67 (50)
*§ 14. Применения к естественному языку; анализ рассуждений .76 (58)
*§ 15. Применения к естественному языку; неполные рассуждения 4 86 (67)
 
Глава II. Исчисление предикатов 93 (74)
 
§ 16. Лингвистические соображения; формулы, свободные и связанные вхождения переменных 93 (74)
§ 17. Теория моделей; предметные области, общезначимость   . . 104 (83)
§ 18. Теория моделей; основные результаты об общезначимости . 116 (93)
§ 19. Теория моделей; дальнейшие результаты об общезначимости 120 (96)
§ 20. Теория моделей; следование 126 (101)
§ 21. Теория 'доказательств; доказуемость и выводимость   132 (107)
§ 22. Теория доказательств; теорема о дедукции 138 (112)
§ 23. Теория доказательств; непротиворечивость, правила введения и удаления 143 (116)
§ 24. Теория доказательств; замена, цепи эквивалентностей   . . 148 (121)
§ 25. Теория доказательств; изменения кванторов, предваренная форма 153 (125)
§ 26. Применения к естественному языку; множества, аристотелевские категорические силлогизмы 162 (134)
§ 27. Применения к естественному языку; еще о переводе слов символами 170 (140)
 
Глава III. Исчисление предикатов с равенством 177 (148)
 
*§ 28. Функции, термы 177 (148)
*§ 29. Равенство 180 (151)
*§ 30. Равенство как эквивалентность; экстенсиональность   188 (157)
*§ 31. Описательные определения 199 (167)
 
Часть II
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ОСНОВАНИЯ МАТЕМАТИКИ
 
Глава IV. Основания математики   206 (175)
 
§ 32. Счетные множества 206 (175)
§ 33. КанТоровский диагональный метод 212 (180)
§ 34. Абстрактные множества 216 (183)
§ 35. Парадоксы 221 (186)
§ 36. Математика- аксиоматическая и математика интуитивная   228 (191)
§ 37. Формальные системы, метаматематика 237 (198)
§ 38. Формальная арифметика 242 (201)
*§ 39. Некоторые другие формальные системы  259 (215)
 
Глава V. Вычислимость и разрешимость 270 (223)
 
§ 40. Разрешающие и вычислительные процедуры  270 (223)
§ 41. Машина Тьюринга, тезис Чёрча 280 (232)
§ 42. Теорема Чёрча (в терминах машин Тьюринга) 291 (242)
§ 43. Применения   к   формальной арифметике; неразрешимость (теорема Чёрча) и неполнота (теорема Гёделя) 297 (247)
§ 44. Применения к формальной арифметике; доказательства непротиворечивости (вторая теорема Гёделя) 306 (254)
§ 45. Применения к исчислению предикатов (Чёрч, Тьюринг) . 312 (260)
*§ 46. Степени неразрешимости (Пост), иерархии (Клини, Мостовский)  318 (265)
*§ 47. Теоремы о неразрешимости  и  неполноте, использующие лишь простую непротиворечивость (Россер) 327 (273)
 
Глава VI. Исчисление предикатов (дополнительные разделы)   . . 339 (283)
 
§ 48. Теорема Гёделя о полноте; введение 339 (283)
§ 49. Теорема Гёделя о полноте; основной, результат 353 (295)
§ 50. Теорема Гёделя о полноте для формальных систем генценовского типа; теорема Лёвенгейма — Скулема     365 (305)
§ 51. Теорема Гёделя о полноте для формальных систем гильбертовского типа 373 (312)
§ 52. Теорема Гёделя о полноте и теорема Лёвенгейма—Скулема для исчисления предикатов с равенством 376 (315)
§ 53. Парадокс Скулема и нестандартные модели арифметики . . 383- (321)
§ 54. Теорема Генцена   394 (331)
§ 55. Перестановочность; теорема Эрбрана   404 (338)
§ 56. Интерполяционная теорема Крейга 418 (349)
§ 57. Теорема Бета об определимости; теорема Робинсона о непротиворечивости 432 (361)
 
Приложения. Г. Е. Минц
Приложение 1. Нормализация доказательств   442
Приложение 2. Функциональная форма. Теорема Эрбрана для непредваренных формул 448
 
Список литературы 451
Список теорем и лемм 466
 
х) В скобках указаны страницы английского оригинала.—Прим. перев.

 

Характеристики +
В наличност
Да
Етикети
математическа логика
Език
Руски
Автор (А-Я)
С. Клини
Издателство (А-Я)
Мир
Етикет
математическа логика
Преводач
Ю. А. Гастев
Град
Москва
Година
1973
Страници
480
Състояние
неизползвана книга
ЗАБЕЛЕЖКА
здрава и чиста книга с незначителни забележки в почти отлично състояние, подпис върху заглавната страница
Националност
американска
Корица
твърда
Формат
среден
Размери (мм)
150 х 220 х 32
Тегло (грама)
583
Условия за пазаруване +

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

 

  • 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.07.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

 

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

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