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