自动机理论、语言和计算导论（原书第2版）
✍ John E.Hopcroft; Rajeev Motwani; Jeffrey D.Ullman
📂 Library
📅 2004
🏛 机械工业出版社
🌐 Chinese
✦ LIBER ✦
📁
形式语言与自动机导论原书第三版
✍ Scribed by it-ebooks
- Publisher
- iBooker it-ebooks
- Tongue
- Chinese
- Leaves
- 301
- Series
- it-ebooks-extra
- Category
- Library
⬇ Acquire This Volume
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
形式语言与自动机导论
✍ 林兹
📂 Library
📅 2005
🏛 机械工业出版社
🌐 Chinese
书签已装载， 书签制作方法请找 [email protected] 完全免费 本书是理论计算机科学方面的优秀教材，主要介绍形式语言、自动机、可计算性和相关内容。本书特别注意定义、定理的准确性和严格性，在定理的证明中给出了直观的动机和框架，避免多余的数学细节，这有利于培养学生形式化和严格的数学推理能力，加强对问题的理解；本书通过精心设计的大量示例，生动剖析了各种定理和定义，概念清晰，深入浅出。每章后面还给出了难度不同的习题，并给出部分习题的解答，可使学生加深对基本原理的理解并增强应用能力。 本书主要介绍形式语言、自动机、可计算性和相关内容。主要内容包括：计算理论导引、有穷自
自动机理论、语言和计算导论 第三版
✍ Hoperoft. J. E.
📂 Library
📅 0
🏛 机械工业出版社
🌐 Chinese
逻辑学导论：原书第三版
✍ Harry J. Gensler,沈榆平,文学锋
📂 Library
📅 2021
🏛 科学出版社
🌐 Chinese
(This file is a scanned version of its corresponding physical book and has not yet undergone OCR processing) 本书在介绍逻辑学三段论、推理的非形式化内容、归纳推理等传统知识框架的基础上，展示了部分前沿成果，如道义和祈使逻辑、信念逻辑、元逻辑、异常逻辑等。本书对现代逻辑学中部分冗长、复杂的技术细节进行了简化，在证明体系中依次介绍若干符号逻辑系统，使各类读者能够较为直接地了解和掌握相关知识点。另外，在每章或每节后面列了一些习题，以便读者加深对前面所学内容的理解。 Contents
材料科学与工程导论(原书第9版): 原书第9版
✍ 小威廉·卡利斯特; 大卫·莱斯威什
📂 Library
📅 2017
🏛 科学出版社
🌐 Chinese
<p>本书从很基本的材料结构与性能关系出发，系统介绍了金属、无机非金属、高分子以及复合材料的原子结构与键合、晶体学基础、晶体缺隙、扩散、相图、加工与应用、力学性能、电化学性能、电性能、热性能、磁性能与光学性能等。此外，书中还将提供大量的具体材料应用实例，有利于加深学生对材料结构与性能关系的理解。</p>
材料科学与工程导论 原书第9版
✍ （美）小威廉·卡利斯特, （美）大卫·莱斯威什著; 陈大钦, 孔哲译
📂 Library
📅 2017
🏛 科学出版社
🌐 Chinese