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

文档格式：PPT　文档大小：323.5KB　文档页数：73

上海交通大学：《离散数学》课程教学资源（PPT课件）第5章谓词逻辑的等值和推理演算

文档格式：PPT　文档大小：298KB　文档页数：14

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

文档格式：PPT　文档大小：414.5KB　文档页数：22

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

文档格式：PPT　文档大小：339.5KB　文档页数：12

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

文档格式：PPT　文档大小：457KB　文档页数：23

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

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

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

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

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

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

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

文档格式：PPT　文档大小：1.12MB　文档页数：191

第一章命题逻辑 1命题 2命题联结词 3命题变元与命题公式 4等价式 5永真蕴含式 6命题联结词总结 7范式和判定 8推论规则和证明方法

文档格式：PDF　文档大小：26.65KB　文档页数：2

数学归纳法是我们所学过的关于数学论证的一种行之有效的有利论证工具。然而,一天我却在网上看到这样的论证: 1、“饭永远吃不饱!”证明如下: n=1时,1粒饭绝对吃不饱,n=1成立设n=k时成立 n=k+1时,k粒饭吃不饱,多吃一粒也吃不饱的啦,n=k+1成立所以,对所有自然数n,都有n粒饭吃不饱