计算理论导引

正版新书新华官方库房直发可开电子发票

56.07 6.3折 89 全新

库存4件

江苏南京

认证卖家担保交易快速发货售后保障

作者(美)迈克尔·西普塞(Michael Sipser) 著

出版社机械工业出版社

ISBN9787111602057

出版时间2018-07

版次1

装帧平装

开本16开

纸张胶版纸

页数458页

定价89元

货号SC:9787111602057

上书时间2024-09-17

已实名已认证进店收藏店铺

商品描述: 作者简介:
迈克尔·西普塞，美国麻省理工学院应用数学系教授，计算机科学和人工智能实验室（CSAIL）成员。他从事理论计算机科学与其他数学课程的教学工作三十多年，目前为数学系主任。他痴迷于复杂性理论，喜欢复杂性理论的教学工作。
内容简介:
本书由计算理论领域的知名学者MichaelSipser所撰写。他以独特的视角，系统地介绍了计算理论的三大主要内容：自动机与语言，可计算性理论，计算复杂性理论。全书以清新的笔触、生动的语言给出了宽泛的数学原理，而没有拘泥于某些低层次的细节。在证明之前，均有“证明思路”，帮助读者理解数学形式下蕴涵的概念。本书可作为计算机专业高年级本科生和研究生的教材，也可作为研究人员的参考书。
目录:
PrefacetotheFirstEdition.iv
To the student.iv
To the educatorv
The frst editionvi
Feedback to the authorvi
Acknowledgments.vii
Preface to the Second Edition.ix
Preface to the Third Edition.xi
0 Introduction.1
0.1 Automata, Computability, and Complexity.1
Complexity theory.2
Computability theory.3
Automata theory3
0.2 Mathematical Notions and Terminology3
Sets.3
Sequences and tuples.6
Functions and relations7
Graphs.10
Strings and languages.13
Boolean logic14
Summary of mathematical terms.16
0.3 Defnitions,
...

— 没有更多了 —