Логика высказываний. Учебное пособие
Об издании
Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании. Подчёркиваются алгебраические аспекты исчислений высказываний классической и интуиционистской логик. Изложены методы характеризации формул логики высказываний, подробно рассмотрены гильбертовские исчисления, система натурального вывода и исчисление секвенций для исчисления высказываний. Для каждой из трёх систем рассматривается соответствующая метатеория. Рассматриваются семантические методы характеризации формул. Пособие содержит большое количество примеров, позволяющих читателю легко освоиться с вводимыми понятиями.
Библиографическая запись
Гуров, С. И. Логика высказываний : учебное пособие / С. И. Гуров. — Москва : Московский государственный университет имени М.В. Ломоносова, 2015. — 269 c. — ISBN 978-5-19-011105-7. — Текст : электронный // Цифровой образовательный ресурс IPR SMART : [сайт]. — URL: https://www.iprbookshop.ru/97502.html (дата обращения: 09.08.2023). — Режим доступа: для авторизир. пользователей
РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ
Дехтярь М.И.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
Наренова А.Н., Амирова Г.К., Байтиленова Е.С., Амалбекова Г.Е.
(EDP Hub (Идипи Хаб), Ай Пи Ар Медиа)
C ЭТОЙ КНИГОЙ ТАКЖЕ ЧИТАЮТ
Князьков В.С., Волченская Т.В.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
Алексеев В.Е., Таланов В.А.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
Истратова Е.Е., Томилов И.Н., Якименко А.А.
(Новосибирский государственный технический университет)
Шмырин А.М., Седых И.А.
(Липецкий государственный технический университет, Профобразование)
