#计算机科学方法# 相关文档
-
形式化验证的非正式介绍.pptx
201464??形式化验证的非正式介绍南京大学计算机系赵建华为什么要形式化自然语言天生具有二义性原因：上下文生活教育背景不同故事：巴别塔使用自然语言进行推导时不严谨人很自然地会忽略显然如此的情况即使是数学家的论文其中也有论证(但是结论通常是正确的)解决办法之一：形式化什么是形式化方法Inputer science formal methods are a particular kind o
日期：2022-04-24 格式：.pptx 页数：19页 大小：75.17KB 发布：
- 1
- 1/1页
客服
顶部