Личный кабинет
Подробное описание документа
Гуров С. И.
Логика высказываний : учебное пособие / Гуров С. И. - Московский государственный университет имени М. В. Ломоносова, 2015. -
Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании. Подчёркиваются алгебраические аспекты исчислений высказываний классической и интуиционистской логик. Изложены методы характеризации формул логики высказываний, подробно рассмотрены гильбертовские исчисления, система натурального вывода и исчисление секвенций для исчисления высказываний. Для каждой из трёх систем рассматривается соответствующая метатеория. Рассматриваются семантические методы характеризации формул. Пособие содержит большое количество примеров, позволяющих читателю легко освоиться с вводимыми понятиями.
