01 2021 档案
摘要:观察之后还可以发现有所谓的secret_phase和func7之类的东西,但是感觉差不太多了也就不太想做...就这样吧 前置姿势/技能 这里记一下做lab需要的前置姿势/技能,尽量不和理论方面的东西重叠吧... 编译实际上就是把源代码变成一堆CPU指令的过程(在这里到这个程度就够了) GCC使用的是
阅读全文
摘要:考试周除了学习什么都好玩,偶然发现了B站上的“精翻”视频,就冲了 第一章的视频还没看完(太长了quq),这里也只是写了整形的lab,写了大概有一整天 明天烤完高代就滚回来填这个lab、课程笔记、导论4、集合论习题的坑...好像有点多,不管了 这些只在本地btest过,不保证能对...如果有错或者有更
阅读全文
摘要:这里的递归实际上也可以理解为递推 ##Karatsuba算法 计算界次为的多项式乘积,做法需要计算次 一个本科生(!!!)提出了这样的算法。考虑计算 展开就是$acx2+\left(ad+bc\rig
阅读全文
摘要:##集合的大小 有限集合的大小很容易比较,只需要数一数,比一比就完了 而无限集不能这么做。我们在这里规定集合与大小相等当且仅当存在为双射 定理:无限集至少和它的一个真子集有双射 证明:考虑,由选择公理,我们可以取出且可数,
阅读全文
摘要:实数完备性的几个定理可以互相推导,这里给出了一个比较简单的完整推导链条 对于没有写到的推导可以通过旁敲侧击推导出这里的条件再继续(迂回战术) 1. 有界必有确界 如果使得都有,那么有上确界 上确界:记$U=\sup\left
阅读全文