|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Логика высказыванийкнига
- Автор: Гуров С.И.
- Год издания: 2016
- Издательство: Издательство Уральского университета
- Местоположение издательства: Екатеринбург
- Объём: 271 страниц (20,0 печатных листов)
- ISBN: 978-5-907587-87-8
- Тираж: 150 экз.
- Учебное пособие без грифа
- Учебник
- Монография
- Другие грифы
- Аннотация: Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании. При изложении материала подчёркиваются алгебраические аспекты исчислений высказываний классической и интуиционистской логик. Изложены методы характеризации формул логики высказываний, подробно рассмотрены гильбертовские исчисления, система натурального вывода и исчисление секвенций для исчисления высказываний. Для каждой из трёх систем рассматривается соответствующая метатеория. Рассматриваются семантические методы характеризации формул (таблицы Э.Бета, семантика возможных миров С.Крипке). Пособие содержит большое количество примеров, позволяющих читателю легко освоиться с вводимыми понятиями.
- Добавил в систему: Гуров Сергей Исаевич