本书是沙法列维奇代数几何基础教程的第1卷。本书作者是当代著名的苏联/俄罗斯代数几何学家，是一位有性，知识极为渊博的数学家。作者的代数几何基础教程问世（俄文版1972年初版，英文版1977年初版）40多年来，一直被视为一部重要的代数几何经典名著。与同类书相比，本书内容全面，详尽，注重给出抽象理论的几何背景和起源，并配有充分反映几何本质的实例和图解。本书所需预备知识仅限于代数基础，是高年级本科生和研究生学习代数几何的优选教材。
本书是Springer《Graduate Texts in Mathematics》系列丛书第150卷。为了更好的理解交换代数，运用几何的观点去研究交换代数，也就是代数几何学观点，是本书的一大特色。作者从基本观点——局部化以及自分解理论出发，通过对维数理论、微分理论、同调方法、自由解理论和对偶性的研究，强调该理论的出发点以及它们与数学其他部分的联系，练习中大量的引用强化了对该理论的理解。本书的还专门运用了一章来讲述Grobner基本观点以及基于这个关点的对交换代数以及代数几何很有建设性的方法。
本书是沙法列维奇代数几何基础教程的第2卷。本书作者是当代著名的苏联/俄罗斯代数几何学家，是一位有性，知识极为渊博的数学家。作者的代数几何基础教程问世（俄文版1972年初版，英文版1977年初版）40多年来，一直被视为一部重要的代数几何经典名著。与同类书相比，本书内容全面，详尽，注重给出抽象理论的几何背景和起源，并配有充分反映几何本质的实例和图解。本书所需预备知识仅限于代数基础，是高年级本科生和研究生学习代数几何的优选教材。
《高考数学压轴题解题诀窍（上）》以高考数学压轴题为主，用巧妙的方法分析及解答压轴题，大大提高解压轴题的效率。首先，对近七年高考数学压轴题题型进行分析和复习建议。其次，从知识内容的角度分析高考数学压轴题中常见题型的解题诀窍。包括圆锥曲线问题、导数及其应用问题、数列问题、不等式问题。内容独特，题型全面，针对性强，是提高数学水平的理想用书。
本书共24讲，主要包括数列与函数极限，函数的连续与间断，导数与微分的概念及法则，微分中值定理与洛必达法则，函数单调性与极值问题，不定积分，定积分的概念、理论与计算，定积分的几何应用与物理应用，向量及其运算，曲面与曲线，多元函数微分学，二重积分和三重积分，曲线与曲面积分，无穷级数，微分方程。 本书的主要特点是与教材同步，内容分级，以满足不同层次和不同类型读者的需要。本书各讲结构相同，包括内容提要、重点难点、典型方法与例题、习题四部分。 本书作为教学参考书，供高等学校师生参考，也可作为考研的辅导教材。
《先驱者的足迹—高等数学的形成》一书于2004年由东北大学出版社印刷出版，并于2005年第二次印刷。现有的高等数学教材及习题集等书籍早已琳琅满目，单纯叙述数学史的书籍也日渐增多。但阐述高等数学主要概念的发展、演变历史以及其中包含的深刻思想的书籍并不多见。 版图书的出版目的在于为大学高等数学提供配套的读物作为课堂内容的补充，能够让学生了解到课本中所学内容的产生、发展、思想方法及相关发明者的奋斗过程。同时大学数学教师也需要这样的参考资料以丰富自己的教学内容。在河北省科学技术厅科普原创资助专项（项目编号：15K56227D）的资助下，第二版图书得以出版。这次再版图书将读者范围从大学生、大学数学教师以及数学爱好者，扩展到了中学生以及年龄更小的数学爱好者。内容仍以 版图书为基础，从数学的起源与早期发展、初
数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比，它的主要特色就是紧紧围绕软硬件规约和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法，紧致性理论和Lowenhenm-Skolem定理，并介绍了Alloy语言和Nusmv工具。 本书自出版以来受到广泛好评，已经被包括美国普林斯顿、卡内基-梅隆、英国、德国汉堡、加拿大多伦多、荷兰 Vrije，印度理工学院在
《从整数谈起》共5章，包括：整数和它的表示，同余，方程的整数解，整点与逼近，整数的应用。《从整数谈起》主要介绍整数的各种性质和由整数引申出来的各种数学问题和故事。《从整数谈起》适合数学爱好者参考阅读。
《从整数谈起》共5章，包括：整数和它的表示，同余，方程的整数解，整点与逼近，整数的应用。《从整数谈起》主要介绍整数的各种性质和由整数引申出来的各种数学问题和故事。《从整数谈起》适合数学爱好者参考阅读。
《高等数学疑难问题选讲》是“高等学校大学数学教学研究与发展中心”立项资助的教学研究项目成果。《高等数学疑难问题选讲》编写的主要目的是为了帮助从事“高等数学”教学的青年教师更深刻地领会教学内容，提高教学水平和教学能力。全书分章按问题编排，各问题之间相对独立，便于读者查阅。
本书是作者多年来在大学生数学竞赛辅导和考研辅导经验的基础上编写而成的．全书共分为13 章，每章包括4 个模块，即知识要点、典型例题分析、深化训练以及深化训练详解．本书编写的目的主要有两个：一是帮助工科类、经管类本科生备考全国大学生数学竞赛，使学生能够在短时间内迅速掌握各种解题方法和技巧，提升学生综合分析问题、解决问题的能力；二是为了满足工科类、经管类本科生考研的需要. 在例题和习题选编方面，精选了部分有代表性的数学竞赛真题和考研真题，同时注重例题、习题的创新，按题型分类进行合理编排，使学生能够尽快地适应考研题型，从容应对考试.本书既可以作为普通高等院校工科类、经管类本科生参加全国大学生数学竞赛的辅导用书，也可以作为工科类、经管类本科生考研深化训练用书．
《先驱者的足迹—高等数学的形成》一书于2004年由东北大学出版社印刷出版，并于2005年第二次印刷。现有的高等数学教材及习题集等书籍早已琳琅满目，单纯叙述数学史的书籍也日渐增多。但阐述高等数学主要概念的发展、演变历史以及其中包含的深刻思想的书籍并不多见。 版图书的出版目的在于为大学高等数学提供配套的读物作为课堂内容的补充，能够让学生了解到课本中所学内容的产生、发展、思想方法及相关发明者的奋斗过程。同时大学数学教师也需要这样的参考资料以丰富自己的教学内容。在河北省科学技术厅科普原创资助专项（项目编号：15K56227D）的资助下，第二版图书得以出版。这次再版图书将读者范围从大学生、大学数学教师以及数学爱好者，扩展到了中学生以及年龄更小的数学爱好者。内容仍以 版图书为基础，从数学的起源与早期发展、初
本书共24讲，主要包括数列与函数极限，函数的连续与间断，导数与微分的概念及法则，微分中值定理与洛必达法则，函数单调性与极值问题，不定积分，定积分的概念、理论与计算，定积分的几何应用与物理应用，向量及其运算，曲面与曲线，多元函数微分学，二重积分和三重积分，曲线与曲面积分，无穷级数，微分方程。 本书的主要特点是与教材同步，内容分级，以满足不同层次和不同类型读者的需要。本书各讲结构相同，包括内容提要、重点难点、典型方法与例题、习题四部分。 本书作为教学参考书，供高等学校师生参考，也可作为考研的辅导教材。
本书是作者多年来在大学生数学竞赛辅导和考研辅导经验的基础上编写而成的．全书共分为13 章，每章包括4 个模块，即知识要点、典型例题分析、深化训练以及深化训练详解．本书编写的目的主要有两个：一是帮助工科类、经管类本科生备考全国大学生数学竞赛，使学生能够在短时间内迅速掌握各种解题方法和技巧，提升学生综合分析问题、解决问题的能力；二是为了满足工科类、经管类本科生考研的需要. 在例题和习题选编方面，精选了部分有代表性的数学竞赛真题和考研真题，同时注重例题、习题的创新，按题型分类进行合理编排，使学生能够尽快地适应考研题型，从容应对考试.本书既可以作为普通高等院校工科类、经管类本科生参加全国大学生数学竞赛的辅导用书，也可以作为工科类、经管类本科生考研深化训练用书．
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、Lowenheim-Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。 本书适宜作为高等院校计算机及相关专业的数理逻辑/形式化方法课程的教材，也可供相关研究人员和专业人士参考。
自上世纪20～30年其出现开始，群的上同调就成为了代数与拓扑学的交叉领域，并且促成了重要的新数学研究领域的创建，诸如同调代数和代数K-理论。该书是本综合论述有限群的上同调的书。书中介绍了最重要也是最有用的代数和拓扑方法，研究了有限群的上同调与同伦论、表示论和群作用之间的关系。书中的各理论与实例的结合，连同各种重要的经典群（对称群、交错群、李型极限群以及各种散在单群）的上同调的计算方法
该教材内容主要涵盖材料的基础知识介绍、原子的结构与键合、金属和陶瓷的结构、高分子结构、固体缺陷、扩散、力学性能、变形和强化机制、失效、相图、相变、电性能、材料类型及其应用、材料的合成制备与加工、复合材料、材料的腐蚀与降解、热性能、磁性能、光学性能、材料科学与工程所涉及的经济，环境和社会问题 。 本书内容全面、先进。不仅是材料学科的必修课教材，也是应用物理、化学工业、信息工程、生物工程、电子电工、车辆工程、航空航天等专业的必要补充教材。也可为专业人员提供参考价值。
自上世纪20～30年其出现开始，群的上同调就成为了代数与拓扑学的交叉领域，并且促成了重要的新数学研究领域的创建，诸如同调代数和代数K-理论。该书是本综合论述有限群的上同调的书。书中介绍了最重要也是最有用的代数和拓扑方法，研究了有限群的上同调与同伦论、表示论和群作用之间的关系。书中的各理论与实例的结合，连同各种重要的经典群（对称群、交错群、李型极限群以及各种散在单群）的上同调的计算方法
逻辑学是研究思维形式的结构及其规律以及认识事物的简单逻辑方法的科学。逻辑学作为思维科学，与人的智能的培养与提高联系极其密切。逻辑学具有全人类性、基础性、工具性与规范性，被称为人类成员都得学习与掌握的“思维的语法”。学习逻辑学，有助于培养和提高认知自学能力，有助于培养与提高理论素养，有助于培养和提高科学研究能力，有助于培养和提高思维素质。逻辑学在智力开发、思维素质的培养与提高方面，具有其他学科与课程不可替代的重要作用。当今世界，逻辑学已渗透到许多学科领域，诸如哲学、心理学、计算机科学、语言学、物理学、法学、伦理学等。许多国家，尤其是欧美发达国家对逻辑的研究和普及倾注了巨大的人力、财力、物力。20世纪80年代，联合国教科文组织正式将逻辑学列为数、理、化、天、地、生同等重要的基础学科。
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、Lowenheim-Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。 本书适宜作为高等院校计算机及相关专业的数理逻辑/形式化方法课程的教材，也可供相关研究人员和专业人士参考。
《先驱者的足迹—高等数学的形成》一书于2004年由东北大学出版社印刷出版，并于2005年第二次印刷。现有的高等数学教材及习题集等书籍早已琳琅满目，单纯叙述数学史的书籍也日渐增多。但阐述高等数学主要概念的发展、演变历史以及其中包含的深刻思想的书籍并不多见。 版图书的出版目的在于为大学高等数学提供配套的读物作为课堂内容的补充，能够让学生了解到课本中所学内容的产生、发展、思想方法及相关发明者的奋斗过程。同时大学数学教师也需要这样的参考资料以丰富自己的教学内容。在河北省科学技术厅科普原创资助专项（项目编号：15K56227D）的资助下，第二版图书得以出版。这次再版图书将读者范围从大学生、大学数学教师以及数学爱好者，扩展到了中学生以及年龄更小的数学爱好者。内容仍以 版图书为基础，从数学的起源与早期发展、初
