【离散数学II】代数系统引入 二元运算性质 特殊元素

前两周学习了离散数学II，也就是抽象代数的部分。为了记录一下自己的学习状况，把所讲的笔记传了上来。
前两周主要讲了一下抽象代数的起源、引入、二元运算的性质以及一些特殊元素。



证明上述性质的时候，带入x y z然后根据定义去一一证明就可以。注意利用反证法。