可计算性与计算复杂性导引(第2版)/高等院校计算机专业及专业基础课系列教材--聚文网

精选

¥5.83

世界图书名著昆虫记绿野仙踪木偶奇遇记儿童书籍彩图注音版

¥5.39

正版世界名著文学小说名家名译中学生课外阅读书籍图书批发 70册

¥8.58

简笔画10000例加厚版2-6岁幼儿童涂色本涂鸦本绘画本填色书正版

¥5.83

世界文学名著全49册中小学生青少年课外书籍文学小说批发正版

¥4.95

全优冲刺100分测试卷一二三四五六年级上下册语文数学英语模拟卷

¥8.69

父与子彩图注音完整版小学生图书批发儿童课外阅读书籍正版1册

¥24.2

好玩的洞洞拉拉书0-3岁宝宝早教益智游戏书机关立体翻翻书4册

¥7.15

幼儿认字识字大王3000字幼儿园中班大班学前班宝宝早教启蒙书

¥11.55

用思维导图读懂儿童心理学培养情绪管理与性格培养故事指导书

¥19.8

少年读漫画鬼谷子全6册在漫画中学国学小学生课外阅读书籍正版

¥64

科学真好玩

¥12.7

一年级下4册·读读童谣和儿歌

¥38.4

原生态新生代(传统木版年画的当代传承国际研讨会论文集)

¥11.14

法国经典中篇小说

¥11.32

上海的狐步舞--穆时英(中国现代文学馆馆藏初版本经典)

¥21.56

猫的摇篮(精)

¥30.72

幼儿园特色课程实施方案/幼儿园生命成长启蒙教育课程丛书

旧时风物(精)

三希堂三帖/墨林珍赏

寒山子庞居士诗帖/墨林珍赏

苕溪帖/墨林珍赏

楷书王维诗卷/墨林珍赏

兰亭序/墨林珍赏

祭侄文稿/墨林珍赏

蜀素帖/墨林珍赏

真草千字文/墨林珍赏

进宴仪轨(精)/中国古代舞乐域外图书

舞蹈音乐的基础理论与应用

内容简介

本书是学习理论计算机科学基础的教材和参考书，内容包括三部分：可计算性、形式语言与自动机、计算复杂性。主要介绍几种计算模型及它们的等价性，函数、谓词和语言的可计算性等基本概念，形式语言及其对应的自动机模型，时间和空间复杂性，NP接近性等。
本书可作为计算机专业本科生和研究生的教材，也可作为从事计算机科学技术的研究和开发人员的参考书，还可作为对理论计算机科学感兴趣的读者的入门教材。

第一章程序设计语言×和可计算函数
  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 字函数的可计算性
  习题
第三章通用程序
  3.1 程序的代码
  3.2 停机问题
  3.3 通用程序
  3.4 递归可枚举集
  习题
第四章 Turing 机
  4.1 Turing 机的基本模型
  4.2 Turing 机的各种形式
  4.3 Turing 机与可计算性
  4.4 Turing 机接受的语言
  4.5 非确定型Turing 机
  习题
第五章过程与文法
  5.1 半Thue过程
  5.2 用半Thue过程模拟Turing 机
  5.3 文法
  5.4 再论递归可枚举集
  5.5 部分递归函数
  5.6 再论Church-Turing论题
  习题
第六章不可判定的问题
  6.1 判定问题
  6.2 Turing 机的停机问题
  6.3 字问题和Post对应问题
  6.4 有关文法的不可判定问题
  6.5 一阶逻辑中的判定问题
  习题
第七章正则语言
  7.1 Chomsky谱系
  7.2 有穷自动机
  7.3 有穷自动机与正则文法的等价性
  7.4 正则表达式
  7.5 非正则语言
  习题
第八章上下文无关语言
第九章时间复杂性与空间复杂性
第十章 NP完全性
第十一章 NP类的外面
第十二章 P类的里面
第十三章随机算法与随机复杂性类
附录
参考文献

可计算性与计算复杂性导引(第2版)/高等院校计算机专业及专业基础课系列教材

库存： {{selectedSku?.stock}} 库存充足