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