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

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

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

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

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

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

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

处理指针相等关系不确定的指针逻辑 Pointer logic dealing with uncertain equality of pointers

广东财经大学：信息学院《数字逻辑电路与系统设计》课程教学大纲

清华附中有四位同学中的一位做了好事,不留名 ,表扬信来了之后,校长问这四位是谁做的好 事