Методические указания к практическим занятиям и выполнению РГР по курсу «Дискретная математика». — Новосибирск: НГТУ. — 1998.
Эта часть курса включает в себябулеву алгебру, логику высказыванийилогику предикатов, т. е. основные разделы формальной логики.
Здесь основное внимание уделяется формализации понятий и построению моделей в различных областях знаний и показано, что математическая логика фактически являетсяметаматематикой, т. е. то, что с помощью формальной логики возможно излагать положения любой из математических дисциплин.
