张文著2008 年出版235 页ISBN:9787206057069
本选题从主谓语法结构与主谓宾语法结构的差别入手,说明了如何把形式逻辑发展为辩证逻辑。是逻辑学领域的一个新的研究课题。
(美)罗德斯,(美)波斯伯塞尔著2015 年出版404 页ISBN:9787562061731
本书所说的“符号逻辑”是与亚里士多德传统逻辑相比较的,由弗雷格、罗素、怀特海等人提出的现代逻辑(命题逻辑和谓词逻辑)。本书作者利用现代逻辑的技术手段,把自然语言表达的法律案例符号化,然后通过形式系统的...
俞一鸣等编著2007 年出版236 页ISBN:9787111221333
本书系统地介绍了ALTERA公司的CPLD和FPGA产品。