„ 正规子群及判定 „ 定义 „ 判别定理 „ 判别法 „ 商群 „ 定义及其实例 „ 性质

„ 子群定义 „ 子群判别定理 „ 重要子群的实例 „ 生成子群 „ 中心 „ 正规化子 „ 共轭子群 „ 子群的交 „ 子群格 „ 循环群的定义 „ 循环群的分类 „ 生成元 „ 子群 „ 循环群的实例

„ Ramsey定理的简单形式 „ 两个简单命题 „ Ramsey定理 „ 小Ramsey数的有关结果 „ Ramsey数的性质 „ Ramsey定理的推广 „ Ramsey定理的一般形式 „ Ramsey定理 „ 关于一般Ramsey数的结果 „ Ramsey定理的应用

1.命题、命题符号化 2.合式公式、真值表、永真式 3.逻辑等值式、推理定律 4.形式化证明

北京大学：《离散数学》离散数学之二《代数结构与组合数学》引言（主讲：屈婉玲）

1.量词、谓词、个体词、命题符号化 2.合式公式、解释、永真式 3.一阶逻辑等值式 4.一阶逻辑推理规则

一、《离散数学》 二、《集合论与图论》 三、《代数结构与组合数学》 四、《数理逻辑》

一、脂类的酶促水解 二、脂肪的分解代谢 三、主要脂肪酸的β氧化) 四、脂肪的合成

《生物化学》课程PPT教学课件：第十一章 蛋白质代谢 11.4 蛋白质的生物合成

第一节:绪论 第二节:固体燃料气化 第三节:烃类蒸汽转化 第四节:一氧化碳变换 第五节:原料气净化脱硫 第六节:二氧化碳脱除 第七节:原料气的最终净化 第八节:氨的合成