第一章 初等数论知识 1
内容提要 1
典型题解 3
习题解答 6
第二章 命题逻辑 9
内容提要 9
典型题解 14
习题解答 17
第三章 谓词逻辑习题 37
内容提要 37
典型题解 40
习题解答 42
第四章 集合 52
内容提要 52
典型题解 56
习题解答 58
第五章 关系习题 67
内容提要 67
典型题解 74
习题解答 77
第六章 函数习题 87
内容提要 87
典型题解 89
习题解答 91
第七章 代数系统习题 99
内容提要 99
典型题解 103
习题解答 105
第八章 群论习题 113
内容提要 113
典型题解 117
习题解答 119
第九章 环和域习题 129
内容提要 129
典型题解 131
习题解答 132
第十章 格与布尔代数习题 138
内容提要 138
典型题解 141
习题解答 142
第十一章 图论习题 149
内容提要 149
典型题解 154
习题解答 157
第十二章 计算机科学中的应用 169
内容提要 169
习题解答 172