学习记录#

软件测试与验证#

本周课堂上学习了基于控制流覆盖的测试设计。
主要讲了语句覆盖、分支覆盖、基路径覆盖和路径覆盖。
主观感受上本周课程的重点应该是基于给定程序构建控制流图，并写出对应的基路径集合。

考虑到这门课程要在第八周进行月考，周末简要复习了 Ch2-SBT 的内容，下周需要更进一步进行复习。

编译原理与技术#

本周课堂上继续学习了基于正则表达式构造自动机，承接上周基础上学习了如何将 DFA 转化为 min-DFA。
最近学习内容当中直接构造法构造 DFA 较为薄弱，需要练习并加以熟练。
但是通过汤普森构造法构造 NFA 再通过子集构造法构造 DFA 较为熟练。

本周编译原理下发了 lab1-词法分析器，对于部分语句的处理还有点模糊，需要上课的时候和老师确认一下。

操作系统#

这门课理解缓慢，落后进度确实有点多，周末看网课重学了第一章的部分。
下周仍需继续向后追进度，不过运动会冲掉一次课，进度倒也不会特别难追。

本周将 lab 前期环境基本配好，下周可以先逐步开始进行尝试。

软件分析与验证前沿#

阅读了 lec1 的课件，理解了 Under- & Over-approximation 的区别。
但是在试图做 lab1 的时候遇到了 docker 镜像拉不下来的问题，尚在解决中。

xCPC#

这周算是一点都没有学，我深深忏悔并反思。

下一场codeforces在下周五，atcoder则在下周六。
从这两场开始坚持打之后的每场 rated 比赛。

算法主动学习部分仍以数学方面为主，频率先控制在不低于 1 个算法/周。
（我承认这个频率太低了）

微分几何#

本周学习了曲面部分。

初等数论#

本周学习了伪素数定义和检验条件。

偏微分方程#

这周将波动方程讲完了，主要学习了分离参数法求解波动方程。
和之前数学物理方法学过的内容差不多，但是傅里叶变换相关部分忘记了需要重新复习。

拓扑学基础#

正课进度有些跟不上，目前在重新看书学一遍试图跟上进度。这周看完了第一章大半部分（拓扑空间，内部，闭包，边界）
可能因为之前一直在接触欧式拓扑空间的缘故，导致部分知识点学起来相当反直觉，和上学期学的实变函数一样难以建立直观认知。