网站首页 词典首页
李祥编著。
贵州人民出版社1986年10月版。10．6万字。
数理逻辑递归理论的导引，主要阐述可计算性理论的最基本知识。分12章，内容包括：递归函数，图灵可计算函数，等价定理，计算模型与church论题，递归论的基本定理，算术谱系，递归可枚举集，图灵归约与跃变算子，有穷延伸与有穷损害的优先方法，计算复杂性，递归数学。
为“计算机科学丛书”之一。
文网收录3541549条中英文词条，其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似，基本涵盖了全部常用中英文字词句的读音、释义及用法，是语言学习和写作的有利工具。