Formale System-BDD
来源:互联网 发布:淘宝网企业店铺标志 编辑:程序博客网 时间:2024/06/02 08:58
Shannon Formel
Shannon Formel是一个三元操作(Operator) sh(A,B,C)
//即是一个条件分支,
sh-Operator的属性
规范化shannon-Formel(Normierte Shannon-Formeln)
定义:
1.常量0,1是规范化的sh-Formel
2.
A和B是规范化的sh-Formel并且对于每一个在A或B中出现的变量
定理:
每一个表达逻辑的Formel,都存在一个与之等价的规范化的sh-Formel//证明不懂???
Shannon-Graph
0 0
- Formale System-BDD
- 形式系统(Formale System)-SAT问题
- 什么是BDD?
- TDD&BDD
- BDD现炒现卖
- Behavior-driven development(BDD)
- 敏捷开发--BDD
- 从 TDD 到 BDD
- BDD 与 TDD
- TDD、BDD、DDD简介
- BDD in Action
- TDD ATDD & BDD
- The TDD & BDD interfaces
- Python BDD 学习资源
- BDD 学习篇
- bdd logo位置
- 简写BDD-Behavior-Driven Development
- js BDD Test framework jasmine
- GibLab 笔记
- JS的 escape、encodeURI 、encodeURIComponent 编码与解码
- spring加密properties文件
- iOS开发系列--通知与消息机制
- IOS之UITabBarController
- Formale System-BDD
- ROS 教程之 navigation : 用 move_base 控制自己的机器人(2)
- android中的空指针异常NullpointExcepiton
- 毕业设计
- 利用ecache实现自定义缓存框架
- hdu 1238 Substrings (最长相同连续子序列)
- R Sprache
- 影响页面浏览性能的css属性
- iOS 怎样切换横竖屏