当前位置:首页 > TAG信息列表 > 逻辑
逻辑
-
现代逻辑若干问题研究
李娜编著2000 年出版186 页ISBN:7810417495国家社会科学出版基金资助项目河南大学学术著作和教材出版基金资助:本书通过建立一阶算术系统PQC以及其他一些方法来证明歌德尔不完全性定理的成立。还论述了关于公理集合论的研究成果。...
-
可编程逻辑器件与VHDL语言
程云长主编;王莉莉,陈立力副主编2005 年出版325 页ISBN:7030161033本书详细地介绍了三部分内容:一是可编程逻辑器件CPLD 和 FPGA 的基本原理 。二是使用上述两种器件要用到的硬件描述语言,即VHDL语言。三是Altera公司推出的广为流传的数字电路开发工具--MAX+PLUS II。书中提...