Основания математической логики

  • 1 0
  • (Rated 5 Stars)
  •  21-3-2019
  •  105

Автор:Хаскелл Б. Карри
Издателство:Мир
Страници:568
Корици:Твърди
Година:1969
Броя:1
ISBN: Тегло (гр.): Формат: 150 / 215 Състояние: Отлично
Неизползвана книга

ОГЛАВЛЕНИЕ
От редактора перевода 5
Предисловие п
Объяснение соглашений 15
Глава 1. Введение 1.7
1.1. Природа математической логики 17
1.2. Логические антиномии 20
1.3. Природа математики 26
1.4. Математика и логика 39
S. Дополнительные вопросы 42
Глава 2, Формальные системы
2.1. Предварительные рассмотрения 56
2.2. Теории 79
2.3. Системы 86
2.4. Специальные формы систем 107
2.5. Алгорифмы 114
S. Дополнительные вопросы 130
Г лава 3. Эпитеорпя 140
3.1. Природа эцптеорпи 146
3.2. Замена и монотонные отношения 157
3.3. Теория определений 163
3.4. Переменные 171
S. Дополнительные вопросы 184
Г лава 4. Реляционная логическая алгебра 191
5.1. Логические алгебры вообще . * 192
5.2. Структуры ■ . 198
5.3. Сколемовские структуры 210
5.4. Классические сколемовские структуры 224
S. Дополнительные вопросы . . 236
Глава 5. Теория импликации 245
6.1. Общие принципы ассерторической логической алгебры 247
6.2. Алгебры высказываний 259
6.3. Системы LA и LC 271
6.4. Эквивалентность систем 295
6.5. L-выводимость 323
S. Дополнительные вопросы 351
Г л ав'а 6. Отрицание 363
7.1. Прпрода отрицания 363
7.2. L-системы для отрицания 373
7.3. Другие формулировки отрицания 397
7.4. Техника классического отрицания 409
S. Дополнительные вопросы 431
Глава 7. Кванторы 439
13.1. Предварительные формулировки 440
13.2. Теория L*-cncTeM 456
13.3. Другие формы теории кванторов 481
13.4. Классическая эпитеория 491
S. Дополнительные вопросы 500
Глава 8. Модальности 505
13.3. Уточнение понятия необходимости 505
13.4. L-теория необходимости 509
13.5. Т- и H-формулировки теории необходимости .... 514
S. Дополнительные вопросы 516
Библиография .. 518
Указатель символов 548
Указатель терминов 549
Именной указатель 563

2-Основания-математической-логики
Категория › Руски език

Все още няма коментари...

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