许多事情的发生，包括疾病，甚至死亡，以及金融信贷，都有各种各样、错综复杂的形式。有效地刻画这些形式，...
2020.3
本书笔者力求对每一个理论算法都给出现有技术的程序实现，用以验证理论算法的正确性。虽然此前已经在理论上...
2013.9
本书为英国国家高等教育文凭项目英文原版教材。
2006.01
本书给出C语言的实现函数，形成一个通用的函数库，并详尽地加以解析。伴随各种算法的设计、分析及程序实现...
2015.
递归论是数理逻辑的四大分支之一，创立于20世纪30年代，它的产生源于解决数学中的判定问题。从20世纪50年代...
2018.10
本书是“格致方法·定量研究系列”丛书中的一部，主要围绕非递归联立方程组中关于模型的指定、识别、估计、评...
2016.12
1936年，24岁的图灵发表了现代计算领域奠基性的论文《论可计算数及其在判定问题上的应用》。在本书中，作者...
2016.9
本书是一本人门书，对递归论的各个发展方向(古典的与新兴的)都作了比较详细而有系统的介绍。前四章是初等部...
1987.11
本书讲述了作者对多位数乘法的研究创新成果。这种成果方法通过对两单数乘积有规律的排列，先乘后加、乘加完...
2015.8
本书首先简要回顾了递归模型的基本假设，然后才转入讨论非递归模型如何被应用于估计更为复杂的方程系统，其...
2012.