数理逻辑基础与粒计算

粒计算是近年来计算机科学许多领域关注和研究的热点，对它的研究思路和处理的方法就是把大的问题分解为小的问题，把整体的概念分解为细小的概念，把复杂的处理分解为简单的处理，总之就是把整体分解为粒。然后再通过粒之间的运算以寻求利用部分描述整体的办法。如何将这种思想形式化是众多学者研究和探讨的问题，本书稿就是通过数理逻辑的方法对粒计算进行研究。