- Main
- Mathematics
- 形式语言与自动机导论
形式语言与自动机导论
林兹이 책이 얼마나 마음에 드셨습니까?
파일의 품질이 어떻습니까?
책의 품질을 평가하시려면 책을 다운로드하시기 바랍니다
다운로드된 파일들의 품질이 어떻습니까?
书签已装载,
书签制作方法请找 yjyouaremysunshine@163.com
完全免费
本书是理论计算机科学方面的优秀教材,主要介绍形式语言、自动机、可计算性和相关内容。本书特别注意定义、定理的准确性和严格性,在定理的证明中给出了直观的动机和框架,避免多余的数学细节,这有利于培养学生形式化和严格的数学推理能力,加强对问题的理解;本书通过精心设计的大量示例,生动剖析了各种定理和定义,概念清晰,深入浅出。每章后面还给出了难度不同的习题,并给出部分习题的解答,可使学生加深对基本原理的理解并增强应用能力。 本书主要介绍形式语言、自动机、可计算性和相关内容。主要内容包括:计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图灵机、形式语言和自动机的层次结构、计算复杂性等。每节后面都给出了习题,并包含部分习题的解答,方便教学。 本书是理论计算机科学方面的优秀教材之一,可作为高等院校计算机专业的教材,也可作为计算机系统研发人员的参考书。
书签制作方法请找 yjyouaremysunshine@163.com
完全免费
本书是理论计算机科学方面的优秀教材,主要介绍形式语言、自动机、可计算性和相关内容。本书特别注意定义、定理的准确性和严格性,在定理的证明中给出了直观的动机和框架,避免多余的数学细节,这有利于培养学生形式化和严格的数学推理能力,加强对问题的理解;本书通过精心设计的大量示例,生动剖析了各种定理和定义,概念清晰,深入浅出。每章后面还给出了难度不同的习题,并给出部分习题的解答,可使学生加深对基本原理的理解并增强应用能力。 本书主要介绍形式语言、自动机、可计算性和相关内容。主要内容包括:计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图灵机、形式语言和自动机的层次结构、计算复杂性等。每节后面都给出了习题,并包含部分习题的解答,方便教学。 本书是理论计算机科学方面的优秀教材之一,可作为高等院校计算机专业的教材,也可作为计算机系统研发人员的参考书。
카테고리:
년:
2005
출판사:
机械工业出版社
언어:
chinese
페이지:
289
ISBN 10:
7111167880
ISBN 13:
9787111167884
시리즈:
计算机科学丛书
파일:
PDF, 13.50 MB
개인 태그:
IPFS:
CID , CID Blake2b
chinese, 2005
파일이 귀하의 이메일로 송부 됩니다. 1-5분 소요됩니다.
1~5분 이내로 파일이 사용자님의 Telegram 계정으로 전송될 것입니다.
주의: 자신의 계정이 Z-Library Telegram 봇과 연결되어 있는지 확인하십시오.
1~5분 이내로 파일이 사용자님의 Kindle 기기로 전송될 것입니다.
비고: Kindle로 보내시는 책은 모두 확인해 보실 필요가 있습니다. 메일함에 Amazon Kindle Support로부터 확인 메일이 도착했는지 메일함을 점검해 보시기 바랍니다.
로의 변환이 실행 중입니다
로의 변환이 실패되었습니다