此后如竟没有炬火 我便是唯一的光

摘要： 课程内容笔记，自用，不涉及任何 assignment，exam 答案 Notes for self use, not included any assignments or exams 由于提前预习了微积分 (见 微积分 $I$， 微积分 $II$) 这里的笔记就稍微精简一点，主要是为了匹配数学术语 阅读全文

摘要： 课程内容笔记，自用，不涉及任何 assignment，exam 答案 Notes for self use, not included any assignments or exams 听说这节课内容很多很杂但是只要全部覆盖到就好龟 那就从这里开始记录！ Part 1 主要介绍了微电子学 micro 阅读全文

摘要： 课程内容笔记，自用，不涉及任何 assignment，exam 答案 Notes for self use, not included any assignments or exams Module 0 主要介绍了几种远程登录 CS department 主机的方式 $SSH$ (安全外壳协议, S 阅读全文

摘要： 课程内容笔记，自用，不涉及任何 assignment，exam 答案 Notes for self use, not included any assignments or exams Course Overview 课程目标：了解现代加密学的基本原理，概念以及模型，基础的量子加密 Basic Pr 阅读全文

摘要： ### 5.1 定积分的概念 1. 定义 定积分是积分的一种，是函数 $f(x)$ 在区间 $[a,b]$ 上积分和的极限 若 $f(x)$ 在 $[a, b]$ 有界，在 $[a, b]$ 上任意插入 $n$ 个分点将区间分为 $n$ 个小区间 $\Delta x_1, \Delta x_2, . 阅读全文

摘要： 1.1 集合 这一节复习了高中关于集合的基础知识 介绍了一些新的概念 笛卡尔积 (Cartesian Product) 集合 $X$ 与 $Y$ 的笛卡尔积 (直积) $X \times Y$ 是指包含了所有第一个成员属于 $X$，第二个成员属于 $Y$ 的所有有序对的集合 $A\times B={ 阅读全文

摘要： 整个系列课程的最后一小结！ 介绍了之前在 interface 中所提到的 subtype 系统以及其与 ML 中 generics 的不同 introduction to subtyping 在之前的课堂中 (主要是 Part A)，我们了解了 FP 中的静态类型，尤其是 ML 中的 type sy 阅读全文

摘要： week 2 我们采用一种新的视角来对比 FP 与 OOP，即将问题分解 (decompose) 与实现 (implement) 的方式 OOP Versus Functional Decomposition 对 FP 而言，常见的分解 (decomposition) 方式为：将程序拆分成一个个函数 阅读全文

摘要： 来进入这一系列课程的最后一 Part 啦！ $P1$ 我们介绍了 $ML$，一种 static typing 的 functional language $P2$ 我们介绍了 $Racket$，一种 dynamic typing 的 functional language 回顾一下 函数式编程 的特 阅读全文

摘要： ML Versus Racket 同 函数编程模式 (with constructs that encourage a functional style) 不鼓励 mutation (但提供了支持 mutation 的 constructs)，头等函数模式 (first-class function 阅读全文