Евгений Просолупов – Курс лекций по дискретной математике. Часть 2. Математическая логика

Загрузка...

Автор: Евгений Викторович Просолупов

Год выхода: 2013

Издательство: СПбГУ

ISBN:

978-5-288-05430-3, 978-5-288-05431-0

Книга из раздела: Математика, Учебная литература, Книги

О книге

«Евгений Просолупов – Курс лекций по дискретной математике. Часть 2. Математическая логика»

Во второй части учебного пособия излагаются основные знания об алгебре логических операций, а также о формальных теориях – исчисление высказываний и исчисление предикатов.

Книга предназначена для студентов первых курсов университетов, обучающихся по специальности «Прикладная математика и информатика» и «Фундаментальные информатика и информационные технологии»; разработана на основе курса «Основы дискретной математики».