搜索【证明】的结果

递归程序的正确证明（WORD,程序设计方法学论文)

本论文讲叙了递归程序的正确证明，本文实际是程序设计方法学的平时论文，主要讲叙了递归程序证明的集中方法，并举例论证。

2019-12-21 20:09:09 104KB 递归程序证明

1

密码学中的可证明安全性-杨波-2014.11.11

2019-12-21 19:49:39 1.6MB 可证明安全

1

香农公式的相关证明

香农公式的中文证明中文的还基本值得一看

2019-12-21 19:42:53 938KB 香农公式证明

1

Coq poly.v 答案

Coq poly.v 证明答案证明辅助器多态 poly.v poly.v

2019-12-21 19:24:45 42KB Coq poly.v 证明答案

1

密码学中的可证明安全性-杨波-扫描版

《密码学中的可证明安全性》书籍扫描版，杨波，清华大学出版社

2019-12-21 18:47:53 35.56MB 密码学 可证明安全性 杨波

1