Курс лекций по дискретной математике. Часть 2. Математическая логика - Евгений Просолупов
| Автор: | Евгений Просолупов |
| Издательство: | Санкт-Петербургский государственный университет |
| Серия: | |
| Жанр произведения: | Учебная литература |
| Год издания: | 2013 |
| isbn: | 978-5-288-05430-3, 978-5-288-05431-0 |
Во второй части учебного пособия излагаются основные знания об алгебре логических операций, а также о формальных теориях – исчисление высказываний и исчисление предикатов. Книга предназначена для студентов первых курсов университетов, обучающихся по специальности «Прикладная математика и информатика» и «Фундаментальные информатика и информационные технологии»; разработана на основе курса «Основы дискретной математики».