摘要：
考试周除了学习什么都好玩，偶然发现了B站上的“精翻”视频，就冲了 第一章的视频还没看完(太长了quq),这里也只是写了整形的lab,写了大概有一整天 明天烤完高代就滚回来填这个lab、课程笔记、导论4、集合论习题的坑...好像有点多,不管了 这些只在本地btest过,不保证能对...如果有错或者有更 阅读全文
摘要：
这里的递归实际上也可以理解为递推 ##Karatsuba算法 计算界次为$n$的多项式乘积，$naive$做法需要计算$n2$次 一个本科生(！！！)提出了这样的算法。考虑计算$\left(ax+b\right)\left(cx+d\right)$ 展开就是$acx2+\left(ad+bc\rig 阅读全文
摘要：
##集合的大小 有限集合的大小很容易比较，只需要数一数，比一比就完了 而无限集不能这么做。我们在这里规定集合$A$与$B$大小相等当且仅当存在$f: A\mapsto B$为双射 定理：无限集至少和它的一个真子集有双射 证明：考虑$A$，由选择公理，我们可以取出$B\subset A$且$B$可数， 阅读全文
摘要：
信息与计算科学导论一 ##罗素悖论 考虑这么一个集合： \(S=\left\{T|T\not\in S\right\}\) 考虑一个集合内的元素$x$，若$x\in S$，则根据定义$x\not\in S$，矛盾 若$x\not\in S$，则根据定义有$x\in S$，矛盾 我们找不到这样一个集合 阅读全文
摘要：
实数完备性的几个定理可以互相推导，这里给出了一个比较简单的完整推导链条 对于没有写到的推导可以通过旁敲侧击推导出这里的条件再继续（迂回战术） 1. 有界必有确界 如果$\exists u$使得$\forall x\in S$都有$x\le u$,那么$S$有上确界 上确界：记$U=\sup\left 阅读全文
摘要：
更新：因为开始写PA2了，因此决定重回这个坑，顺便记录一下解决一些C问题的方法，不一定和语法相关 现在才知道 oi 用的是 C-with-STL... 感觉自己对这个看起来很单纯的语言仍然不够了解 打算仔仔细细地写一写自己不太会的东西，包括与 C++ 不同的语法、宏(macro)的技巧、指针的技巧等 阅读全文
摘要：
看的是英文版的龙书,各种翻译看看就好... 大概前半段是课本，后半段是网课的笔记。因为课程好像都不讲Chap. 2，所以下一节的笔记大概就没有课堂内容了 1.1 Language Processors 词汇: intermediate 中间的 compile 编译 interpret 解释 asse 阅读全文
摘要：
上SICP的时候樾哥提到了一个叫图灵完备的概念，啥是图灵完备呢？简单说就是能模拟图灵机的所有操作的语言就可以说是图灵完备的，它的计算能力和图灵机至少是等价的 然后有这么一个很小的语言Brainfuck，它有一个类似射线的有格纸带，一个可以任意移动的指针 规定，"<"、">"、","、"."、"+"、 阅读全文
摘要：
写在前面 程设期末没考试，但是要做一个2048游戏的小作业 虽然tw老湿并没有作出格外的要求，但我还是上了QT写了图形化的界面（虽然写的很丑） 这里并没有用上signal和slot之类的特性，因为暂时还用不上。。希望后面能发现更好的写法 在上了半个学期的SICP(实验课)之后体会到了python里变 阅读全文
摘要：
在离散数学的第一堂课就被介绍了Set和Proper Class的区别。 与高中内容不同，现代数学中并不是任取一些元素都能组成一个Set，某些东西归在一起只能形成Proper Class（因为这个东西不满足集合的一些性质） 根据ZFC公理系统，我们可以知道关于集合的若干条公理，也就是说满足这些的才是集 阅读全文