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