АвторыГуров С.И.
Логика высказываний
ИздательствоМГУ им. Ломоносова
Тип изданияучебное пособие
Год издания2015
Скопировать биб. запись
Для каталогаГуров, С. И. Логика высказываний : учебное пособие. / Гуров С. И. - Москва : Издательство Московского государственного университета, 2015. - 268 с. (Серия "Бакалавриат. Учебные пособия") - ISBN 978-5-19-011105-7. - Текст : электронный // ЭБС "Консультант студента" : [сайт]. - URL : https://www.studentlibrary.ru/book/ISBN9785190111057.html (дата обращения: 15.11.2024). - Режим доступа : по подписке.
АннотацияПредлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании. Подчёркиваются алгебраические аспекты исчислений высказываний классической и интуиционистской логик. Изложены методы характеризации формул логики высказываний, подробно рассмотрены гильбертовские исчисления, система натурального вывода и исчисление секвенций для исчисления высказываний. Для каждой из трёх систем рассматривается соответствующая мета теория. Рассматриваются семантические методы характеризации формул. Пособие содержит большое количество примеров, позволяющих читателю легко освоиться с вводимыми понятиями.