This book constitutes the refereed proceedings of the Third International Conference on Graph Transformations， ICGT 2006， held in Rio Grande do Norte， Brazil in September 2006.The 28 revised full papers presented together with 3 invited lectures were carefully selected from 62 submissions. All current aspects in graph drawing are addressed including graph theory and graph algorithms， theoretic and semantic aspects， modeling， contributions to software engineering and global computing， applications to biology， and tool issues. The papers are organized in topical sections on new graph transformation models， structure manipulation， borrowed contexts and adhesive categories， extensions for distributed and global computing， software engineering methods and tools， model-driven development， efficient implementation， and logics. In addition the volume contains a short de*ion of a tutorial on foundations and applications of graph transformations， and short presentations of the satellite events of ICGT 2006.

一部故事化的数学简史，古根海姆奖得主，最受欢迎的科普读物，连续六十周荣登《纽约时报》科普畅销书榜。充满洞见、极富启发、富于思辩且饱含幽默，这绝然是一部睿智的作品。——哈佛大学科学史教授，比特·加里森《雨林中的欧几里德》巧妙而富于创见地揭示了数学的实质与数学精神。——日本广岛市市长，秋叶忠利约瑟夫开创了一种极具吸引力的写作方式，他在每日的现实生活与奥妙的数学世界之间架起了一座奇妙的桥梁。——哈佛大学数学系主任，约瑟夫·哈里斯扬弃了复杂的证明和枯燥的专业语言，取而代之的是有趣的故事和丰富的经验，其结果便是智慧、奇妙和令人振奋。——《书业评论》公元前300年，欧几里德在十三卷羊皮纸上写下了《几何原本》，那时逻辑推理已经相当成熟，然而类似如下的论辩又使得常规的数理逻辑陷入了自相矛盾之中。让一个物体移动任意一段距离，它必须首先到达一半距离处，然后是剩余距离的一半处，如此连续地重复着，物体则永远不得不到达某个剩余距离的一半处，所以，它永远也不可能移动全部的距离……怪异的无穷以及诸如此类的有关推理与逻辑的疑问，向数学提出了艰巨的挑战。乍眼看来这些疑问常常令人敬畏，然而在本书中，我们将透过数学证明和数理逻辑的表面形式，来洞见数学之本源——数学思想和逻辑思维的基本模式，并以此来对上述疑问作以解析。正如书中所言：数学好似一座繁茂的雨林，漫步其中我们所感受到的不仅是智慧的伟大，由深邃思想和严密论证而带来的数学之美以及涉步于数学旅程之中所伴随的愉悦更加令人流连。

Program analysis is concerned with techniques that automatically determine run-time properties of given programs prior to run-time. It is used for validation in order to ensure that programs serve their intended purpose and in further processing for efficient execution such as in optimizing compilers. Optimal program analysis provides a guarantee about the precision of the computed results.This monograph， a revised version of the author's habilitation thesis， focusses on optimal flow analysis of sequential and parallel programs. It studies algorithmic properties of various versions of the well-known constant-propagation problem. In order to come to grips with the variants considered， it combines techniques from different areas such as linear algebra， computable ring theory， abstract interpretation， program verification， complexity theory， etc. Combination of techniques is the key to further progress in automatic analysis and constant-propagation allows us to illustrate this point in a theoretical study.After a general overview， the monograph consists of three essentially self-contained parts that can be read independently of each other. These parts study： a hierarchy of constants in sequential programs， inherent limits of flow analysis of parallel programs， and how to overcome these limits by abandoning a classic atomic execution assumption.

本套教材具有以下特点：作为经济和管理类专业公共数学基础课的主干课程，《微积分》分册、《线性代数》分册、《概率论与数理统计》分册的编写大纲，副括了目前各高校经济和管理类专业普遍采用的教学大纲和教育部颁布的经济类研究生入学统一考试考试大纲所要求的范围；突出了对其中所涉及的基本概念、基本理论和基本方法的介绍和训练；内容完整紧凑，难度适中，便于组织教学，能够在规定的课时内达到各个专业对公共数学基础课教学的基本要求和目的。考虑到一些经济和管理类专业对公共数学基础课有更高的要求和分级教学的需要，本套教材推出了《高级经济数学教程》分册，该书将为相关专业的学生提供更多面向经济学的高等数学知识。另外，作为高等数学知识的进一步延伸和扩展，本套教材同时推出了《实用运筹学》分册，该书将为经济和管理类专业提供数学在经济和管理中应用的实用知识，并同时介绍相关的计算机应用软件。

