Practice
按题库大类进入练习。当前已接入集合、关系、函数与映射、逻辑、组合数学、图论、树与代数结构题目，支持判断题、单选题和简答题作答。
集合相等、集合运算、幂集、笛卡尔积、基数与可数性。
二元关系、关系性质、等价关系、偏序关系、Hasse 图与关系复合。
映射、单射、满射、双射、复合映射、像集与映射数量。
命题公式、真值表、蕴涵等价、主析取范式与主合取范式。
量词、谓词公式、解释、前束范式、Skolem 范式与公式蕴涵。
包含量词公式、前束范式、Skolem 范式及常见练习题。
排列、组合、鸽巢原理、容斥原理、递推关系。
图、连通性、欧拉图、哈密顿图、最短路径、最小生成树。
树的性质、生成树、二叉树、哈夫曼树、深度和高度计算。
半群、群、环、域及其基本性质和常见运算。