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


 
Вернуться в: Каталог  
Обложка Линдон Р. Заметки по логике. Пер. с англ.
Id: 17703
 
239 руб.

Заметки по логике. Пер. с англ.

1968. 128 с. Мягкая обложка. Букинист. Состояние: 4+. .

 Аннотация

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


 Содержание

От переводчика...................5

Предисловие..................9

Введение..................11

План изложения................. 13

Грамматика..................17

Термы...................21

Формулы и предложения.............24

Интерпретации и структуры............ 26

Зависимость и подстановка............. 30

Семантическое следование..............33

Пропозициональная логика............34

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

Дизъюнктивная форма...............39

Булева алгебра.................. 45

Варианты пропозициональной логики.........49

Разрешимость и аксиоматизируемость......... 53

Разрешимые теории................57

Аксиоматизация логики предикатов.......... 64

Оправданность аксиоматизации...........70

Теорема дедукции.................72

Теорема о непротиворечивости...........,.74

Теорема адекватности и теорема компактности.....80

Логика предикатов с равенством...........83

Теорема Лёвенгейма --- Сколема...........85

Категоричность..............88

Генценовский естественный вывод..........90

Другая формулировка...............95

Теорема адекватности............... 96

Теорема Эрбрана --- Генцена............102

Теорема Крэйга.................105

Диагональные рассуждения и парадоксы.......109

Гёделевы номера............... 111

Выразимость и теорема Тарского...........113

Теорема Гёделя о неполноте..........116

Разрешимость и теорема Чёрча..........117

Недоказуемость непротиворечивости......... 120

Литература..................123

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

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

 
© URSS 2016.

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