02324离散数学-电子教辅

离散数学第一章命题与命题公式…31.1命题与命题联结词.…….41.2命题公式的等值演算.101.3联结词完备集.…..16第二章命题逻辑的推理理论.192.1范式.0.192.2主范式…。.232.3自然推理系统.26第三章谓词逻辑….293.1谓词的概念与表示...303.2量词与合式公式.313.3谓词演算的等价式与蕴涵式.343.4前束范式…..363.5谓词演算的推理理论.….38第四章集合….394.1集合的基本概念.…..404.2集合的运算.………424.3有序对与笛卡儿积.……….44第五章关系与函数…..…465.1关系及关系的性质.475.2关系的运算.……525.3等价关系与序关系…..595.4函数….65第六章代数系统的一般概念…00.676.1代数系统.…..686.2群与半群….756.3环与域…81第七章格与布尔代数837.1格的基本概念….83