2011年2月25日

逻辑的应用领域与分支

摘要： 从 Journal of Applied Logic 的编委会名单可以大致了解逻辑的应用领域和分支有哪些。这大概是我见过最长的编委会名单了，也是我见过的分类最细的编委会名单。大概也只有 Gabbay 这样的大牛才能聚齐这么多人。从这个名单来看，逻辑仿佛成了一个相当宏伟的领域和事业。逻辑的应用范围从数 阅读全文

posted @ 2011-02-25 23:59 ilogic 阅读(849) 评论(0) 推荐(0) 编辑