Личный кабинет


М/73906/1
16/С 902
Суровягин, Д. П.
Введение в символическую логику и теорию доказательств : учебное пособие / Д. П. Суровягин ; Министерство науки и высшего образования Российской Федерации, Саратовская государственная юридическая академия. - Саратов : Саратовская гос. юридическая академия, 2019 - . - Текст : непосредственный.
Ч. 1 : Логика высказываний. - 2019. - 198 с. : ил. - Библиогр.: с. 194-195 (20 назв.). - Предм. указ.: с. 196-198. - 500 экз. - ISBN 978-5-7924-1468-6 : 150 р.
ГРНТИ УДК
02.21164.1

Рубрики:
Логика

Кл.слова (ненормированные): базовые понятия логики -- исчисления высказываний -- структурные доказательства -- линейные доказательства -- теорема о дедукции
Аннотация: Пособие предназначено для студентов высших учебных заведений всех форм обучения, изучающих логику или теорию аргументации. В первой главе изложена история развития логики, даны определения ее базовым понятиям. Вторая глава посвящена наиболее простой логической теории - логике высказываний. В третьей главе подробно рассмотрены три основных способа доказательства в логике высказываний: линейный вывод в формальной аксиоматической теории, структурное доказательство в натуральном исчислении высказываний и вывод методом резолюции. Пособие содержит комплекс упражнений, список литературы и предметный указатель.
Доп. точки доступа:
Саратовская государственная юридическая академия
Экз-ры полностью М/73906/1
Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)