|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
БУЛЕВЫ АЛГЕБРЫ, УПОРЯДОЧЕННЫЕ МНОЖЕСТВА, РЕШЕТКИ: Определения, свойства, примерыкнига
- Автор: Гуров С.И.
- Год издания: 2024
- Издательство: RSS : КомКнига
- Местоположение издательства: Москва
- Объём: 5,0 печатных листов
- ISBN: 978-5-9519-4454-2
- Учебно-методическая литература
- Стереотипное переиздание
- Аннотация: Подчёркиваются алгебраические аспекты исчислений высказываний классической и интуиционистской логик. Изложены методы характеризации формул логики высказываний, подробно рассмотрены гильбертовские исчисления, система натурального вывода и исчисление секвенций для исчисления высказываний. Для каждой из трёх систем рассматривается соответствующая метатеория. Рассматриваются семантические методы характеризации форму (таблицы Э.Бета, семантика возможных миров С.Крипке). Пособие содержит большое количество примеров, позволяющих читателю легко освоиться с вводимыми понятиями.
- Добавил в систему: Гуров Сергей Исаевич