MIT 6.00.01X 计算机科学和Python编程导论 Lecture1

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