整体感觉：这门课是这个学期双学位三门课之中我学得比较开心的一门课，因为它比较容易上手（但其实上手简单学着学着就有点难）

关于上课：这门课涉及数理逻辑和代数结构（群环域），老师上课的时候会讲到17:00，然后同学们在剩下的时间内（17:30之前）可以和老师聊天、问问题，我下课找老师问问题的时候老师也挺热情的，感觉很好。最后老师还欢迎我们考（保）他的研究生，算是十分有趣了。

关于作业：一周平均也就两三个题吧，居然比离散I还要少（不同老师要求不同吧）...

关于考试：一共七个题，逻辑推理（40分）基本是来自ppt或者作业的，代数结构（60分）中一个题是作业题（所以作业好好做吧），然后剩下三个题38分就...（考场上瞎编吧）——反正就看自己水平了，最后三题中一题是关于正规子群的，一题是关于环的，一题是关于证明子布尔代数的（如果没记错的话...）...

总结来说，凭目前观察和体会，老师人很好（所以也希望他改卷和给分也很好吧～）//出分之后评价：给分真的很好！

这门课的课程主页是：http://staff.ustc.edu.cn/~xiaomj/teaching.html（就是肖老师的个人主页）

主要讲了以下三部分内容：

一、数理逻辑：命题逻辑、谓词逻辑

二、集合论：集合代数、二元关系、函数、集合的基数

三、代数结构：代数系统、群论、环与域、格与布尔代数

总体难度上来说和双学位第一学期的离散数学Ⅰ持平，部分内容在离散数学Ⅰ课程中也有所涉及，平时作业都可以直接搜到对应的答案，因此平时基本上不太花费时间。且这门课与同学期的其余两门课相比没有编程的大作业所以相对来说是最轻松的一门课。

最后期末考试难度也和平时作业题差不多，有几道是PPT例题或者课后作业的原题，最后给分正常（因为是双学位所以也不太在意给分），老师人也很好。