逻辑与

数字逻辑与数字系统 | 4版

《数字逻辑与数字系统 | 4版》,作者:白中英主编;方维[等]编著 出版社:科学出版社 ISBN:9787030207272。本书包括开关理论基础、组合逻辑、时序逻辑、存储逻辑、可编程逻辑、数字系统、教学实验设计、课程综合设计等内容。

时序逻辑与时序逻辑程序设计

《时序逻辑与时序逻辑程序设计》,作者:Duan Zhenhua(段振华)著 出版社:科学出版社 ISBN:7030166515。The book presents a framing technique for temporal logic programming, which includes the definitions of new assignments, the assignment