离散数学
云上明月
好想上大学
展开
-
北交大《离散数学》——第一部分
绪论 计算机只能表示离散类型的数据,所以计算机科学关心如何对离散结构建立数学模型和如何将已有的连续数学模型离散化。 “用一组基本的计算机指令来编制一个计算机程序,非常类似于用一组公理来构造一个数学证明”。 第一讲 1.1 集合与序列: 集合为基本概念,很难给出其严格定义。 特别规定:∀A,有A∉A.\forall A,有A\notin A.∀A,有A∈/A. 集合的两种形式化表示:外延法(...原创 2019-01-09 23:08:53 · 1431 阅读 · 0 评论 -
北交大《离散数学》——第二部分
第三讲:谓词逻辑 3.1 谓词与量词 【个体词】:表示独立存在的具体或抽象的客体,是一个命题里表示思维对象的词。具体的、确定的个体词称为个体常项;抽象的、不确定的个体词则称为个体变项。个体变项的取值范围称为个体域或论域。宇宙间所有事物组成的个体域称为全总个体域。 【谓词】:表示个体词性质或相互之间关系的词称为谓词。 【一元谓词】:命题中只含一个个体词,这时表示该个体词的性质或属性的词即一元谓词,...原创 2019-01-17 22:52:03 · 1121 阅读 · 0 评论