Курс лекций по дискретной математике. Часть 2. Математическая логика
Автор:Просолупов Евгений Год: 2013 Издание:Санкт-Петербургский государственный университет Страниц: [не указано] ISBN: 9785288054310, 9785288054303 Во второй части учебного пособия излагаются основные знания об алгебре логических операций, а также о формальных теориях – исчисление высказываний и исчисление предикатов. Книга предназначена для студентов первых курсов университетов, обучающихся по специальности «Прикладная математика и информатика» и «Фундаментальные информатика и информационные технологии»; разработана на основе курса «Основы дискретной математики».
