Kamkwamba

摘要： 第六章 设计过程与ALU设计 一位加法器与四位加法器： ​ 输入：A\B\CarryIn ​ 输出：CarryOut\Sum(result) ​ 功能含与、或、一位全加器（通过真值表进行构造） \[ sum(result) = AxorBxorC\\ CarryOut=A\&B|B\&CarryIn 阅读全文

摘要： 力学常用公式 天体运动 只考虑平方反比力情况 \[ f = - \frac{k}{r^2} e_r,万有引力下：k = GMm\\ 引入两个变量:h=J_0/m = r^2w\ \ u=\frac{1}{r}\\ 由角动量守恒和机械能守恒可得：\\ e = [1 + \frac{2E_0mh^2}{ 阅读全文

摘要： 一阶谓词演算自然推演系统$N_{\mathcal{L}}$ 中常见公式总结 \[ 以下是对“自由出现”和“自由"的个人理解：\\ 1. x在\alpha在\beta中若有自由出现，可以认为\alpha和\beta公式的真假与x有关，即原公式成立或否对x有依赖\\ 2.t对x在\alpha在\beta 阅读全文

摘要： 从知乎上看的，感觉太有用了，每天提醒自己一下 · 只解决问题，不描述情绪，尤其是负面情绪 · 少微信闲聊，有需要直接打电话 · 既然作出了选择，就承担一切后果。一旦不幸的事情发生，只弥补，一分钟都不要拿来后悔 · 越专注于过好自己，能量和幸运就会越来越照顾你 · 只解决问题，不做没有意义的担心 · 阅读全文

摘要： 因为笔者水平非常有限，所以最近在补一些机器学习常见概念，求轻喷，本帖子随时更新 机器学习中急切学习方法与惰性学习方法 ​ 急切学习方法也叫积极学习方法 ​ 惰性学习方法也叫消极学习方法 ​ 是很熟悉的概念了，但是笔者第一次了解到它们原来是有名词定义的 ​ 急切学习方法 ​ 训练集数据通过训练得到一个 阅读全文

摘要： 声明：本blog知识产权归北京大学信息科学技术学院刘田老师所有 课程：2021-2022-1学期 《理论计算机》 授课教师：刘田 感谢wyx,wph同学的支持，没有你们，就没有本篇blog 常见的证明方法有两种，常用$\leq_{m}$​归约，但是定义证明也千万不要忽视 什么是m归约 已知$\exi 阅读全文