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

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

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

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

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

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

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

Издателство:   Мир
Език: руски език
Раздел: Математика
Преводач: Ю. А. Гастев

 

Твърда корица, среден формат   |   480 стр.   |   583 гр.

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

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

АННОТАЦИЯ

Имя одного из крупнейших современных специалистов в области мате­матической логики С. К. Клини знакомо советскому читателю по русскому переводу его фундаментального труда «Введение в метаматематику» (ИЛ, 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
 
х) В скобках указаны страницы английского оригинала.—Прим. перев.

 

Характеристики +
В наличност:
Да
Оригинално заглавие
MATHEMATICAL LOGIC by STEPHEN COLE KLEENE Cyrus C. MacDuffee Professor of Mathematics The University of Wisconsin, Madison
Език
руски
Автор
С. Клини
Издателство
Мир
Етикети
математическа логика
Град
Москва
Година
1973
Страници
480
Състояние
неизползвана книга
ЗАБЕЛЕЖКА
здрава и чиста книга с незначителни забележки в почти отлично състояние, подпис върху заглавната страница
Националност
американска
Корица
твърда
Формат
среден
Ширина (мм)
150
Височина (мм)
220
Дебелина (мм)
32
Тегло (гр.)
583
Условия за пазаруване +

Поръчките се обработват след потвърждение от клиента по телефона!

(при неуспешен опит за връзка с клента по телефона в рамките на три работни дни се анулира)

 

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

 

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

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

 

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

 

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

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

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

 

 

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

 

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

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

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

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

 

 

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

 

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

 

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

 

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

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