![](https://img-blog.csdnimg.cn/20201014180756922.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
数学
FrankYang6666
这个作者很懒,什么都没留下…
展开
-
读《编程的数学原理》
读《编程的数学原理》读书目标计算机程序其实就是一个形式系统算法就是数学掌握编程范式组合与抽象集合与逻辑函数与关系组合与时序数理逻辑五个部分:逻辑演算、证明论、公理集合论、递归论、模型论第一章自然数几何原本公理化系统皮亚诺公理(Peano Axioms)归纳公理皮亚诺算数系统自然数与计算机程序公理化的加法乘法定理递归函数累加与阶乘自然数同构自然数同构于...原创 2019-04-28 14:13:15 · 1410 阅读 · 1 评论 -
计算理论导引
计算理论导引计算机的基本能力和限制是什么?计算理论自动机可计算性复杂性计算复杂性理论复杂性理论的核心问题:是什么使得某些问题很难计算,又使得另一些问题容易计算?复杂性理论的一个重要成果:发现一个按照计算难度给问题分类的完美体系。面对难题:1. 搞清问题困难的根源,改变问题条件变成简单问题,2.近似解,3.问题在最坏情况下困难,随机计算。密码学需要复杂性目标是把问题分...原创 2019-04-30 22:05:31 · 4041 阅读 · 0 评论