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

Скачать книгу в различных форматах или читать онлайн на сайте.

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

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

Издательство: Санкт-Петербургский государственный университет

Жанр: Учебная литература

Серия:

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

isbn: 2013

Аннотация:

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