逻辑表达式解析器

离散数学有一个选做作业, 其实之前我就想做。 1. 由命题公式列出真值表(通过键 …

继续阅读 »

国庆快乐

今天是国庆节, 祝大家国庆节快乐。

计算机科学导论虚拟机

计算机科学导论课, 老师做了个虚拟机, 8位CPU, 和一些其他的硬件。 我认为 …

继续阅读 »

逻辑

离散数学最近一直在学逻辑。 十分有趣。 谢谢合作。

程序设计基础

今天上了程序设计基础课。 老师布置了四道题目作为作业。

中秋快乐

今天是中秋节, 祝大家中秋快乐。 这里特别祝出国学习的和其他不能和家人团聚的人们 …

继续阅读 »

高等微积分教程(上)

今天把《高等微积分教程(上)》当作了小说读了读。 感觉就是在一本正经地证明大实话 …

继续阅读 »

“共和国的脊梁”演出

今天晚上观看了”共和国的脊梁”的演出。 小节目是不同大学 …

继续阅读 »

下雨啦

今天下了比较大的雨。 这里分享一张图。

惊悚微积分

今天继续惊悚微积分, 差点要吊死在高数上。 感谢foreverbell的解救or …

继续阅读 »

炫酷离散

今天上了离散数学, 讲了厉害的东西。

惊悚作死

周五做了个死, 就是把两个LAN口连起来, 导致广播风暴, 然后我的网口就被交换 …

继续阅读 »

练车

今天又练习了几个小时自行车, 感觉良好。

计算行列式

又造了个轮子, 计算行列式的值的东西。 算法O(n^3)。 谢谢合作。

惊悚eps-N

最近学习用ε-N语言论证一些东西。 好像很厉害。

惊悚证明

今天做了一些惊悚神奇的证明题。写的东西好像都像废话一样。orz  

惊悚行列式

做行列式题目就像做游戏, 设法把一些东西变成零。 使用黑魔法!!!

离散数学

今天上了离散数学第一课, 老师引用了大量诗词来描述离散和连续。 然而似乎把数学课 …

继续阅读 »

大学第一天

今天是大学生活正式开始第一天, 上了线性代数和程序设计基础课程。

学自行车

为了更方便地出行, 我今天下午学习了自行车。 大致学会, 暂时不敢上路。