Во второй части учебного пособия излагаются основные знания об алгебре логических операций, а также о формальных теориях - исчисление высказываний и исчисление предикатов. Книга предназначена для студентов первых курсов университетов, обучающихся по специальности ПРИКЛАДНАЯ МАТЕМАТИКА И ИНФОРМАТИКА и ФУНДАМЕНТАЛЬНЫЕ ИНФОРМАТИКА И ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ; разработана на основе курса ОСНОВЫ ДИСКРЕТНОЙ МАТЕМАТИКИ.
Vo vtoroj chasti uchebnogo posobija izlagajutsja osnovnye znanija ob algebre logicheskikh operatsij, a takzhe o formalnykh teorijakh - ischislenie vyskazyvanij i ischislenie predikatov. Kniga prednaznachena dlja studentov pervykh kursov universitetov, obuchajuschikhsja po spetsialnosti PRIKLADNAJa MATEMATIKA I INFORMATIKA i FUNDAMENTALNYE INFORMATIKA I INFORMATSIONNYE TEKHNOLOGII; razrabotana na osnove kursa OSNOVY DISKRETNOJ MATEMATIKI.
