Математическая логика. Формальная логика [Электронный ресурс]: учебное пособие / В. Г. Алябьева ; Пермский государственный национальный исследовательский университет. – Электронные данные. – Пермь, 2021. – 2,77 Мб ; 109 с. – Режим доступа: http://www.psu.ru/files/docs/science/books/uchebnie-posobiya/alyabeva-
matematicheskaya-logika-ch1.pdf. – Заглавие с экрана.
ISBN 978-5-7944-3611-2
Программа учебного курса «Математическая логика» содержит два раздела: «Формальная логика» и «Математическая логика». В предлагаемом учебном пособии излагается материал, относящийся к первому разделу. В издании рассматриваются темы: «Знак. Язык», «Понятие», «Суждение», «Умозаключения. Силлогизмы», «Типы рассуждений».
Пособие предназначено для студентов, обучающихся по направлениям подготовки бакалавров «Прикладная математика и информатика», «Фундаментальная информатика и информационные технологии» и специальности «Компьютерная безопасность».
Скачать (pdf)