QR-код документа
Алябьева, В. Г.
Математическая логика : учебное пособие / Алябьева В. Г. - Пермь : Пермский государственный национальный исследовательский университет, 2017. - 111 с. - ISBN 978-5-7944-2904-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК | 510.6 |
Кл.слова (ненормированные):
исчисление -- логика -- математика -- предикат -- решение -- формула
Аннотация: Учебное пособие посвящено основам математической логики и состоит из введения и четырех глав: «Логика высказываний», «Исчисление высказываний», «Логика предикатов первого порядка» и «Исчисление предикатов». Особое внимание уделено проблеме распознавания общезначимости формул логики высказываний и формул логики предикатов, использованию метода резолюций. Пособие предназначено для студентов, обучающихся по направлениям подготовки бакалавров «Прикладная математика и информатика», «Компьютерная безопасность», «Фундаментальная информатика и информационные технологии» и специальности «Компьютерная безопасность».
Похожие издания по классификации