扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
深度学习
-
>
Unreal Engine 4蓝图完全学习教程
-
>
深入理解计算机系统-原书第3版
-
>
Word/Excel PPT 2013办公应用从入门到精通-(附赠1DVD.含语音视频教学+办公模板+PDF电子书)
可计算性与计算复杂性导引-第3版 版权信息
- ISBN:9787301177686
- 条形码:9787301177686 ; 978-7-301-17768-6
- 装帧:暂无
- 册数:暂无
- 重量:暂无
- 所属分类:>
可计算性与计算复杂性导引-第3版 内容简介
《可计算性与计算复杂性导引(第3版)》是学习计算理论的教材和参考书,内容包括三部分:可计算性、形式语言与自动机、计算复杂性.主要介绍几种计算模型及它们的等价性,函数、谓词和语言的可计算性等基本概念,形式语言及其对应的自动机模型,时间和空间复杂性,np完全性等. 《可计算性与计算复杂性导引(第3版)》可作为计算机专业本科生和研究生的教材,也可作为从事计算机科学技术的研究和开发人员的参考书,还可作为对计算理论感兴趣的读者的入门读物.
可计算性与计算复杂性导引-第3版 目录
**章 程序设计语言 和可计算函数
1.1 预备知识
1.2 church-turing论题
1.3 程序设计语言
1.4 可计算函数
1.5 宏指令
习题
第二章 原始递归函数
2.1 原始递归函数
2.2 原始递归谓词
2.3 迭代运算、有界量词和极小化
2.4 配对函数和godel数
2.5 原始递归运算
2.6 ackermann函数
2.7 字函数的可计算性
1.1 预备知识
1.2 church-turing论题
1.3 程序设计语言
1.4 可计算函数
1.5 宏指令
习题
第二章 原始递归函数
2.1 原始递归函数
2.2 原始递归谓词
2.3 迭代运算、有界量词和极小化
2.4 配对函数和godel数
2.5 原始递归运算
2.6 ackermann函数
2.7 字函数的可计算性
展开全部
书友推荐
- >
人文阅读与收藏·良友文学丛书:一天的工作
人文阅读与收藏·良友文学丛书:一天的工作
¥14.7¥45.8 - >
回忆爱玛侬
回忆爱玛侬
¥23.0¥32.8 - >
有舍有得是人生
有舍有得是人生
¥17.1¥45.0 - >
苦雨斋序跋文-周作人自编集
苦雨斋序跋文-周作人自编集
¥6.9¥16.0 - >
经典常谈
经典常谈
¥12.7¥39.8 - >
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
¥9.9¥23.0 - >
罗庸西南联大授课录
罗庸西南联大授课录
¥13.8¥32.0 - >
推拿
推拿
¥12.2¥32.0
本类畅销
-
”互联网+“时代计算机算法的应用及其实践研究
¥19.9¥59 -
微服务设计
¥52.8¥69 -
图说深度学习:用可视化方法理解复杂概念
¥109¥188 -
计算机基础
¥17.2¥31 -
改变未来的九大算法
¥50¥68 -
生成式AI入门与AWS实战
¥77.8¥99.8