本书是面向MBA、MPA、MPAcc、GCT等各类在职硕士考生的考前辅导用书，目的是通过对逻辑解题训练，帮助广大非...
2007.04
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、...
2007.06
本书是一本介绍数理逻辑的基础教材。
2007.07
本书介绍汤璪真先生所著几何与数理逻辑的内容。
2007.05
数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有方法论层面上的指导作用...
2007.
粒计算是近年来计算机科学许多领域关注和研究的热点，对它的研究思路和处理的方法就是把大的问题分解为小的...
2007.
本书共分两部分，第一部分描述了数理逻辑的一些原理，较深入地挖掘了无限性问题；第二部分讨论空间、时间，...
2007.07