会员
周边
捐助
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
Feilong's Blog
幻灰龙的博客 Keep it simple and stupid
博客园
首页
管理
2018年8月7日
证明与计算(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
阅读(6015)
评论(4)
推荐(3)
编辑
公告