北京大学：《离散数学》教学计划大纲

5.1 函数基本概念 5.2 函数类型 5.3 函数运算 5.4 基 数

1.什么是命题? 命题是陈述客观外界发生事情的陈述句。 命题是或为真或为假的陈述句

一、代数系统的基本概念和基本性质 二、群论 三、 同态与同构 四、环与域

一、命题演算的自然推理形式系统N 二、怎么在计算机上实现如下有效推理:

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

一、推演系统N的构成 1 给定非逻辑符号集,Ng的构成如下 形式语言:

一、良序,序数, 二、序数与基数 三、ZFC+CH系统 四、Collatz猜想

一、关系幂(power)运算 二、关系闭包(closure)

1.有序对与卡氏积 2.二元关系 3.二元关系的基本运算