logo  

人工智能入门——理论与工程

人工智能入门——理论与工程
作者: 陈安廉

摘要:研究人工智能


离散数学


2021-01-17 17:07:34

命题逻辑

谓词逻辑


证明论

公里集合论


离散数据结构


组合,无序对象汇集,广泛用于计数

关系,序偶的集合表示对象之间的关系

图,结点和连接点的边的集合

有限状态机,为计算建模


幂集,所有子集的集合


有序n元组,自然数到某集合的关系

序偶(有序二元组)


笛卡尔积,两个集合的元素任意的序偶的集合



谓词即真值集



函数

函数的图即序偶集合