Каталог
Логика высказываний: Учебное пособие. (Бакалавриат. Учебные пособия).

Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании. Подчёркиваются алгебраические аспекты исчислений высказываний классической и интуиционистской логик. Изложены методы характеризации формул логики высказываний, подробно рассмотрены гильбер-товские исчисления, система натурального вывода и исчисление секвенций для исчисления высказываний. Для каждой из трёх систем рассматривается соответствующая метатеория. Рассматриваются семантические методы характеризации формул. Пособие содержит большое количество примеров, позволяющих читателю легко освоиться с вводимыми понятиями.
Гуров С. И. Логика высказываний: Учебное пособие. (Бакалавриат. Учебные пособия). / С.И. Гуров. - Москва : Московский государственный университет, 2015. - 268 с. - ISBN 978-5-19-011105-7. - URL: http://m.ibooks.ru/bookshelf/369980/reading (дата обращения: 18.07.2025). - Текст: электронный.