08 2018 档案

证明与计算(3): 二分决策图(Binary Decision Diagram, BDD)
摘要：0x01 布尔代数(Boolean algebra) 大名鼎鼎鼎的stephen wolfram在2015年的时候写了一篇介绍George Boole的文章： "George Boole: A 200 Year View" 。 怎样用数学公理重新表达经典逻辑？George Boole在19世纪的时候 阅读全文
posted @ 2018-08-07 17:38 ffl 阅读(6532) 评论(4) 推荐(3) 编辑