计算中的基本理论与方法




作者:周培德
中图分类:工业技术 ->自动化、计算机 ->计算技术、计算机技术
出版日期:1997-09-01
主题词:电子计算机-算法理论-计算方法
分享到:



  
这个是隐藏的空行
内容简介

    本书系统地介绍了计算机科学中的基本理论与方法,全书分10章,包括,预备知识,有穷自动机与正规语言、图灵机、递归函数、计算复杂性、程序正确性证明、定理的机器证明、非标准逻辑、推理方法、按自然法则算等。
这个是隐藏的空行
写书评 (不超过2000个字符)
这个是隐藏的空行

这个是隐藏的空行

最新评论


    法律声明 | 关于本站 | 意见反馈 | 联系我们

    © 2012 CKCEST ICP备案号:京ICP备14021735号-2