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