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

文档格式：DOC　文档大小：28.5KB　文档页数：2

广东海洋大学：《数字电子技术》课程教学资源（授课计划）教案4 2.3 逻辑函数及其描述方法（2.3.3-2.3.7）

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

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

文档格式：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　文档大小：2.18MB　文档页数：75

Motivation History Fuzzy Sets Fuzzy Logic Fuzzy System

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

《会计学》课程教学资源（参考文献）复式记账逻辑的历史探讨_王春山

文档格式：PDF　文档大小：300.18KB　文档页数：14

《软件学报》：用于指针逻辑的自动定理证明器 Automated theorem prover for pointer logic

文档格式：PDF　文档大小：423.87KB　文档页数：9

《计算机学报》：一种用于指针程序安全性证明的指针逻辑