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

Введение в математическую логику (1984)

  • Издателство: Наука

Введение в математическую логику (1984)

  • Издателство: Наука

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

Э. Мендельсон  (автор)   |   математическа логика  (етикет)  

Издателство:   Наука
Език: руски език
Раздел: Математика
Етикети: Ф. А. Кабаков

 

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

(неизползвана книга с леко захабен външен вид в почти отлично състояние)

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

АННОТАЦИЯ

В книге сравнительно небольшого объема освещается широкий круг вопросов. В ней излагаются следующие темы: логика высказываний и логика предикатов, элементарные теории, формализованная арифметика, аксиоматическая теория множеств, теория алгоритмов. Изложению присуща ясность, простота и лаконичность. Значительная роль в книге отведена упражнениям, куда вынесена часть материала, используемого в основном тексте.

Настоящее издание не отличается от предыдущего (1976 г.).

Для преподавателей математических факультетов университетов и пединститутов. Полезна студентам-математикам, желающим систематически изучить математическую логику.

**

ОГЛАВЛЕНИЕ

От редактора перевода .. 5
Предисловие.. 6
Введение 7

Глава 1. Исчисление высказываний .. 19
§ 1. Пропозициональные связки. Истинностные таблицы 19
§ 2. Тавтологии 24
§ 3. Полные системы связок 31
§ 4. Система аксиом для исчисления высказываний 35
§ 5. Независимость. Многозначные логики 45
§ 6. Другие аксиоматизации 47

Глава 2. Теории первого порядка. 52
§ 1. Кванторы. 52
§ 2. Интерпретации. Выполнимость и истинность. Модели .. 56
§ 3. Теории первого порядка.. 63
§ 4. Свойства теорий первого порядка . 67
§ 5. Теоремы о полноте. 71
§ 6. Некоторые дополнительные метатеоремы 80
§ 7. Правило С .. 83
§ 8. Теории первого порядка с равенством. 85
§ 9. Введение новых функциональных букв и предметных констант 92
§ 10. Предваренные нормальные формы .. 95
§ 11. Изоморфизм интерпретаций. Категоричность теорий . 101
§ 12. Обобщенные теории первого порядка. Полнота и разрешимость 103

Глава 3. Формальная арифметика. 115
§ 1. Система аксиом 115
§ 2. Арифметические функции и отношения. 130
§ 3. Примитивно рекурсивные и рекурсивные функции . 133
§ 4. Арифметизация. Гёделевы номера.. 150
§ 5. Теорема Гёделя для теории S 158
§ 6. Рекурсивная неразрешимость. Теорема Тарского. Система Робинсона 166

Глава 4. Аксиоматическая теория множеств 176
§ 1. Система аксиом .. 176
§ 2. Порядковые чис/ьа 187
§ 3. Равномощность. Конечные и счетные множества. 198
§ 4. Теорема Хартогса. Начальные порядковые числа. Арифметика порядковых чисел 205
§ 5. Аксиома выбора. Аксиома ограничения.. 216

Глава 5. Эффективная вычислимость.. 228
§ 1. Нормальные алгорифмы Маркова .. 228
§ 2. Алгорифмы Тьюринга. 251
§ 3. Вычислимость по Эрбрану— Гёделю. Рекурсивно перечислимые множества .. . 261
§ 4. Неразрешимые проблемы. 279

Дополнение. Доказательство непротиворечивости формальной арифметики . . 282

Литература. 296
Алфавитный указатель .. 310
Символы и обозначения.. 318

***

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

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

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

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

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

В третьем издании книги исправлены опечатки и отдельные погрешности, замеченные после выхода в свет второго издания.

С. И. Адян

Характеристики +
В наличност:
Да
Език
руски
Автор
Э. Мендельсон
Издателство
Наука
Етикети
математическа логика
Преводач
Ф. А. Кабаков
Град
Москва
Година
1984
Страници
320
Състояние
неизползвана книга
ЗАБЕЛЕЖКА
книга с леко захабен външен вид в почти отлично състояние
Националност
американска
Издание
трето поправено издание
Корица
твърда
Формат
среден
Ширина (мм)
145
Височина (мм)
220
Дебелина (мм)
19
Тегло (гр.)
411
Условия за пазаруване +

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

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

 

  • 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

 

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

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