形式化逻辑相关论文
计算机网络的出现使世界的联系变得更加紧密。但是，开放式网络上和分布式系统上不断增长的各种应用尤其是电子商务的蓬勃发展，对系统......
空间逻辑是当前计算机理论、人工智能理论领域中正在兴起,而又具强大生命力的学科。在很短的时间内,国内外形成很多科研团体,各个......
王路批评我国高校哲学教学拒绝现代逻辑是正确的，对以《普通逻辑》为代表的逻辑教材表示不满完全是正当合理的。但是，除了形式化逻辑......
