| |||||||||||||||
| |||||||||||||||
|
|
||||||||||||||
| |||||||||||||||||||||||||||||||
|
>> It is the theory that decides what can be observed. - Albert Einstein |
 [返回] 中文XML论坛 - 专业的XML技术讨论区 →
计算机理论与工程 → 『 理论计算机科学 』 → 在学习model checking,请问什么是decidable property,同样什么是undecidable property?
|
◇查看新帖 ◇ 用户列表 ◇ |
  (订阅本版)
|
您是本帖的第 8901 个阅读者
 
|
|
||||||
  等级：大一新生 文章：0 积分：52 门派：XML.ORG.CN 注册：2005/6/17
姓名：(无权查看)
城市：(无权查看) 院校：(无权查看) |
| ||||||||
 2005/6/17 12:04:00 | |||||||||
等级：大一新生 文章：2 积分：93 门派：XML.ORG.CN 注册：2005/5/3
姓名：(无权查看)
城市：(无权查看) 院校：(无权查看) |
| ||||||||
| 2005/7/3 17:28:00 | |||||||||
等级：大二期末(数据结构考了98分!) 文章：50 积分：360 门派：XML.ORG.CN 注册：2005/4/22
姓名：(无权查看)
城市：(无权查看) 院校：(无权查看) |
| ||||||||
| 2005/9/28 17:56:00 | |||||||||
等级：大一新生 文章：4 积分：97 门派：XML.ORG.CN 注册：2005/11/18
姓名：(无权查看)
城市：(无权查看) 院校：(无权查看) |
| ||||||||
| 2005/11/26 23:35:00 | |||||||||
 等级：大一新生 文章：1 积分：50 门派：无门无派 院校：未填写 注册：2007-01-01 |
| ||||||||
| 2024/5/13 19:17:49 | |||||||||
| 本主题贴数4，分页： [1] |
| 管理选项： 修改tag | 锁定 | 解锁 | 提升 | 删除 | 移动 | 固顶 | 总固顶 | 奖励 | 惩罚 | 发布公告 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
62.500ms |
新浪微博
在学习model checking,请问什么是decidable property,同样什么是undecidable property?
