2019年是中华人民共和国成立70周年。70年来，中国教育学已经有了长足的发展。展望未来，新时代背景下中国教育学如何继往开来，接力发展，需要我们很好地去梳理已有的研究成果，准确定位中国教育学的发展历程和水平，明确未来的研究方向。该套丛书以国家重点课题 中华人民共和国教育学发展研究 为依托，集合全国教育学科各学科专业领军专家，作者队伍强大。从学理层面来看，教育学史越来越凸显其在教育学发展过程中的重要作用。对中国教育学史的研究，既是为了镜鉴现实，为了推动教育学术的传承和发展，又是为了推动我国教育学术的传承和发展以及为了保存和传播教育学发展的积淀。从读者需求方面来看，研究和学习教育学的人需要很好地了解本学科的发展史，明确自己研究的基础和学科定位。该丛书总共12卷本，每本书预计20万字，全套丛书预计2

2019年是中华人民共和国成立70周年。70年来，中国教育学已经有了长足的发展。展望未来，新时代背景下中国教育学如何继往开来，接力发展，需要我们很好地去梳理已有的研究成果，准确定位中国教育学的发展历程和水平，明确未来的研究方向。该套丛书以国家重点课题 中华人民共和国教育学发展研究 为依托，集合全国教育学科各学科专业领军专家，作者队伍强大。从学理层面来看，教育学史越来越凸显其在教育学发展过程中的重要作用。对中国教育学史的研究，既是为了镜鉴现实，为了推动教育学术的传承和发展，又是为了推动我国教育学术的传承和发展以及为了保存和传播教育学发展的积淀。从读者需求方面来看，研究和学习教育学的人需要很好地了解本学科的发展史，明确自己研究的基础和学科定位。该丛书总共12卷本，每本书预计20万字，全套丛书预计2

《直来直去的微积分》从常识性的平凡道理出发，不用极限概念也不用无穷小概念，直截了当地定义了函数的导数，证明了导数的常用性质；定义了定积分，推出了微积分基本定理。严谨而不失直观的推理，颠覆了微积分必须以极限概念为基础的传统观点。全书共18章，前10章用作者发现的新方法构建了一元微积分的逻辑框架；后8章阐述新方法与传统体系的关系和接轨的方案，以及一些重要的微积分知识。《直来直去的微积分》化解了传统微积分教学的若干很大难点，为建立高中和大学的微积分新体系描绘了蓝图。《直来直去的微积分》可供中学和大学的数学教师、需要学习高等数学的大学生、数学爱好者、数学研究者，以及数学教育的研究者参考。

本书是一本参赛的指导书，同时也是一本学习微积分的复习书。我们对微积分的内容进行整理归纳出知识要点，并通过典型例题的解法分析加以综合，使读者对微积分的每个知识点得以融会贯通。当前，我国从小学到高中都是围绕着升学的指标指挥棒转，学习为应试，其结果是：会套模式解题，不会尝试分析解决问题，长期的教育熏陶，使人形成了思维惯性。我们希望通过数学竞赛，通过本书的学习，能慢慢改变你的思维方式。数学需要运算能力、空间想象能力和抽象思维能力等，做习题对学好数学是重要的，在做运算难度大、步骤长及需要技巧的数学题的过程中有时最能获得数学知识，最能培养分析问题、解决问题的能力。看书和动手解题相结合必能使你学会如何去理解数学知识、如何去分析推理，从而对背景和题型稍新的数学问题不再束手无策，最终培养自己

数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比，它的主要特色就是紧紧围绕软硬件规约和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法，紧致性理论和Lowenhenm-Skolem定理，并介绍了Alloy语言和Nusmv工具。 本书自出版以来受到广泛好评，已经被包括美国普林斯顿、卡内基-梅隆、英国、德国汉堡、加拿大多伦多、荷兰 Vrije，印度理工学院在

数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比，它的主要特色就是紧紧围绕软硬件规约和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法，紧致性理论和Lowenhenm-Skolem定理，并介绍了Alloy语言和Nusmv工具。

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、Lowenheim-Skolem定理等，并介绍了Alloy语言和NuSMV工具等内容。 本书适宜作为高等院校计算机及相关专业的数理逻辑/形式化方法课程的教材，也可供相关研究人员和专业人士参考。

《高等数学》是理、工、农、经、管、法等各专业大学生专升本的必考课程，但因专升本考试的特殊性，山东省教育厅没有规定对应的专升本使用教材，为了便于学生在备考专升本时有一本 性强、科学性强、实效性强、针对性强的书籍，编者编写了本书。 本书根据山东省专升本《高等数学》考试大纲规定的范围编写，紧扣考试要求，使学生在复习过程中清晰明了，准确把握知识点，快速提升专业知识。 本书包括《基础知识精讲》《考点解析与强化训练》《全真模拟试题及解析》三册。

高等数学是大学学习过程中最重要的公共课。在研究生入学考试中也占据举足轻重的地位。本书可配合高等数学同济8版教材使用，也可独立使用，本书由全国知名教授张天德编写，帮助大学生们顺利完成高等数学课程和复习！