• ВХОД

    •  

    Полное описание

    М/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)



    Заказ фрагмента документа ₽