本书是应用科学分析的方法系统研究建筑造型的专著。它将形态构成理论与建筑形式研究相结合，从建筑形态的基本形式（点、线、面、体）、基本要素（形状、色彩、质感、尺度、空间、方向、位置）、形式结构式样（点式、线式、网格式、三段式、对称式、垂直水平式、围合式、半围合式、边框式、基准式、辐射式、螺旋式、集中式、聚合式）、建筑造型法（外围加工、凹凸曲折、相似与重复、穿插、切削、挖、旋转、拉伸、断裂、错位、仿生物形态、几何变异、化简）几方面分层逐项展开。书中运用形象的图示语言，系统分析、研究建筑形式的性质、表达和形式处理手法。    【目录】 前言； 第一章概论： 一、关于建筑形式研究， 二、建筑形式语言， 三、建筑造型的美学原理， 四、建筑艺术的审美特征， 五、抽象美学观对建筑创作的影响； 第二章基本形式： 一、点，二、线，三、面...(展开全部)

《普通高等教育"十一五"国家级规划教材•21世纪大学本科计算机专业系列教材:形式语言与自动机理论(第2版)》是作者结合其20余年来在大学讲授该门课程的经验和体会，选择和组织有关内容撰写而成。不仅含有有关正则语言、上下文无关语言的文法、识别模型及其性质、图灵机的基本知识，更涉及到本学科方法论中所包含的3个学科形态。其内容特点是抽象和形式化，既有严格的理论证明，又具有很强的构造性，从而培养学生的形式化描述和抽象思维能力，使学生了解和初步掌握“问题、形式化、自动化（计算机化）”的解题思路。为了便于学生对内容的掌握，附录A还给出了建议的教学设计。

本书是理论计算机科学方面的优秀教材，主要介绍形式语言、自动机、可计算性和相关内容。本书特别注意定义、定理的准确性和严格性，在定理的证明中给出了直观的动机和框架，避免多余的数学细节，这有利于培养学生形式化和严格的数学推理能力，加强对问题的理解；本书通过精心设计的大量示例，生动剖析了各种定理和定义，概念清晰，深入浅出。每章后面还给出了难度不同的习题，并给出部分习题的解答，可使学生加深对基本原理的理解并增强应用能力。　　本书主要介绍形式语言、自动机、可计算性和相关内容。主要内容包括：计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图灵机、形式语言和自动机的层次结构、计算复杂性等。每节后面都给出了习题，并包含部分习题的解答，方便教学。　　本书是理论计算机科学方面的优秀教材之一，可作为高等院校计算机专业的教材，也可作为计算机系统...(展开全部)

本书精辟地阐述了计算课程的入门理论，简明地解释了复杂的思想并且提供了坚实的数学基础知识。作者提供了直观的证明，同时避免过多数学细节，这样学生就能够集中精力理解基本理论。许多精心选择的例子在几种上下文中重复出现，这样学生就能够通过对比式的研究加强理解。

本书精辟地阐述了计算课程的入门理论，简明地解释了复杂的思想并且提供了坚实的数学基础知识。作者提供了直观的证明，同时避免过多数学细节，这样学生就能够集中精力理解基本理论。许多精心选择的例子在几种上下文中重复出现，这样学生就能够通过对比式的研究加强理解。

本书是理论计算机科学方面的优秀教材，主要介绍形式语言、自动机、可计算性和相关内容。本书特别注意定义、定理的准确性和严格性，在定理的证明中给出了直观的动机和框架，避免多余的数学细节，这有利于培养学生形式化和严格的数学推理能力，加强对问题的理解；本书通过精心设计的大量示例，生动剖析了各种定理和定义，概念清晰，深入浅出。每章后面还给出了难度不同的习题，并给出部分习题的解答，可使学生加深对基本原理的理解并增强应用能力。　　本书主要介绍形式语言、自动机、可计算性和相关内容。主要内容包括：计算理论导引、有穷自动机、正则语言与正则文法、上下文无关语言及文法、下推自动机、图灵机、形式语言和自动机的层次结构、计算复杂性等。每节后面都给出了习题，并包含部分习题的解答，方便教学。　　本书是理论计算机科学方面的优秀教材之一，可作为高等院校计算机专业的教材，也可作为计算机系统...(展开全部)

本书详细介绍了各大学工科学士、理学硕士、商业和行政管理硕士、工科硕士及计算机学硕士教学大纲中提到的关于计算理论的所有领域。对于那些对这门学科有着浓厚兴趣的人来说，此书不仅理论翔实，并附有大量图例。本书前几章介绍了研究自动机理论所必需的基础知识。例如：正则语言和克莱恩定理；最小自动机和句法幺半群；背景无关语言和下推自动机之间的关系；图灵机和可判定性。本书有助于学生形成更为非正式的书写风格，同时以最深入浅出的方式介绍了自动机理论、构建证据的坚实处理、帮助传达思想的许多图表，以及突出相关资料的侧注。每一章都提供了大量的实操练习。

形式语言与自动机理论，ISBN：9787302061038，作者：蒋宗礼，姜守旭编著