摘要：
课程内容笔记，自用，不涉及任何 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 阅读全文
摘要：
这次 Week 2 的作业比较难，任务目标是使用 $racket$ 给一个虚拟语言 $MUPL$ (made-up programming language) 写一个解释器 所以单独开个贴来好好分析一下 首先是 MUPL 语言的几个 semantic，已经通过 $racket$ struct 的形式 阅读全文
摘要：
Datatype-programming in Racket without structs 在 ML 语言中，我们使用 datatype binding 来实现对 标签联合类型的构建：传送门 这是因为 ML 语言中的 list 中的元素类型是统一的 这里是一份经典的 ML 实现标签联合类型 exp 阅读全文