Логика высказываний. Учебное пособие

Об издании

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

Библиографическая запись

Гуров, С. И. Логика высказываний : учебное пособие / С. И. Гуров. — Москва : Московский государственный университет имени М.В. Ломоносова, 2015. — 269 c. — ISBN 978-5-19-011105-7. — Текст : электронный // Цифровой образовательный ресурс IPR SMART : [сайт]. — URL: https://www.iprbookshop.ru/97502.html (дата обращения: 09.08.2023). — Режим доступа: для авторизир. пользователей