本书作为国家精品教材同济大学数学系《高等数学》的配套用书，书中精选了大量源自各高校的各种考试试题，具有集中要点，与教学同步；多级筛选，突出重点等特点。本书可作为本科院校学生学习高等数学课程的参考用书。
高等数学是大学理工科及经济管理类专业的重要基础课，是培养学生形象思维、抽象思维、创造性思维的重要园地。 本书从浩瀚的题海中归纳、总结出的题型解法，对同学们解题具有很大的指导作用．书中的经典问题解析对教材的重点、难点进行了诠释，对同学们掌握这方面知识起到了事半功倍的效果。 本书是针对考研、参加数学竞赛的同学撰写的，对在读的本科生、专科生及数学教师同仁也具有很高的参考价值。
《高等数学解题全攻略(下卷)》从浩瀚的题海中归纳、总结出的题型解法，对同学们解题具有很大的指导作用。书中的经典问题解析对教材的重点、难点进行了诠释，对同学们掌握这方面知识起到事半功倍的效果。《高等数学解题全攻略(下卷)》是针对考研、参加数学竞赛的同学撰写的，对在读的本科生、专科生及数学教师同仁也具有很高的参考价值。
数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比，它的主要特色就是紧紧围绕软硬件规约和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法，紧致性理论和Lowenhenm-Skolem定理，并介绍了Alloy语言和Nusmv工具。 本书自出版以来受到广泛好评，已经被包括美国普林斯顿大学、卡内基-梅隆大学、英国大学、德国汉堡大学、加拿大多伦多大学、荷兰 Vrije大学，印度理工学院在内的多个国家几十所高校采纳为教
本教材根据**颁布的理工类本科高等数学课程教学基本要求，由从事高等数学教学的一线教师执笔编写。本教材分为上、下两册。上册包括函数、极限与连续，一元函数微分学，一元函数积分学以及常微分方程初步内容；下册包括无穷级数，空间解析几何与向量代数，多元函数微分学以及多元函数积分学等内容。每节之后配有习题，习题按照难易程度顺序给出。每册书末附有习题答案及必要的附表、附录及"数学实验"等内容。
本书前两章研究出土算术文献的文本和思想内容。主要创新点是：提出两种整理出土算术文献文本的新方法；证明清华简《算表》有开平方功能；为简牍性质问题提供新线索。第三。章讨论学界判断算术文献成书年代的主流方法：该方法针对的是度量衡等时代信息 的零星信息，但在一本已经定型的书中，这些信息恰恰是 容易被后代改动的，不能作为主要依据。在此基础上，作者提出新的解决思路。第四章研究数学与儒学的互动。第五章研究数学与史学的互动，主要是解决其中跟数学有关的疑难问题，比如讨论《史记》记载的孔子俸禄和《汉书》记载的汉代“提封田”（领土面积）。后两章是目前学术界较少关注的。
本套书是大学“高等代数”课程的辅导教材，是作者多年来在北京大学从事高等代数数学工作的结晶。本套书共有11章，分上、下两册。每章节主体结构包括内容精华、典型例题、习题三部分，章末还有补充题。本书阐述了高等代数的理论，总结了高等代数中重要的典型题型及考研题型，提炼了解题的规律、方法和技巧，旨在通过对理论的阐述以及解题方法和技巧的分析，使读者能掌握理论，举一反三、触类旁通。本书可作为“高等代数”或“线性代数”课程的教学参考书，也可供从事高等代数或线性代数教学的教师参考，还可作为工学、理学、经济学、管理学等学科专业硕士生入学考试数学科目的复习用书。
几何是数学学习的基础之一，借助几何学，我们能搭建房屋、丈量土地、观测星空，还能设计滑梯、装饰地板……连一副小小的七巧板都能催生出众多数学成果。本书从建筑、测量、图形游戏等角度讲述了有趣的几何小故事，不仅涉及直线形、圆、非圆曲线、立体几何等基础几何学知识，而且加入了图论、拓扑、组合几何、非欧几何等主题，“扩大”了美妙的几何世界。本书阐释了几何学知识，同时介绍了古今中外关于几何的逸闻趣事，展现了图与形的自然之美。本书尤其适合小学高年级学生和中学生阅读。
高等数学是高职高专院校各专业的一门基础课程，对于培养学生的逻辑思维能力、分析问题和解决问题的能力，以及提高综合素质，都有很大帮助。为了适应高职高专教育的需要，与时俱进，我们以*制定的《高职高专教育高等数学课程教学基本要求》为依据，全面贯彻“以应用为目的，以必须够用为度”的原则，并结合高职高专院校在培养技术应用型人才方面的教学特点，编写了《高等数学》。 《高等数学》精选大量具有实际背景的例题和习题，旨在启发学生的思维，培养学生的创新意识，以及运用数学工具解决实际问题的能力。全书共安排十一章，包括集合、映射与函数，极限与连续，导数与微分，微分中值定理及导数的应用，不定积分，定积分与广义积分，多元函数微分学，多元函数积分学，无穷级数，微分方程初步，Mathematica简介。全书内容叙述
《面向21世纪高职高专规划教材：高等数学（第3版）》根据*制订的“高职高专数学教学基本要求”，在第2版的基础上，由多年来一直从事高职高专高等数学教学工作的一线教师执笔编写，全书系统讲解高职高专高等数学的基础知识和基本方法，内容包括函数与极限，导数与微分，导数的应用，不定积分，定积分及其应用，常微分方程，向量代数与空间解析几何简介，多元函数微分学，二重积分与曲线积分，无穷级数，本书共分10章，每章又分若干节，每节都有配套练习题，每章后有自测题，书末附有参考答案并附录预备知识及常用曲线与曲面等内容。 《面向21世纪高职高专规划教材：高等数学（第3版）》理论系统，举例丰富，讲解透彻，难度适宜，适合作为高职高专各专业的“高等数学”课程的教材使用。
本书为《高等数学（同济 七版）》（下册）的配套辅导书，本书共分为5章，每章包含知识结构图、考研大纲要求、考研试卷分值统计、本章内容概述、题型与方法、考研真题解析、教材课后习题详解、目标自测题与答案共七个部分。本书主要特点：例题种类详细，知识点的结构层次清楚，内容充实，方法性强以及与考研联系紧密。本书是针对使用该教材的教师与学生的同步辅导书，也适合作为考研数学复习的参考书。
本书是在《国务院关于大力发展职业教育的决定》精神的指导下，贯彻以服务为宗旨、以就业为导向、以学习者为中心，文化课要为提高学生入文素养服务、为学生专业学习提供支持的职业教育办学思想，结合当前职业院校的学生实际情况，在专家指导下，经过充分调研，由职业教育一线数学教师共同编写的。全套共两册，分《数学》（基础模块）、《数学》（专业模块）。 本书共13章。第1章为立体几何，第2章为复数，第3、4章为极限，第5～10章为微积分，第11、12章为线性代数，第13章为离散数学初步。 本书可与《数学》（基础模块）教材配套使用。可作为各类职业院校教材或参考书。
本书是《普林斯顿××读本》系列图书的第二本，该套书的论述风格友好、平易近人，通过作者与读者之间的互动对话和相关示例 清晰地阐明了数学概念，提供了命题和定量逻辑方面的知识，可以使读者精通自己的数学思路。本书讲解了学习实分析的基础内容，包括基本的数学与逻辑、实数、集合、拓扑、序列等．作者以通俗易懂且略带幽默的口吻讲述了两步式求解方法：首先展示如何回溯到求解问题的关键，之后说明如何严谨规范地写下解题过程。书中还给出了丰富的示例，帮助学生巩固所学知识。
本书按照“高等数学课程的教学基本要求”，结合“全国硕士研究生入学考试的数学考试大纲”的要求编写而成．内容包括一元函数微积分、向量代数与空间解析几何、多元函数微积分、无穷级数、微分方程等．每章都按照高等数学的教学过程进行分节，每一节又都分为两部分：主要知识与方法、同步练习，另外还特意精选了期末考试、硕士研究生入学考试及全国大学生数学竞赛等试题。 本书可作为高等学校理工科有关专业学习高等数学课程的课后练习，也可作为考研及参加全国大学生数学竞赛的训练资料，并可供高等院校数学教师、自学考试人员及其他相关人员作参考。
本书是《高等数学》教材的同步辅导书．高等数学的概念、公式、定理较抽象难懂，解题方法也多样化，难以掌握，针对这个现状，我们编写了本书． 全书分上、下两册，共l3章，以小节为单位编写．每章开篇有“本章知识体系”，包括三个板块：知识要点，重点、难点解析及典型例题和练习题．“本章知识体系”部分概述了每章的主要内容；“知识要点”部分归纳总结了每小节的主要内容，包括基本概念、性质、定理、公式及基本解题方法等；“重点、难点解析及典型例题”部分对那些重点、难点及易混淆的知识点进行了详细诠释，并精选典型例题进行分析讲解；“练习题”部分分为A，B两级，习题A主要用于培养学生对基础知识的掌握能力，习题8用于巩固提高．另外，每章配有“本章自测题”，可用于学生进行自我测试． 本书可作为理工科院校“高等
本书主要收集了四面体几何元素的位置关系研究的新成果，全书分为两篇，共十章，该书应用类比的方法，将三角形中共点、共线、共圆等性质引申推广至四面体中，并得到一系列四面体中的共点、共面、共球等性质。希望该书的出版能为读者进一步开展四面体几何学研究提供参考。本书可供中学数学教师及高中生、大学生在内的广大几何爱好者阅读，也可用作几何学及数学教育相关方向硕士研究生的教学参考书。
本书是一本趣味横生地讲述形式逻辑主题的故事书，融合了众多读者喜闻乐见的逻辑谜题，以一种独特的方式来普及数理逻从 章到第十六章有大量的趣味谜题供读者思考，包括说谎和讲真话的逻辑、沉默的骑士和无赖等，循着本书生动活泼的语言，读者可以由浅入深地了解命题的真假和自指、推理的有效性、集合论语义学、无穷和保有效性以及形式系统的性质等逻辑学基础知识。同时，本书还提供了丰富的练习及答案，这些练习并不拘泥于符号的正确运用，而是重在让读者理解证明的构造过程。本书既可以作为普通读者走入逻辑学大门的科普书，也可以作为大学本科和研究生的补充教材。
