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

Введение в математическую логику. Том 1 (1960)

  • Издателство: Издательство иностранной литературы

Введение в математическую логику. Том 1 (1960)

  • Издателство: Издательство иностранной литературы

Въведение в математическата логика. Том 1 (преводна книга от английски на руски език)

А. Черч   (автор) 

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

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

 

Твърда корица, 155 х 225 х 28 мм  |  486 стр. |  669 гр.

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

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

АННОТАЦИЯ

Эта монография принадлежит перу одного из самых известных специалистов в области математической логики. Она задумана автором в качестве учебника для студентов, а также в известной мере в качестве справочника. Предполагая у читателя только общую математическую культуру, книга с первых же страниц вводит его в глубокую проблематику, связанную с основными понятиями математической логики. Изложенный в ней материал представляет ценность для всякого математика, в том числе и для специалиста по математической логике. В качестве справочника ею могут пользоваться также и нематематики. Данный первый том вполне может быть использован в качестве самостоятельного систематического курса математической логики; второй том предполагался к изданию, но еще не был переведен на русский язык.

Содержащееся в этом томе Введение (стр. 15 - 63) по существу представляет собой самостоятельное литературное произведение, которое с интересом и пользой может читаться самыми широкими кругами научных работников, интересующихся вопросами математической логики.

**

ОГЛАВЛЕНИЕ


От редактора перевода

Предисловие

Введение

00. Логика
01. Имена
02. Константы и переменные
03. Функции
04. Суждения и пропозициональные функции
05. Несобственные символы, связки
06. Операторы, кванторы
07. Логистический метод
08. Синтаксис
09. Семантика

Глава I. Пропозициональное исчисление

10. Исходный базис исчисления Р1
11. Определения
12. Теоремы исчисления Р1
Упражнения
13. Теорема дедукции
14. Некоторые дальнейшие теоремы и метатеоремы исчисления Р1
Упражнения
15. Тавтологии, проблема разрешения
Упражнения
16. Дуальность (двойственность)
17. Непротиворечивость
18. Полнота
Упражнения
19. Независимость
Упражнения

Глава II. Пропозициональное исчисление (продолжение)

20. Исходный базис исчисления Р2
21. Теорема дедукции для исчисления Р2
22. Некоторые дальнейшие теоремы и метатеоремы исчисления Р2
23. Связь исчисления Р2 с исчислением Р1
Упражнения
24. Исходные связки пропозиционального исчисления
Упражнения
25. Другие формулировки пропозиционального исчисления
Упражнения
26. Частичные системы пропозиционального исчисления
Упражнения
27. Формулировки, использующие аксиомные схемы
28. Расширенное пропозициональное исчисление и прототетик
Упражнения
29. Исторический очерк
Упражнения

Глава III. Функциональные исчисления первого порядка

30. Исходный базис исчисления F1
Упражнения
31. Пропозициональное исчисление
32. Непротиворечивость исчисления F1
33. Некоторые теоремные схемы исчисления F1
34. Подстановочность эквивалентности
Упражнения
35. Производные правила подстановки
Упражнения
36. Теорема дедукции
37. Дуальность
38. Несколько дальнейших теоремных схем
Упражнения
39. Предваренная нормальная форма
Упражнения

Глава IV. Чистое функциональное исчисление первого порядка

40. Другая возможная формулировка
Упражнения
41. Независимость
Упражнения
42. Сколемовская нормальная форма
43. Общезначимость и выполнимость
Упражнения
44. Теорема Гёделя о полноте
45. Теорема Левенгейма и обобщение Сколема
Упражнения
46. Проблема разрешения, ее решение в частных случаях
Упражнения
47. Сведения проблемы разрешения
Упражнения
48. Функциональное исчисление первого порядка с равенством
Упражнения
49. Исторический очерк

Глава V. Функциональные исчисления второго порядка

50. Исходный базис исчисления F22
51. Пропозициональное исчисление и законы кванторов. Теорема дедукции
52. Равенство
Упражения
53. Непротиворечивость исчисления F22
54. Теорема Хенкина о полноте
Упражнения
55. Теория постулатов
Упражнения
56. Вполне-упорядоченность индивидов
Упражнения
57. Аксиома бесконечности
Упражнения
58. Предикативное и разветвленные функциональные исчисления второго порядка
Упражнения
59. Аксиомы сводимости
Упражнения

Примечания к введению
Примечания к главе I
Примечания к главе II
Примечания к главе III
Примечания к главе IV
Примечания к главе V
Предметный указатель
Именной указатель

Характеристики +
В наличност:
Да
Етикети
антикварни книги, математическа логика
Език
Руски
Автор (А-Я)
А. Черч
Издателство (А-Я)
Издательство иностранной литературы
Етикет
антикварни книги, математическа логика
Преводач
В. С. Чернявский
Град
Москва
Година
1960
Страници
486
Състояние
неизползвана книга
ЗАБЕЛЕЖКА
здрава и чиста книга с подпис върху заглавната страница с леко захабен вид
Националност
американска
Антикварна книга
Да
Корица
твърда
Формат
среден
Размери (мм)
155 х 225 х 28
Тегло (грама)
669
Условия за пазаруване +

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

 

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

 

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

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