本文深入探讨了计算机科学中的核心概念，包括数据结构、算法、模块化编程等，阐述了这些概念如何从根本上影响程序的执行与存储。文章还讨论了算法的构成要素，即简单步骤序列、控制流程和停止条件，以及早期计算机硬件的发展，如真空管和继电器。此外，文中还提到了图灵机的基本操作原语，并分析了编程语言的语法、静态语义和完整语义。
01.介绍
armamentarium 设备
data structures 数据结构
iteration 迭代
recursion 递归
abstraction 抽象
module 模块 modularization 模块化
token 令牌
stitch together 凝聚，结合
algorithm 算法 algorithmically 算法
standard classes 标准类
searching and sorting 搜索和排序 sorts 种，种类
fundamentally 从根本上
perform 执行
storage 存储
built-in operations 内置（嵌入式）操作
figure out 估计，算出
abstract v.提取，抽象
encapsulate 封装
assume 假设
crucial 至关重要的
despite 尽管
encryption scheme 加密方案
Turing halting problem 图灵停机问题
02.Knowledge：知识
philosophical 哲学的
declarative knowledge 声明的| 声明型知识
imperative knowledge 必须的，必要的| 命令型知识
parallel 并行的
square root 平方根 = quadratic root
(an) integer number 一个整数
4 times 4 4的4次方
x divided by g x/g
execute 执行
steps 1+2+3 = an algorithm
1)sequence of simple steps. (A checklist)
2)flow of control process that specifies when each step is executed. (A flow of control)
3)a means of determing when to stop. (A thing)
vacuum tubes and relays 真空管和继电器
interpreter 解释器
ALU------Arithmetic Logic Unit 算术逻辑单元
图灵机的6个原语：左移，右移，扫描scan，读取，写入，stop（do nothing）。
panicking 恐慌
nuance 细微差别
sophisticated 复杂的
semantics 语义 -----赋予一个合法的语句意义
static semantics 静态语义 -----判定一个字串是否有意义
syntax 语法 -----判定一个字串是否合法
Syntax - what are legal expression "cat dog boy" (Lots of help. Python comes built-in with syntax checker, find one error each time)
语法用来描述语言中，什么表述是合法的。
Static semantics - what programs are meaningful, which expression make sense "My desk is Susan" (Some help.)
静态语义表示什么程序是有意义的，哪种表达是有意义的。
Full semantics - what does program mean, what happen when run 完整语义即程序想达到什么目的，运行程序会产生什么效果。
这就是我们编写代码的意义所在。
Lecture2
扫一扫
7042
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
