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