摘要：
（本文内容为2022年春笔者在北航上的前沿技术讲座课程的大作业，包含了课程内容总结和未来规划） 从上世纪20年代哥德尔用对角线方法解决逻辑系统中的判定性问题和图灵提出他的图灵机理论开始到现在，计算机科学的发展已经走过了近百年的历史，但是时间并未使计算机科学变得暮气沉沉，相反，随着一项又一项重大技术的 阅读全文
摘要：
之前在notion上写了一些内容，但因为notion上的编辑器和博客园的不太一样，所以不好直接搬运过来，这里同步一下链接： 之前看MIT线性代数网课做的笔记：重温线性代数 算法课笔记之一：分而治之 算法课笔记之二：动态规划 阅读全文
摘要：
第四单元总结 第四单元的OO作业是要求做一个UML文本的解析器，这里先介绍一下什么是UML。 UML建模语言 UML的全称是Unified Modeling Language，意为统一建模语言，从名字上就可以看出，这种语言的设计是为了统一各个领域的建模语言。在软件领域的发展历程中，出现了许许多多的建 阅读全文
摘要：
第三单元总结 Tags: OO JML实现方法 JML是一种用于形式化表述程序规格的语言，其具体实现方法是通过逻辑推理语言对程序的输入输出以及数据交互做出限制，来保证程序按照设计者的预期运行。同时它也被用来提高代码的可维护性和可读性，通过针对已有的代码写出其JML规格，有利于维护该代码。 在本文中， 阅读全文
摘要：
第二单元总结 Tags: OO 线程同步方法 1）为什么需要线程同步？ 你是否曾经遇到过这样的情形，尽管自己的房间很乱，但是自己依然能够在乱哄哄的房间里找的自己的某件物品，而当你的母亲帮你收拾了房间之后，许多东西都找不到了。 让我们分析这个过程，对于某件物品来说，它的位置对你是一个信息，如果你每一次 阅读全文
摘要：
第一单元总结 写在前面的话 经过从pre开始的漫长的一个月，带着惊喜和遗憾，OO的第一单元谢幕了。 但是在三次作业的设计，实现，debug以及总结交流的过程中，我认识到OO的学习和体会还远未结束，毫不夸张的说，现在学习OO的不适应，仿佛打开一扇门时因为直视其透出的亮光而头晕目眩的结果。所以接下来所要 阅读全文