在传统的博弃理论中，“不完全信息”博弃仅仅是指某些参与人不了解其博弃对手的类型。事实上，在社会和经济博弈中，博弈参与人的支付矩阵往往不为其博弃对手所了解。本书点讨论在不对称信息—主要是参与人的支付矩阵—条件下，博弈参与人的博弈行为。显然，如果博弃参与人仅仅按照自己佑计的对手的支付矩阵信息而不是对手的真实的支付矩阵信息来决定自己的战略选择，博弈通常不能达到其纳什均衡。但是，在长期条件下，本书表明，无论是对手固定的重复博弃还是对手不固定的重复博弈，如果博弈的历史为所有博弃参与人的共同知识，或者，在长期条件下如果博弃对手的信息是可以无限接近的，那么，该重复博弃能够收敛于其纳什均衡点。本书同时对不确定条件下个体决策的冯·诺伊曼一摩根斯坦准则（期望效用法则，或称复合博弈公理）提出了批评，认为个体决策的目标并非是其期望效用最大化。作者在提出福利稳定性公理的基础上，推广和证明了阿莱斯效用准则。本书适宜作为经济学和社会科学院系的高年级本科生、研究生的参考读物，亦适宜经济学和社会科学研究工作者和对博弃理论有兴趣的读者阅读。

本书共分为八章，包括函数，极限与连续，导数与微分，基本定理与导数的应用，不定积分，定积分，多元函数，常微分方程初步。每章按照学习要点，基本要求，习题（A），习题（B），习题（A）答案，习题（B）答案等编写。本书可作为高等继续教育经济类与管理类学生学习微积分课程的教材，也可作为高等院校网络教育高等数学（B）课程的教材或自学参考书。对于参加全国高等教育自学考试经济类与管理类专业的读者，也不失为一本有指导价值的读物。

《线性代数与空间解析几何成功笔记》是配合黄廷祝、成孝予主编的《线性代数与空间解析几何》一书而编写的辅导书。全书按教材的章节顺序编排，对教材中的重点、难点进行了细致的总结和讲解，并给学生留下了自己进行总结和小结的空间，旨在帮助学生掌握《线性代数与空间解析几何》的基本知识，达到将书“读薄、读透”的目的。

《精算学中的随机过程》不同于传统的理工或者经管类的随机过程教科书。在系统介绍了现代精算学中的随机过程理论的基础上，《精算学中的随机过程》将随机过程理论及其在金融保险中的应用有机地结合起来，深入研究出现于金融保险中的随机过程专题，系统揭示随机过程的理论与方法如何巧妙地应用于金融保险中。《精算学中的随机过程》可作为综合大学经济类、金融类、保险类高年级本科生和研究生的教材或参考书，也可以供保险业精算人员和其他对金融工程、保险精算有兴趣的读者参考。

This book provides a solid statistical foundation for neural networks from a pattern recognition perspective. The focus is on the types of neural nets that are most widely used in practical applications， such as the multi-layer perceptron and radial basis function networks. Rather than trying to cover many different types of neural networks， Bishop thoroughly covers topics such as density estimation， error functions， parameter optimization algorithms， data pre-processing， and Bayesian methods. All topics are organized well and all mathematical foundations are explained before being applied to neural networks. The text is suitable for a graduate or advanced undergraduate level course on neural networks or for practitioners interested in applying neural networks to real-world problems. The reader is assumed to have the level of math knowledge necessary for an undergraduate science degree.

理解掌握几何的基本概念和基础知识，是深入学习几何内容的根本保证，也是对中学生学习数学课程的起码要求。通过练习，中学生应该并且能够做到：针对问题的结构，善于观察（条件的类型、结论的形式、图形的特征、数字及关系式的特点），善于联想（由“已知”想“可知”，由“欲证”想“须证”，由条件与结论联想相关的知识点和经验），善于逆推分析、代换转化，由表及里揭示隐含条件。这是探索解题思路、寻求解题方法、合理添加辅助线并利用辅助线辅助解题的一般规律。为熟练掌握并灵活运用所学知识，系统练习必不可少，但漫无边际的“题海战术”不可取，要讲究解题的收获和效益。一个问题解决之后，须反思用过的方法及思路，考虑能否一题多解，同时回顾以前曾经做过的练习，从中悟出具有普遍性的规律，并在其后的练习中予以应用、检验和完善，通过比较和归纳，不断积累经验，全面提高分析问题、解决问题的能力。