计算理论导引

计算理论导引 pdf epub mobi txt 电子书 下载 2025

出版者:机械工业出版社
作者:[美]Michael Sipser
出品人:
页数:273
译者:张立昂
出版时间:2000-2
价格:30.00元
装帧:平装
isbn号码:9787111075745
丛书系列:计算机科学丛书
图书标签:
  • 计算理论
  • 计算机
  • 计算机科学
  • 数学
  • 理论计算机
  • 计算理论导引
  • 计算复杂性
  • 教材
  • 计算理论
  • 形式语言
  • 自动机
  • 可计算性
  • 复杂性理论
  • 算法
  • 离散数学
  • 理论计算机科学
  • 图灵机
  • 状态机
想要找书就要到 小美书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

具体描述

本书由计算理论领域的知名权威Michael Sipser撰写。他以独特的视角,综合地描述了计算机科学理论,并以清新的笔触、生动的语言给出了宽泛的数学理论,而并非拘泥于某些低层次的技术细节。在证明之前,均有“证明思路”,帮助读者理解数学形式下蕴涵的概念。同样,对于算法描述,均以直观的文字,而非伪代码给出,从而将注意力集中于算法本身,而不是某些模型。本书的内容包括三个部分:自动机与语言、可计算性理论和

作者简介

目录信息

译者序
前言
第1章
导引
1.1
自动机、可计算性与复杂性
1.1.1
计算复杂性理论
1.1.2
可计算性理论
1.1.3
自动机理论
1.2
数学概念和术语
1.2.1
集合
1.2.2
序列和多元组
1.2.3
函数和关系
1.2.4
· · · · · · (收起)

读后感

评分

评分

如果你周围的人在说P, NP之类,而你还不知道这些概念,请捧起这本书! 之后,如果你还想去解决它们,寻求解决思路可以参考这本Metaheuristics For Hard Optimization  

评分

如果你周围的人在说P, NP之类,而你还不知道这些概念,请捧起这本书! 之后,如果你还想去解决它们,寻求解决思路可以参考这本Metaheuristics For Hard Optimization  

评分

事知其然而后知其所以然。 现代计算机体系的构建,图灵机的数学模型的实现,正是指出了这道创世纪的光。 现在书里面的内容已经忘记的差不多了,只是记得不断的证明,一步步的证明,充满了智慧的光芒。 总之,是一本好的数学书。  

评分

我觉得作者很可爱,他同很多人一样很喜欢把一个复杂的问题说的很简单很通俗。 对于这本书来说,看了第一章,就应当一成的收获。计算机中重要的数学概念被解构的如此清楚,非常的难得。 另外,要说一下,翻译的问题。翻译的很不错(话说本来英文版就很上口),但是却是看原版会...  

用户评价

评分

理论计算机基础 教材

评分

理论计算机基础 教材

评分

从周末书市很小农的买了这本书,从此开始喜欢上了计算理论……

评分

理论计算机基础 教材

评分

理论计算机基础 教材

本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有