Год выпуска: 2013 Автор: Сергей Гуров Издательство: LAP Lambert Academic Publishing Страниц: 124 ISBN: 9783659359019
Описание
Предлагаемая книга предназначена для читателей с математическим складом ума, начинающих изучать математическую логику как в рамках учебного курса, так и при самообразовании. При изложении материала в данном пособии подчёркиваются алгебраические аспекты логических исчислений. Изложены методы характеризации формул, подробно рассмотрены гильбертовские исчисления, система натурального вывода и исчисление секвенций. Для каждой из трёх систем доказываются корректность, полнота и анализируются отличительные особенности выводов теорем. Книга содержит большое количество примеров, позволяющих читателю легко освоиться с вводимыми понятиями.
