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

Математическая логика (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 - 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 €

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

Ревюта

( )

Оценете

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

Вашата оценка

Грешка при изпращане на оценката.

Все още няма ревюта за този продукт
Добави Ревю

Вашето ревю беше изпратено успешно!

Вашата поръчка е приета. Очаквайте обаждане!