Учебное пособие посвящено основам математической логики и состоит из введения и четырех глав: «Логика высказываний», «Исчисление высказываний», «Логика предикатов первого порядка» и «Исчисление предикатов». Особое внимание уделено проблеме распознавания общезначимости формул логики высказываний и формул логики предикатов, использованию метода резолюций. Пособие предназначено для студентов, обучающихся по направлениям подготовки бакалавров «Прикладная математика и информатика», «Компьютерная безопасность», «Фундаментальная информатика и информационные технологии» и специальности «Компьютерная безопасность».
Символическая логика и Лейбниц.
Лейбниц Г.В. (1646 — 1716) понимал логику не только как искусство рассуждения и доказательства, но и как искусство изобретения и открытия новых истин. На него произвела сильное впечатление силлогистика Аристотеля. Его также вдохновляла идея, восходящая к Декарту, о "всеобщей математике" (mathesis universalis), исследующей порядок и меру. Он писал: "Изобретение силлогической формы — одно из прекраснейших и даже важнейших открытий человеческого духа. Это своего рода универсальная математика, всё значение которой ещё не достаточно понято" [15, с. 7—9].
СОДЕРЖАНИЕ.
Введение
Список литературы
Глава 1. Логика высказываний
Глава 2. Исчисление высказываний
Глава 3. Логика предикатов первого порядка
Глава 4. Исчисление предикатов
Список литературы
Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Математическая логика, Алябьева В.Г., 2017 - fileskachat.com, быстрое и бесплатное скачивание.
Скачать pdf
Ниже можно купить эту книгу, если она есть в продаже, и похожие книги по лучшей цене со скидкой с доставкой по всей России.Купить книги
Скачать - pdf - Яндекс.Диск.
Дата публикации:
Теги: Алябьева :: 2017 :: математика :: логика
Смотрите также учебники, книги и учебные материалы:
Следующие учебники и книги:
Предыдущие статьи:
