专业课笔试知识点1.数学语言及证明方法2.命题逻辑3.一阶逻辑4.前三章答题总结5.关系6.图7.树8.代数系统第一章. 数学语言及证明方法第一章只需要掌握一些基本的运算符号，方便看懂书后面的内容。其他的不用花太多的时间。下面我总结了一些平时少见的运算符号（一些基本的运算符我就不列举了）。1.集合符号~B：不属于集合B的部分A-B：属于集合A且不属于集合B的部分。A-B=A∩~B简单理解就是集合A...