URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


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

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

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. Дополнительные вопросы

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

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

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

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

 
© URSS 2016.

Информация о Продавце