Эдельман С.Л. Математическая логика

Учебное пособие. — М.: Высшая школа, 1975. — 176 с.: ил.
Изображение с текстовым слоем и закладками.Книга предназначена для студентов и соответствует программе курса «Математическая логика» для пединститутов. Рассматривается теория алгебры высказываний, алгебры предикатов, исчисления высказываний и предикатов. Изложение сопровождается рядом примеров, способствующих усвоению логики математических методов. Включены задачи и упражнения по каждому из разделов.Допущено Министерством просвещения СССР в качестве учебного пособия для студентов педагогических институтов.Алгебра высказываний
Понятие о высказывании и предикате
Операции над высказываниями
Отношение эквивалентности
Необходимые и достаточные условия. Взаимно обратные и взаимно противоположные теоремы
Закон двойственности
Нормальные формы
Проблема разрешения
Понятие выводимости
Применение алгебры высказываний для анализа и синтеза переключательных схем
Алгебра предикатов
Понятие модели и язык теории моделей
Понятие формулы алгебры предикатов
Отношение эквивалентности
Проблемы общезначимости и выполнимости формул
Понятие выводимости
Классы алгебраических моделей
Исчисление высказываний и предикатов
Язык исчисления высказываний, аксиомы, правила вывода
Отношения эквивалентности
Метатеория исчисления высказываний
Исчисление предикатов
Ответы к упражнениям
Список обозначений
Литература
Предметный указатель