可表达性相关论文
共代数是代数的对偶概念，基于观察的角度考察集合及其上操作。计算机科学中很多系统都可以归结为共代数，如自动机、抽象数据类型、面......
学位
古典的逻辑图主要包括欧拉图和文恩图（一般也把经过皮尔士改造过的文恩图“皮尔士-文恩图”包括在内）。由于可靠（且完全）的逻辑推演规......
