数理逻辑文库下载_中国高校课件下载中心

文档格式：PPT　文档大小：377.5KB　文档页数：20

复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_22/29

文档格式：PPT　文档大小：354KB　文档页数：15

复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_24/29

文档格式：PPT　文档大小：364KB　文档页数：16

复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_26/29

文档格式：PPT　文档大小：366.5KB　文档页数：13

复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_28/29

文档格式：PDF　文档大小：1.57MB　文档页数：54

 关系代数 ◦ 关系运算（选择、投影、连接，除运算）  关系演算 ◦ 以数理逻辑中的谓词演算为基础的。可分为：  元组关系演算语言（get，put等6条语句）  域关系演算语言QBE

文档格式：PDF　文档大小：163.58KB　文档页数：7

复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c02

文档格式：PDF　文档大小：123.28KB　文档页数：4

复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c05

文档格式：PDF　文档大小：115.03KB　文档页数：3

复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c07

文档格式：PDF　文档大小：126.5KB　文档页数：4

复旦大学：《数理逻辑》课程教学资源（作业习题）exercise_c09-10

文档格式：PDF　文档大小：438.21KB　文档页数：26

第1节引言第2节命题逻辑的语言第3节真值指派第4节唯一可读性第5节其它联词第6节命题逻辑的一个推演系统第7节命题逻辑的自然推演第8节命题逻辑的可靠性和完全性定理第9节模态逻辑简介