南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）10_Simply-Typed Lambda Calculus

南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）Separation Logic（2/3）

2.1 PL/0语言和类pcode的描述 2.2 PL/0编译程序的结构 2.3 PL/0编译程序的语法语义分析 2.4 PL/0编译程序的错误处理 2.5 类pcode代码解释器

7.1 中间语言 7.2 说明语句 7.3 赋值语句的翻译 7.4 布尔表达式的翻译 7.5 控制语句的翻译 7.6 过程调用的处理

《现代汉语》课程教学资源（PPT课件讲稿）第四章 词汇 第四节 词义的聚合——语义场

1. 当代设计的修辞转向 2. 设计中的隐喻 3. 设计中的换喻 4. 设计中的提喻 5. 设计中的讽喻

01 导入 02 英汉两种语言在主语方面的差异 03 英语主语的特征 3.1 形式结构（form） 3.2 句中位置（position） 3.3 句法功能（syntactic function） 3.4 语义特征（semantic properties）

《翻译理论与实践》课程教学资源（讲稿）第三讲 语义翻译

绪论 第一节 现代汉语概说 3 第二节 汉语规范化和推广普通话 1 小计 4 第一章 语音 第一节 语音概说 4 第二节 辅音与声母 2 第三节 元音与韵母 4 第四节 声调 2 第五节 音节 4 第六节 音变 3 第九节 语音规范化 1 第二章 文字 第一节 汉字概说 1 第二节 汉字的形体 1 第三节 汉字的结构 2 第四节 汉字的整理和标准化 1 第五节 使用规范汉字 1 第三章 词汇 第一节 词汇概说 4 第二节 词义及其性质和构成 1 第三节 义项和义素 1 第四节 语义场 3 第五节 词义和语境的关系 1 第六节 现代汉语词汇的组成 2 第七节 熟语 2 第八节 词汇的发展变化和词汇的规范化 1

第一章 绪论 • 第一节 现代汉语概述 • 第二节 汉语规范化和推广普通话 • 第三节 现代汉语课的性质、内容和任务 第二章 语音 • 第一节 语音概说 • 第二节 声母 • 第三节 韵母 • 第四节 声调 • 第五节 音节 • 第六节 音变 • 第七节 音位 • 第八节 朗读和语调 • 第九节 语音规范化 第三章 汉字 第四章 词汇 • 词汇、词汇单位和词的结构 • 词义的性质和构成 • 词义的分解 • 词义的聚合——语义场 • 词义和语境的关系 • 现代汉语词汇的组成 • 熟语 • 词汇的发展变化和词汇的规范化