Основы математической логики
Математика Бакалавриат
Характеристики
2015 год • 123 страниц • 863.9 KB
Издательство Екатеринбургская академия современного искусства
ISBN 978-5-904440-42-8
Тип издания Учебное пособие
Гриф Допущено Учебно-методическим объединением по образованию в области прикладной информатики в качестве учебного пособия для студентов, обучающихся по направлению "Прикладная информатика"
Описание
В пособии излагаются первоначальные сведения из основных разделов курса “математическая логика”: логики высказываний, логики предикатов и аксиоматического метода. Предназначено для студентов, обучающихся по направлению подготовки “Прикладная информатика”.
