01 2021 档案
摘要:观察之后还可以发现有所谓的secret_phase和func7之类的东西,但是感觉差不太多了也就不太想做...就这样吧 前置姿势/技能 这里记一下做lab需要的前置姿势/技能,尽量不和理论方面的东西重叠吧... 编译实际上就是把源代码变成一堆CPU指令的过程(在这里到这个程度就够了) GCC使用的是
阅读全文
摘要:考试周除了学习什么都好玩,偶然发现了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
阅读全文

浙公网安备 33010602011771号