宋丽华

计算理论与符号逻辑.pdf

本书共十五章,主要包括集合的可数性、图灵可计算性、算盘可计算性、递归函数可计算性、递归函数与递归关系、不同计算模型之间的等价性等。