3. 编程、C 与标准

1. 编程首先是形式化

编程首先是形式化

用不严谨的话说：编程是把人类世界的问题，抽象成计算机世界的逻辑，并指挥计算机去执行。

这个过程包含两个核心步骤：

1. 思维的形式化（Formalization）： 你首先要把脑海中模糊的想法（比如“帮我算一下全班平均分”），拆解成逻辑严密、毫无歧义的步骤（“读取所有分数” -> “累加” -> “除以总人数”）。
2. 逻辑的翻译（Translation）： 使用一种人能读懂、计算机也能通过工具（编译器）理解的语言——编程语言，将上述步骤记录下来。

所以，编程不是单纯的“敲代码”，那是打字员的工作。

2. 计算模型与编程语言

1. 计算模型
   1. 图灵机 (Turing Machine)
   2. lambda 演算 (Lambda-calculus)
2. 编程语言
   1. 编程范式：命令式编程 (Imperative Programming)、函数式编程 (Functional Programming)
   2. 实现方式：编译 (Compilation)、解释 (Interpretation)
   3. 主流编程语言

3. C 的发展历史

1. ALGOL CPL BCPL
2. B
3. C

4. C 标准

标准版本与实现支持是两件事

1. 事实标准：K&R C
2. ANSI C（被 ISO 采纳）
3. 从 C89 到 C23（建议大家有空了看看标准）
4. 未来的 C2y（如果有精力和能力，可以关注最新的草案，了解新标准的制定进程）

5. C 的应用领域

1. 系统编程：操作系统 (Operating System, OS)，编译器 (Compiler)，数据库 (Database, DB) 等
2. 嵌入式开发，物联网 (Internet of Things, IoT)
3. 网络编程
4. 图形图像处理

6. 自测

多选

以下哪些是 C 语言的主要应用领域？（多选）

操作系统 (OS) 和编译器

嵌入式开发和物联网 (IoT)

现代网页前端界面开发

数据库系统 (DB)