工科离散数学2018[49页]

with what the argument is about but more with
providing rules so that the general
form of the argument can be judged as sound
or unsound. The rules which logic
r e
Discrete Mathematics 工科
离散数学
Discrete mathematics is the study of mathematical structures that are fundamentally discrete rather than continuous. In contrast to real numbers that have the property of varying "smoothly", the objects studied in discrete mathematics – such as integers, graphs, and statements in logic – do not vary smoothly in this way, but have distinct, separated values..
真值表
1.4 命题翻译 1.5 命题翻译 1.6 范式 1.7 推理理论
索引
第二章 谓词逻辑
沈阳工业大学 牛连强 陈欣 张胜男 niulq@sut.edu.cn
Discrete mathematics
2.1 命题的拆分
2.2 谓词逻辑中的
命题翻译
2.3 量词的约束与
谓词公式的解释
2.4 谓词逻辑中的
1.2 逻辑联结词 provides allow us to assess whether the conclusion drawn from stated premises is consistent with those premises or whether
1.2.1
基tdh本eedrue联citsivs接eompr词eocfaeussltwy shtiechp
等价和蕴含关系
2.5 谓词演算的推
理理论
索引
第三章 集合论
基础
沈阳工业大学 牛连强 陈欣 张胜男 niulq@sut.edu.cn
3.1 集合的概念
与表示方法
3.2 集合运算
3.3 集合运算的性
质与证明方法
3.4 序偶与笛卡尔
积
索引
第四章 关系
沈阳工业大学 牛连强 陈欣 张胜男 niulq@sut.edu.cn
1.3.1 命题公式
1.3.2 真值表
沈阳工业大学 牛连强 陈欣 张胜男 niulq@sut.edu.cn
Software school, Shenyang university of technology
Logic is used to establish the validity of
4.1 二元关系的
含义与表示
4.2 关系运算
4.3 关系的性质 4.4 关系的闭包
4.5 相容关系与等价
关系
4.6 序关系
索引
第五章 函数
沈阳工业大学 牛连强 陈欣 张胜男 niulq@sut.edu.cn
5.1 从关系到函
数
5.2 函数的逆与复
合
5.3 集合的基数
索引
第六章 运算与代 数系统
沈阳工业大学 牛连强 陈欣 张胜男 niulq@sut.edu.cn
沈阳工业大学 牛连强 陈欣 张胜男 niulq@sut.edu.cn
8.1 图的基本概
念
8.2 图的连通性
8.3 图的矩阵表
示
8.4 二部图、欧拉图
与汉密尔顿图
8.5 平面图
8.6 树
Logic is used to establish the validity of
arguments. It is not so much concerned
1.3 命题公式与 provides allow us to assess whether the conclusion drawn from stated premises is consistent with those premises or whether there is some faulty step in the 真值表 deductive process which claims to support the validity of the conclusion.
沈阳工业大学软件学院-牛连强 陈欣 张胜男
01
Biblioteka Baidu命题逻辑
02
谓词逻辑
03
集合的概念 与运算
目录
04 05
关系
函数
06
运算与代数系统
07
环、域、格、 布尔代数
08
图论
索引
第一章 命题逻辑
沈阳工业大学 牛连强 陈欣 张胜男 niulq@sut.edu.cn
Discrete mathematics
1.1 命题 1.2 逻辑联结词 1.3 命题公式与
in the claims
to
support
the
validity of the conclusion.
1.2.2 其他联接词
沈阳工业大学 牛连强 陈欣 张胜男 niulq@sut.edu.cn
Software school, Shenyang university of technology
Logic is used to establish the validity of arguments. It is not so much concerned with what the argument is about but more with providing rules so that the general form of the argument can be judged as sound or unsound. The rules which logic
6.1 运算及其性质 6.2 二元运算中的特
殊元素
6.3 代数系统
6.4 半群与独异点
6.5 群与子群 6.6 循环群与置换群
6.7 群的陪集分解
索引
第七章
环、域、格 &布尔代数
沈阳工业大学 牛连强 陈欣 张胜男 niulq@sut.edu.cn
7.1 环和域 7.2 格 7.3 布尔代数
索引
第八章 图