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

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

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

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

Цена

29,95 лв. / 15,31 €

Количество:

- +

добави в количката

Продуктът е успешно добавен в количката

Моля, изберете:

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

Автор:	С. Клини
Издателство:	Мир
Език:	Руски
Раздел:	Математика
Етикет:	Математическа логика

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

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

Описание

Характеристики

Доставка в България

Shipping Abroad

Описание +

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

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

Доставка в България +

Изпълнението на поръчките се реализира след потвърждаването им по телефона - непотвърдена поръчка се анулира след 3 работни дни.

5,87 лв. / 3,00 € - минимална сума на покупка в сайта (не важи за покупка с лично предаване)
0,00 лв. / 0,00 € - безплатна доставка до офис на Еконт или Спиди за поръчки над 68,46 лв. / 35 €.
до 5,87 лв. / 3,00 € - доставка до офис на Еконт или Еконтомат (вкл. SMS и опаковка).
до 7,82 лв. / 4,00 € - доставка до адрес с Еконт (вкл. SMS и опаковка).
до 3,92 лв. / 2,00 € - доставка до автомат на Спиди - промоцена, освобождаване на пратката - 3 дни
до 5,87 лв. / 3,00 € - доставка до офис на Спиди (вкл. Viber съобщение + опаковка)
до 6,85 лв. / 3,50 € - доставка до адрес със Спиди (вкл. Viber съобщение + опаковка)
0,00 лв. / 0,00 € - лично предаване за клиенти от София (виж по-долу)
10% - отстъпка при покупка на стойност над 39,12 лв. / 20,00 €, видима в процеса на пазаруване.

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

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

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

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

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

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

За София - лично предаване - 0,00 лв. / 0,00 €

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

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

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

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

Shipping Abroad +

Delivery abroad (доставка в чужбина)

Bulgarian Post

Bulgarian Post - Neighboring countries - Greece, Republic of North Macedonia, Roumanie, Serbie, Turquie

Bulgarian Post - All other European countries

Bulgarian Post - Outside European countries

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

SHIPMENTS WITH PRINTED PAPERS - PRICES FOR WEIGHT OF WITH PRIORITY ITEM AND REGISTERED SERVICE - PRICE (BGN + €)

EUR/BGN - 0,51 (1 EUR = 1,95583 BGN)

Payment by REVOLUT, BANK PAYMENT OR WESTERN UNION

Delivery time: 5 - 10 working days

Цените влизат в сила от 01.12.2024 г.

Тегло (грама) Weight (gram)	Съседни държави Neighboring countries	Европа All other European countries	Извън Европа Outside European countries
151 - 250	12,10 BGN / 6,19 €	13,60 BGN / 6,95 €	15,20 BGN / 7,77 €
251 - 350	14,05 BGN / 7,18 €	15,65 BGN / 8,00 €	16,90 BGN / 8,64 €
351 - 500	15,60 BGN / 7,98 €	18,15 BGN / 9,28 €	20,60 BGN / 10,53 €
501 - 1000	20,90 BGN / 10,69 €	26,05 BGN / 13,32 €	29,60 BGN / 15,13 €
1001 - 2000	30,10 BGN / 15,39 €	38,60 BGN / 19,74€	41,60 BGN / 21,27 €
2001 - 3000	38,10 BGN / 19,48 €	48,10 BGN / 24,59 €	51,60 BGN / 26,38 €
3001 - 4000	46,40,BGN / 23,72 €	58,60 BGN / 29,96 €	63,60 BGN / 32,52 €
4001 - 5000	54,60 BGN / 27,92 €	63,60 BGN / 32,52 €	74,60 BGN / 38,14 €