2.1 个体、谓词与量词 2.2 谓词公式 2.3 谓词演算的等价式与蕴含式 2.4 前束范式 2.5 谓词逻辑的推理理论

上海交通大学：《古典诗文名篇选读》课程教学资源（PPT讲稿）03 汉乐府与汉代古诗——平民的哀乐与人性的觉醒（公元前206年——公元220年）

一、目前为止的三种方法 二、在达到稳态之前对时间求积分 三、有限微分法 四、射击法 五、射击法 六、状态转移函数

5.1酸碱理论 5.2水的自耦电离平衡 5.3弱酸弱碱的电离平衡 5.4酸碱电离平衡的移动 5.5缓冲溶液 5.6酸碱中和反应 5.7前沿话题

上海交通大学：《新双城记》课程教学资源（课件讲义）7、華人雙城：台北與上海的前緣與後期（廖咸浩）

一、内部招聘 二、内部提拔 三、横向调动 四、重新雇佣或召回以前的雇员

一、串级控制系统 二、均匀控制系统 三、比值控制系统 四、分程控制系统 五、前馈控制系统 六、多冲量控制系统

上海交通大学：《细胞工程》精品课程教学资源（学习文献）第1讲 文献2-细胞工程的研究进展及前景展望

一、审计报告编制前的工作 编制审计差异调整表 审计差异 核算误差 重分类误差

上海交通大学：《中国近现代史纲要》课程教学资源（PPT课件讲稿）第二讲（原“综述”）由盛转衰——鸦片战争前的中国与世界（高福进）