Обложка Карри Х.Б. Основания математической логики: Пер. с англ.
Id: 3367
999 руб.

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

1969. 568 с. Букинист. Состояние: 4+.
  • Твердый переплет

Аннотация

Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен... (Подробнее)


Оглавление

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

Предисловие

Объяснение соглашений

Глава 1. Введение

A. Природа математической логики

B. Логические антиномии

C. Природа математики

D. Математика и логика

S. Дополнительные вопросы

Глава 2. Формальные системы

A. Предварительные рассмотрения

B. Теории

C. Системы

D. Специальные формы систем

E. Алгорифмы

S. Дополнительные вопросы

Глава 3. Эпитеория

A. Природа эпптеории

B. Замена и монотонные отношения

C. Теория определений

D. Переменные

S. Дополнительные вопросы

Глава 4. Реляционная логическая алгебра

A. Логические алгебры вообще

B. Структуры

C. Сколемовские структуры

D. Классические сколемовские структуры

S. Дополнительные вопросы

Глава 5. Теория импликации

A. Общие принципы ассерторической логической алгебры

B. Алгебры высказываний

C. Системы LA и LC

D. Эквивалентность систем

E. L-выводимость

S. Дополнительные вопросы

Глава 6. Отрицание

A. Природа отрицания

B. L-еистемы для отрицания

C. Другие формулировки отрицания

D. Техника классического отрицания

S. Дополнительные вопросы

Глава 7. Кванторы

A. Предварительные формулировки

B. Теория Ь*-систем

C. Другие формы теории кванторов

D. Классическая эпитеория

S. Дополнительные вопросы

Глава 8. Модальности

A. Уточнение понятия необходимости

B. L-теория необходимости

C. Т- и Н-формулировки теории необходимости

S. Дополнительные вопросы

Библиография

Указатель символов

Указатель терминов

Именной указатель