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

• Автор(ы): Просолупов Е. В.
• Язык: Русский
• Размер: 200/147 mm
• Издатель: Издательство Санкт-Петербургского Университета
• Год выхода: 2013
• Оформление: Мягкая обложка
• Количество страниц: 80
• ISBN: 978-5-288-05431-0

Во второй части учебного пособия излагаются основные знания об алгебре логических операций, а также о формальных теориях - исчисление высказываний и исчисление предикатов. Книга предназначена для студентов первых курсов университетов, обучающихся по специальности ПРИКЛАДНАЯ МАТЕМАТИКА И ИНФОРМАТИКА и ФУНДАМЕНТАЛЬНЫЕ ИНФОРМАТИКА И ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ; разработана на основе курса ОСНОВЫ ДИСКРЕТНОЙ МАТЕМАТИКИ.