有做过Hoare Logic的没？ - CS版 - 未名存档

本页内容为未名空间相应帖子的节选和存档，一周内的贴子最多显示50字，超过一周显示500字访问原贴

CS版 - 有做过Hoare Logic的没？

相关主题
● 为什么有这么多逻辑？	● Paper help needed
● 英国大学Turing奖排名 (转载)	● 如何确保多线程程序在 multicore server 上用所有的 core
● 做computer vision的还没出过一个图灵奖	● natural and logical languages
● About scheduling for RAID	● 选课求助
● 表扬一下Rajeev Alur 同学	● 这些课有用么
● 大家给点建议, 那些Artificial Intelligence techniques现在用的比较多?	● CS课程选择
● cloud	● [转载] Face Recognition
● 问高手一个分区的问题	● How about formal verification?

相关话题的讨论汇总
话题: logic话题: hoare

进入CS版参与讨论

1

(共1页)

m****s 发帖数: 402	1 Hoare Logic有什么应用?
s*******u 发帖数: 476	2 verification?
m****s 发帖数: 402	3 能具体讲解一下不？俺是外行...

1

(共1页)

进入CS版参与讨论

相关主题
● How about formal verification?	● 表扬一下Rajeev Alur 同学
● software verification(in embedded system)就业前景如何？	● 大家给点建议, 那些Artificial Intelligence techniques现在用的比较多?
● program language 这个方向现在如何	● cloud
● 借人气请教个关于“CA cert ”设置问题 (转载)	● 问高手一个分区的问题
● 为什么有这么多逻辑？	● Paper help needed
● 英国大学Turing奖排名 (转载)	● 如何确保多线程程序在 multicore server 上用所有的 core
● 做computer vision的还没出过一个图灵奖	● natural and logical languages
● About scheduling for RAID	● 选课求助

相关话题的讨论汇总
话题: logic话题: hoare

未名新帖统计// 7月16日

#	版面	帖数(主题数)
-	全站	4871 (796)
1	Military	3777 (569)
2	Stock	341 (51)
3	Joke	117 (17)
4	History	116 (3)
5	Automobile	100 (9)
6	USANews	55 (9)
7	Midlife	45 (1)
8	Headline	41 (41)
9	Dreamer	33 (13)
10	FleaMarket	32 (20)
11	Living	30 (7)

* 这里只显示发帖超过25的版面，努力灌水吧:-)