01 2021 档案

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

点击右上角即可分享
微信分享提示