缺省逻辑的扩充

本书首先从形式上较为简单的有限的无前提正规闭缺省理论入手，系统的研究了有限的无前提正规闭缺省理论的相容扩充，对相容扩充进行了分类；同时，对缺省规则固定时，缺省理论可能有的不同相容扩张的个数进行了估计。...

国际政治的逻辑

本书为理论学术著作。内容分国家、国际、国家与国际三部分有效地展示了国际政治的内在逻辑，分析研究和总结了国际体系的总体演化规律及根本动力，预测了国际体系的演化前景。...

价值理论：一个对劳动价值论的寻求合乎逻辑的解释

会计核算制度改革方向、模式及实施

热点瞭望 中国改革的七个焦点命题

中国政改怎样改？经改怎样改？社改怎样改？教改怎样改？这些过去你不太关心的疑问，现在是否越来越多地进入你的世界？曾供职于中国著名时政杂志《南风窗》、现为人民网福建频道总编辑的钟岷源先生，向你展示了近三年......

新形势下党的作风建设和反腐倡廉建设热点问题解答

本书根据2009年9月18日召开的四次全会的最新精神编写，从加强和改进新形势下党的作风建设和反腐倡廉建设两个方面，分别以几十个热点话题设计了问答，可以帮助广大党员更深刻地领悟全会精神，更好地贯彻落实。...

逻辑与计算机设计基础实验与课程设计

本书为计算机专业课程综合实验系列规划教材，为配合《逻辑与计算机设计基础》课程的实验教程。教材体系分两部分，20个基本实验与24个课程设计分析、10个课程设计任务指导。...

罗素文集 第10卷 逻辑与知识

本书是英国著名哲学家罗素的一部主要著作。由罗伯特·查理斯·马什主编。全书由罗素1901～1950年发表的十篇文章所组成。

吴允曾选集 数理逻辑与计算机科学

数字逻辑EDA设计与实践

本书主要介绍了EDA技术、可编程逻辑器件CPLD/FPGA的基本概念和知识、MAX+plus II和QuartusII等EDA开发工具的基本使用方法和设计技巧、VHDL硬件描述语言等内容。...