• ВХОД

    •  

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

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

    ГРНТИ УДК
    02.21164.1

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

    Кл.слова (ненормированные): БАЗОВЫЕ ПОНЯТИЯ ЛОГИКИ -- ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ -- ЛИНЕЙНЫЕ ДОКАЗАТЕЛЬСТВА -- СТРУКТУРНЫЕ ДОКАЗАТЕЛЬСТВА -- ТЕОРЕМА О ДЕДУКЦИИ
    Аннотация: Пособие предназначено для студентов высших учебных заведений всех форм обучения, изучающих логику или теорию аргументации. В первой главе изложена история развития логики, даны определения ее базовым понятиям. Вторая глава посвящена наиболее простой логической теории - логике высказываний. В третьей главе подробно рассмотрены три основных способа доказательства в логике высказываний: линейный вывод в формальной аксиоматической теории, структурное доказательство в натуральном исчислении высказываний и вывод методом резолюции. Пособие содержит комплекс упражнений, список литературы и предметный указатель.
    Доп. точки доступа:
    Саратовская государственная юридическая академия
    Экз-ры полностью 211de417263d05d0491ef8188ab71487
    Нет сведений об экземплярах
    Держатели документа:
    Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/73906/1)

    Шифр в сводном ЭК: 211de417263d05d0491ef8188ab71487



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