计算机逻辑文库下载_中国高校课件下载中心

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

西安石油大学计算机学院：《数字逻辑 Digital Logic》精品课程教学资源（习题答案）第五章触发器

国防科学技术大学：《数理逻辑》（英文版）Lecture 5 Predicate Calculus

文档格式：PDF　文档大小：348.23KB　文档页数：23

The need for a richer language In P, it is not possible to express assertions about elements of a structure. First Order Logic is a considerably richer logic than propositional logic, but yet enjoys many nice mathematical properties

西安石油大学计算机学院：《数字逻辑 Digital Logic》精品课程教学资源（习题答案）第三章门电路

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

西安石油大学计算机学院：《数字逻辑 Digital Logic》精品课程教学资源（习题答案）第三章门电路

西安石油大学计算机学院：《数字逻辑 Digital Logic》精品课程教学资源（习题答案）第七章大规模集成电路

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

西安石油大学计算机学院：《数字逻辑 Digital Logic》精品课程教学资源（习题答案）第七章大规模集成电路

西安石油大学计算机学院：《数字逻辑 Digital Logic》精品课程教学资源（习题答案）第一章数制

文档格式：PDF　文档大小：151.4KB　文档页数：1

西安石油大学计算机学院：《数字逻辑 Digital Logic》精品课程教学资源（习题答案）第一章数制

西安石油大学计算机学院：《数字逻辑 Digital Logic》精品课程教学资源（习题参考）第一章数制

文档格式：DOC　文档大小：34KB　文档页数：3

西安石油大学计算机学院：《数字逻辑 Digital Logic》精品课程教学资源（习题参考）第一章数制

西安石油大学计算机学院：《数字逻辑 Digital Logic》精品课程教学资源（习题参考）第八章脉冲单元电路

文档格式：DOC　文档大小：1.77MB　文档页数：3

西安石油大学计算机学院：《数字逻辑 Digital Logic》精品课程教学资源（习题参考）第八章脉冲单元电路

西安石油大学计算机学院：《数字逻辑 Digital Logic》精品课程教学资源（习题参考）第七章大规模集成电路

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

西安石油大学计算机学院：《数字逻辑 Digital Logic》精品课程教学资源（习题参考）第七章大规模集成电路

国防科学技术大学：《数理逻辑》（英文版）Lecture 2 Propositional Calculus

文档格式：PDF　文档大小：375.49KB　文档页数：43

Syntax Formation Rules for P The The Axiomatic Structure of P Theorems and Derived Rules

一种用于指针程序验证的指针逻辑 Pointer logic for verification of pointer programs

文档格式：PDF　文档大小：396.9KB　文档页数：12

一种用于指针程序验证的指针逻辑 Pointer logic for verification of pointer programs