„ 变换群 „ 变换群的定义 „ 变换群的实例 „ n元置换群 „ 置换的表示 „ 置换的乘法和求逆运算 „ 置换群中元素的阶与子群 „ 置换群的实例 „ 陪集及其性质 „ Lagrange定理 „ Lagrange定理的应用 „ 共轭关系与共轭类 „ 群的分类方程

„ 群的定义 „ 定义与实例 „ 等价定义 „ 相关术语 „ 群的性质 „ 幂运算规则 „ 群方程有唯一解 „ 消去律 „ 运算表的置换性质 „ 元素的阶的性质 „ 习题分析

组合存在定理 基本计数公式 递推方程 生成函数 容斥原理 Bolya定理

„ 求解递推方程 „ 计数多重集的r组合数 „ 不定方程的解 „ 整数拆分

21.1加法法则与乘法法则 21.2排列组合 21.3二项式定理与组合恒等式 21.4多项式定理

一、命题演算推理形式系统N和P 二、N和P的核心是推理。 三、但在N或P中,符号、公式本身是没有含义的。在推理过程中并不看公式的真假,而只看是否为公理或规则

复习命题演算推理形式系统N N中推理的每个式子都由前提和结论组成,接近 于实际推理,又称为自然推理形式系统。 ·第一个给出自然推理形式系统的是德国数学家甘岑(G. Gentzen,1909-1945),所以又称N为甘岑系统

一、前两节介绍了“命题”的形式。 二、本节介绍“推理”的形式。 三、推理是逻辑的研究对象

一、上节介绍了将命题表示为符号串。 二、是否每个符号串都是命题呢? pq→ 三、什么样的符号串才能表示命题呢? 如下命题形式定义的符号串表示的才是命题

一、命题演算推理形式系统P(和N)语法 二、语法的核心是推理:a? 三、P是符号演算。 四、公式的含义:真、假、永真等语义