Обложка Просолупов Е.В. Курс лекций по дискретной математике. Ч.2: Математическая логика: учеб.пособие
Id: 179433

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

2013. 80 с. ISBN 978-5-288-05431-0.
  • Мягкая обложка

Аннотация

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