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