该教材内容主要涵盖材料的基础知识介绍、原子的结构与键合、金属和陶瓷的结构、高分子结构、固体缺陷、扩散、力学性能、变形和强化机制、失效、相图、相变、电性能、材料类型及其应用、材料的合成制备与加工、复合材料、材料的腐蚀与降解、热性能、磁性能、光学性能、材料科学与工程所涉及的经济，环境和社会问题 。 本书内容全面、先进。不仅是材料学科的必修课教材，也是应用物理、化学工业、信息工程、生物工程、电子电工、车辆工程、航空航天等专业的必要补充教材。也可为专业人员提供参考价值。
该教材内容主要涵盖材料的基础知识介绍、原子的结构与键合、金属和陶瓷的结构、高分子结构、固体缺陷、扩散、力学性能、变形和强化机制、失效、相图、相变、电性能、材料类型及其应用、材料的合成制备与加工、复合材料、材料的腐蚀与降解、热性能、磁性能、光学性能、材料科学与工程所涉及的经济，环境和社会问题 。 本书内容全面、先进。不仅是材料学科的必修课教材，也是应用物理、化学工业、信息工程、生物工程、电子电工、车辆工程、航空航天等专业的必要补充教材。也可为专业人员提供参考价值。
本练习册与同济大学数学系编写的第七版《高等数学》下册（高等教育出版社出版）相配套，共包括两部分内容：练习题和参考答案。按时完成练习作业是理工科大学生巩固高等数学课堂学习效果的基本要求，所附参考答案可方便学生完成作业后及时检查。 为了方便教师和学生收交作业，本练习册分为A、B两册，即奇数周作业为A册，偶数周作业为B册。
本书是与全国使用多的*版高等数学教材《高等数学（下册）》（第五版，同济大学应用数学系主编，高等教育出2002年7月出版）配套的教学参考书。本书既可作为高校师生教、学《高等数学（下册）》的参考书，也可作为习作课的教材，还可作为期中、期末备考及“考研”、“竞赛”的复习辅导书。 为了便于读者自学，本书编排体系基本上与主教材的章、节顺序一致（详见目录），原则上以节为单位编写，对内容少或容易学习的节适当合并为“讲”。全书含各章习作课、期末复习课共36讲，每讲2（或4）学时，共需80至90学时教完，余下的机动学时，可讲打“*”号的节或作为测试时间和加强习作课。各节（讲）包括主要公式、答疑辅导、考题（考研题和竞赛题）解析（解与分析）、教与学建议、补充与说明及习题提示等栏目；各章末都安排了一次习作课’含内容
本套书是大学“高等代数”课程的辅导教材，是作者多年来在北京大学从事高等代数数学工作的结晶。本套书共有11章，分上、下两册。每章节主体结构包括内容精华、典型例题、习题三部分，章末还有补充题。本书阐述了高等代数的理论，总结了高等代数中重要的典型题型及考研题型，提炼了解题的规律、方法和技巧，旨在通过对理论的阐述以及解题方法和技巧的分析，使读者能掌握理论，举一反三、触类旁通。本书可作为“高等代数”或“线性代数”课程的教学参考书，也可供从事高等代数或线性代数教学的教师参考，还可作为工学、理学、经济学、管理学等学科专业硕士生入学考试数学科目的复习用书。
本书是学习高等数学课程的一本很好的辅导书。本书与同济大学《高等数学》第六版同步，下册内容包括空间解析几何与向量代数、多元函数微分学及其应用、重积分、曲线积分与曲面积分、无穷级数。本书的特点是着重数学思想、方法的理解与应用，在疑难分析中，对概念理解与方法运用中可能产生的问题都作了详细的阐述与诠释。在解题方法中，不仅对“同济六版”中的全部习题作了详尽的解答，还补充了相当数量的例题，对高等数学的解题方法作了精彩的演绎、归纳、评点，相信读者通过学习本书，将完全掌握高等数学的思想与方法。本书还附有历年研究生入学考试题的分析解答，对读者考研复习与把握考研方向非常有益。欢迎读者选用本书与本系列丛书。
本书是理工科学生学习高等数学、备考以及教师教学的参考书，每章的“内容提要”系统简明，“习题选解”清晰典型，“是非题题解”引人深钻教材，“综合题题解”呈现研考水平。 本书分上、下两册出版，上册内容有：函与极限、导数与微分、微分中值定理与导数的应用、不定积分、定积分、定积分应用、空间解析几佫与向量代数。
本版《高等数学》上下册系高等工业院校的本科高等数学少学时使用的教材，是在天津大学历年高等数学版本的基础上，重新组织编写的。全书参照高等工业学校《高等数学课程教学基本要求》，结合教学实际，并参考了报考硕士研究生数学入学考试（数学二）内容的要求（本书涉及的内容超出了数学二的要求）而编写的。 该书上册包括函数、极限与连续、导数与微分、微分中值定理及导数的应用、不定积分、定积分和微分方程等7章；下册包括矢量代数与空间解析几何、多元函数微分学、重积分、曲线积分与曲面积分和级数等5章。
本丛书是中学双语教学材料，由上海中学双语教材编写组从多种原版教材中精选精编而成。原讲义已在上海中学多次试用。考虑到目前双语教学发展的不平衡态势，每个单元由词汇、课文和习题三部分内容组成，以适合初、中、高不同层次的需要。词汇部分概括了本章的要点，课文和习题反映了本章的知识。丛书包括数学、理化和环境科学三册。 各篇课文全部选自原版教材，内容上不增加新的知识点。表述为典范科技英文，文字规范简洁，为了方便教学，作者根据教学经验对于语言上的难点略作了注释。 本书主要讲述中学数学的基本知识，包括集合、数、式、函数、三角、几何、排列组合和概率等，书后附有典型的国外数学试卷。
《高等数学》是高等院校一门传统的基础课。它在传授知识、启发学生思维和培养学生能力等方面都具有重要的作用。本书的特点是：文字通俗易懂，便于阅读，为减少课堂教学时数创造条件，以适应精讲与自学相结合的教学改革要求；内容丰富，论证严谨，逻辑性强，并采用了一些现代数学的符号，使叙述更为简洁；在正文中的部分内容前面记有星号，作为教师根据教学的实际情况，进行删减参考；各章后面备有附注，以开拓学生视野，有利于贯彻因材施教原则；例题经过认真选择，具有多样性，有些带有一定的臷，以启发和培养学生解题的能力；另有与本书相配套的《高等数学习题集》，其编排次序与本书章次完全一致，已由上海交通大学出版社出版。
本版《高等数学》上下册系高等工业院校的本科高等数学少学时使用的教材，是在天津大学历年高等数学版本的基础上，重新组织编写的。全书参照高等工业学校《高等数学课程教学基本要求》，结合教学实际，并参考了报考硕士研究生数学入学考试（数学二）内容的要求（本书涉及的内容超出了数学二的要求）而编写的。 该书上册包括函数、极限与连续、导数与微分、微分中值定理及导数的应用、不定积分、定积分和微分方程等7章；下册包括矢量代数与空间解析几何、多元函数微分学、重积分、曲线积分与曲面积分和级数等5章。
本书前两章研究出土算术文献的文本和思想内容。主要创新点是：提出两种整理出土算术文献文本的新方法；证明清华简《算表》有开平方功能；为简牍性质问题提供新线索。第三。章讨论学界判断算术文献成书年代的主流方法：该方法针对的是度量衡等时代信息 的零星信息，但在一本已经定型的书中，这些信息恰恰是 容易被后代改动的，不能作为主要依据。在此基础上，作者提出新的解决思路。第四章研究数学与儒学的互动。第五章研究数学与史学的互动，主要是解决其中跟数学有关的疑难问题，比如讨论《史记》记载的孔子俸禄和《汉书》记载的汉代“提封田”（领土面积）。后两章是目前学术界较少关注的。
为深化教育教学改革，培养应用型和创新型人才，适应高职教育大众化的发展趋势，内、蒙古大学出版社组织了内蒙古自治区部分高职院校的一线专家学者，依据《高职高专高等数学课程教学基本要求》，针对数学课程少学时改革情况编写了《高等数学》，该教材的编写本着“适度、够用”的原则，立足于体现高职高专教学改革的指导方针，力求做到结合专业的特点，强化技能培养。 教材充分考虑了高职学生的数学基础，淡化逻辑论证；避免怪题和难度较大题型的解析；例题与习题尽量贴近专业；为便于学生巩固所学知识、提高基本技能，教材配备了较多的课后练习题，每章后配有自测题，为不同层次的学生提供更多的选择空间。 本教材适用于高职院校工科专业少学时的数学教学，约用84学时。
《高等数学（第四版 下册）》的主要特色是以现代数学的观点审视经典的内容，科学组织并简洁处理相对成熟的素材，对分析、代数、几何等方面作了统一的综合处理，揭示数学的本质、联系和发展规律；注重数学概念的实际背景和几何直观的引入，强调数学建模的思想和方法；在适度运用严格数学语言的同时，注意论述方式的自然朴素、易于理解；配有丰富的图示、多样的例题和习题，便于学生理解和训练。全书的深度和广度能适应多数专业的数学基础教学需要。下册包括多元微积分、级数、常微分方程、概率论与数理统计。《高等数学（第四版 下册）》可作为高等学校理科、工科和技术学科等非数学类专业的教材，也可供经济、管理等有关专业使用，并可作为上述各专业的教学参考书。
数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比，它的主要特色就是紧紧围绕软硬件规约和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法，紧致性理论和Lowenhenm-Skolem定理，并介绍了Alloy语言和Nusmv工具。 本书自出版以来受到广泛好评，已经被包括美国普林斯顿大学、卡内基-梅隆大学、英国大学、德国汉堡大学、加拿大多伦多大学、荷兰 Vrije大学，印度理工学院在内的多个国家几十所高校采纳为教
本书辅导教材由以下几部分组成： 1.主要概念及公式：列出各章的基本概念、重要定理和重要公式，突出必须掌握和理解的核心内容。 2.重点难点解疑：列出相应各章的重点、难点内容，并对重点、难点内容综合给出相应的解释说明，以帮助读者对相应的内容理解得更加透彻。 3.课后习题全解：教材中课后习题数量大、层次多。许多基础性问题从多个角度帮助理解基本概念和基本理论，锤练读者的基本方法。许多层次较高的问题有助于广大读者进一步的提高和应用。不少问题具有独特的解题思路和方法。针对以上两点，我们对教材课后全部习题我们只给出了一种参考解答，其他方法留给读者自己去思考。 4.考研试题精讲：精选历年各院校研究生入学考试试题中具有代表性的试题进行了详细的解答。这些例题涉及内容广、题型多、技巧性强，可以使广
本书特点： 1.含金量高，*考研数学试题的命制经过多年的风风雨雨形成了一套成熟的运作体系，其命题人员，命题思路具有明显的延续性和稳定性，从而确保了极强的科学性，我们荣幸地邀请到*考试中心、考研数学资深命题人员：蔡燧林教授（1992-2000年命题）、胡金德教授（1989-1997年命题）、范培华教授（1987-2003年命题）、李恒沛教授（1987-2001年命题）、王式安教授（1987-2001年命题）、周概容教授（1987-2003年命题）、单立波教授（1987-2003年命题），每套试卷均由以上教授严格按照2006年考研大纲要求，精选材料、逐题推敲、优化设计而命制完成。题型和题量与考研试题完全一致，并按考试大纲中的样题排版，本书编者既是数学考试大纲的制定者，又是多年的数学命题人，对考研数学命题有最深刻、最权威的把握，可以断言，由他们所编写的这8套试卷，无论从深
