暂缺简介...

吉米多维奇的《数学分析习题集》是一部著名的、很有代表性的习题集。编者根据我国目前的教学实际情况，选编了其中的约三分之一的重要习题，其作了详细解答，分上、下两册出版，《吉米多维奇数学分析习题集选解》覆盖了该习题集各章节的主要内容，便于读者由厚到薄、由少而精的掌握该习题集内容，这对学习理科数学分析或工科高等数学（即微积分）的读者将大有禅益。《吉米多维奇数学分析习题集选解》有很强的可读性，并兼顾多方需要，适合理、工科类本、专科个专业配教、学数学分析或高等数学（微积分）的师生作为教学参考书。

本书精选了微积分（即高等数学）课程最常用的四种教材和一本考研辅导书中有代表性的习题或考题，按照最新《全国硕士研究生入学统一考试数学考试大纲》（以下简称“考纲”）“数学一”中高等数学所列内容作了取舍，按前言中书[1]所列顺序编目，共分九章（上册含四章，下册含五章），各章章首列有学习指导，含考纲要求、重点难点和学习注意，以指导读者学习；各节开头列有该节的内容提要，包括主要概念、公式、方法和定理，然后精选了五种书的好题并逐题作了详细地分析或解答。 .本书集各家之长，精选各书好题于一体，具有典型性、系统性、资料性和很强的可读性。特别适宜于作为理科、工科、农林、财经、管理等专业本、专科生学习微积分（即高等数学）课程的参考书，也可作为考研者的优秀复习资料和指南，还可为教师提供考试命题的参考。 ...

《概率论与数理统计学习指导》是与经济数学基础《概率论与数理统计》（姚孟臣主编）配套的学习辅导书。经济数学基础《概率论与数理统计》是在对教育部教学指导委员会颁布的经济和管理类概率论与数理统计教学大纲（修改稿）和全国硕士研究生入学考试数学考试大纲（数学三、数学四）概率论与数理统计部分进行协调统一下编写的教材。本书作为该教材的配套辅导书，紧扣教材编写大纲，围绕各章节的基本概念、基本定理和方法，精心组织典型便是和习题，力求在帮助读者同步学习的过程中发挥总结、答疑、解惑、提高的辅助功能。对于计划报考研究生的读者来说，本书将为其构筑从搞好基础学习到增强数学能力，进而实现考研梦想的桥梁。全书包括五个部分：1.知识结构与内容提要。归纳总结各章知识点的相互关联和各章逻辑结构。2.重点难点。说明各章应注意的重点、难点，明确学习要求。3.典型例题解析。按照各章知识点和问题类型的自然顺序，通过各种典型例题解析，巩固和加深对基本概念的理解，扩展解题思路，提高综合分析问题和应用所学知识解决问题的能力。4.综合练习题及其解答。为了学生更有多解题能力的训练，也是为了弥补教材中习题数量以及广度和难度上不足，本书每章都选编了一定数量与例题搭配的习题，其中大多数习题与研究生入学考试考研数学题型接轨，这既能满足数学基础较好的学生期望学习更多概率论与数理统计知识的需要，也能满足计划报考研究生的学者备考的需要。各章最后一部分将给出习题参考答案，其中难题将提供必要的解题思路或提示。

《概率论与数理统计》根据教育部最新制订的“高职高专教育概率论与数理统计课程教学基本要求”编写，从高职高专教学的特点出发，系统讲解随机事件与概率、随机变量与概率分布、随机变量的数字特征、随机向量与重要定理、样本与统计量分布、参数估计、假设检验、方差分析与回归分析等内容。《概率论与数理统计》具有内容编排起点低、进展平缓，突出重点、分散难点，注重与实际相结合等鲜明特色。《概率论与数理统计》可作为高等专科学校、高等职业学校、成人高等学校工科各专业数学基础课教材，也可供管理专业、财经专业及非数学类理科专业的工程技术人员学习参考。

Joseph Goguen is one of the most prominent computer scientists worldwide. His numerous research contributions span many topics and have changed the way we think about many concepts. Our views about data types， programming languages， software specification and verification， computational behavior， logics in computer science， semiotics， interface design， multimedia， and consciousness， to mention just some of the areas， have all been enriched in fundamental ways by his ideas.This Festschrift volume - published to honor Joseph Goguen on his 65th Birthday on June 28， 2006 - includes 32 refereed papers by leading researchers in the different areas spanned by Joseph Goguen's work. The papers address a broad variety of topics from meaning， meta-logic， specification and composition， behavior and formal languages， as well as models， deduction， and computation.The papers were presented at a Symposium in San Diego， California， USA in June 2006. Both the Festschrift volume and the Symposium allow the articulation of a retrospective and prospective view of a range of related research topics by key members of the research community in computer science and other fields connected with Joseph Goguen's work.

如果有人声称只有一个答案，那就应该表示怀疑！因为在思维训练的王国里，还有许多需要发现的领域！而这本书正是为此而作。在这本书里给出了“喜欢较真儿者”的答案，但这些答案也并不一定就是最佳方案。真诚地恳请每一位读者细心琢磨，以其找到其他的、更加确切巧妙的答案。所以，应当从原则上把数字和逻辑学看作是某种没有止境的东西，是任何一个拥有好主意的人都可以参与的持久过程。动脑解谜是一种愉快的智能活动，寻求新的解题的方法与答案则是一种挑战。《反常思维》帮你培养发散性思维，助你打开创造性世界的大门。

This book constitutes the refereed proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency， ICATPN 2006， held in Turku， Finland in June 2006.The 16 revised full papers and 6 revised tool papers presented together with 4 invited papers were carefully reviewed and selected from a total of 93 submissions. All current issues on research and development in the area of Petri nets and modeling of concurrent systems are addressed， in particular UML and Petri nets in software development， networking， workflow management， biochemical network analysis， systems modeling， process semantics probabilistic modeling， embedded systems， software services， performance analysis and simulation.

《高等数学CAI》以认知学习理论为指导，综合运用多种软硬件技术，通过配音讲解，精心的教学设计和丰富的超文本链接，使用户在一个“图文声”并茂的环境中愉快地学习。该软件交互界面友好，讲解深入细致，并配有大量的例题。通过该软件的学习，可以全面掌握高等数学的基本理论，培养用户良好的学习习惯和探索式学习方法。上册内容包括：函数与极限、导数与微分、中值定理与导数的应用、不定积分、定积分、定积分的应用和空间解析几何与向量代数。

This book constitutes the refereed proceedings of the 7th International Algorithmic Number Theory Symposium， ANTS 2006， held in Berlin， Germany in July 2006.The 37 revised full papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on algebraic number theory， analytic and elementary number theory， lattices， curves and varieties over fields of characteristic zero， curves over finite fields and applications， and discrete logarithms.