本书从课程评价领域的发展与国际现状，课程评价的方法，我国课程评价模型的建构与实践三个方面进行了系统论述。首先，本书对课程评价的理念与内涵、课程评价的模型及其发展历程进行回顾，对当前世界范围内主要国家的课程测量实践和国际课程评价项目进行比较与总结。其次，从混合方法论的视角出发，对课程评价方法进行梳理与分析。在此基础上，结合我国课程实际，建构起具有中国特色的课程评价模型和适合我国课程实情的课程测量与评价方法体系。*后，以我国小学数学为例，将所构建的课程评价理论模型进行逐层落实，实现对我国小学数学课程从宏观到微观层面的系统测量与评价，以验证所构建的课程评价模型及评价方法体系的合理性与科学性。
本书按照《高等数学》 （同济七版）章节顺序，并 参照 制订的 考研数 学考试大纲 和中国数学会 制定的 中国大学生数学竞 赛大纲 编写，包括十二个 章节的同步检测以及上册（ 前七章）与下册（后五章） 的综合检测，共计十四套试 卷，每套试卷又含ABC三份 检测试卷，其中，A卷是基 本内容难度，夯实基础；B 卷是学校考试难度，强化训 练；C卷是考研竞赛难度， 拓展提升，对于试卷中的每 一道题目，均有配有详细的 解答过程。 本书内容丰富、题型多 样、解析专业，可作为理工 科大学一年级学生学习高等 数学的配套资料，同时还可 以作为准备复习考研和参加 大学数学竞赛的参考书及其 相关教师的参考资料。
本套《高等数学》教材是福建省教育厅高校精品课程立项建设的一个成果，是我校长期开设这门课程的经验总结，凝聚了校内、外许多老师多年辛勤劳动的心血。 吴炯圻、陈跃辉、唐振松编著的《高等数学及其思想方法与实验（上）》以数学思想方法为指导，阐述微积分学的基本内容、基本方法和有关应用，分为上下两册。上册（1～6章）包括函数与极限、导数与微分、微分中值定理与导数的应用、不定积分、定积分及其应用和微分方程；下册（7～11章）包括空间解析几何、多元函数微分学及其应用、重积分、曲线积分与曲面积分和无穷级数。各章均附有数学实验和思想方法选讲各一节，书末还附有几种常用曲线、积分表、Mathematica的使用简介与各章习题的参考答案。 《高等数学及其思想方法与实验（上）》适用于一般理工科、经济、管理各专业学
邱法玉、宋金丽主编的《高等数学学习辅导与同 步练习(国家骨干高职院校基础课系列教材)》根据教 育部制定的《高职高专教育高等数学课程教学基本要 求》，以国家骨干高职高专办学方向和培养目标为指 导，兼顾各专业对高等数学知识和技能的基本需求编 写而成。 本书既从宏观上对各章知识点、重难点、内在联 系进行系统的梳理，又从微观上对重点题型、解法、 注意事项进行分门别类的总结与例题示范，有利于学 生对知识的掌握以及应用能力的提高。 本书与国家骨干高职院校系列教材《高等数学》 配套使用，一方面能做到对教材知识点的呼应、总结 与强化，另一方面题目类型全、覆盖面广，题目从基 本到综合，由易到难、循序渐进，充分注重基础知识 的巩固、基本方法和自学能力、解题能力、应用能力 以及分析问题、解决问题能力的训练
本书结合当前江苏省专转本选拔考试高等数学考纲要求，其编写目的是为广大考生提供一本适用、高效的复习资料，内容包括极限和连续、一元函数微分、一元函数积分、多元函数微分、多元函数积分、微分方程、级数、行列式、矩阵及其运算、线性方程组的解等。本书严格按照江苏省专转本选拔考试高等数学考纲中各章的顺序配备练习，这些题目与历年考题仿真度极高，既覆盖了大纲范围内的重点和难点，又十分注重解题技巧和方法，考生通过考前强化训练，有望获取高分甚至满分。
本书主要是根据“数学建模”课程的教学和数学建模竞赛培训活动的实际需要，以及作者多年从事相关工作的实践经验和体会编写而成的，从内容上突出体现了“广、浅、新、用”的现代应用特点。 主要内容包括量纲分析，集合分析、微分方程、差分方程、插值与拟合、层次分析、概率分布、数理统计、回归分析、线性规划、整数规划、非线性规划、动态规划、排队论、对策论、随机性决策分析、多目标决策分析、图论、模糊数学和灰色系统分析等20大类数学建模方法，每一种方法都有相应的应用案例分析及参考案例。附有历年中国大学生数学建模竞赛和美国大学生数学建模竞赛的问题，以及MATLAB的使用简介。 本书可作为专科生、本科生、研究生的“数学建模”课程教材外，还特别适用于数学建模竞赛的培训教材，以及供从事应用研究的工程技术人员参考之
《高等数学习题精选精解》由山东大学张天德教授、蒋晓芸教授主编。山东大学刘建亚教授、吴螓教授对全书作了仔细的校审，并对部分习题提出了更为精炒的解题思路。该书可以作为在读大学生同步学习的优秀辅导书，也可以
本书针对当代强劲的科技综合化趋势和全球经济一体化大潮，以及各类人员在当前形势下提高素质、拓宽视野、加强沟通的新要求，将工程技术与经济管理相综合，正面展开对工业系统的介绍，通过对能源、冶金、化工、机械、汽车、电子、轻工以及建筑等8个主要工业部门的介绍，深入浅出地展现了这些领域的生产过程，并从中提炼出系统观、结构性、社会化、产业政策、管理沟通、市场开拓、文化传统和可持续发展等基本概念，使读者对整个工业体系从技术过程到产业发展形成一个比较全面的认识，以建立实践性的认识方法和思维方式。本书作为清华大学文化素质教育核心课程教材，已有多年教学实践，在加强学生通识教育方面取得了很好的教学效果。本书也可作为干部培训教材、各类人员的继续教育教材以及了解工业知识的科普读物。
本书是《高等数学》教材配套的练习册，习题与主教材章节安排一致，内容包括函数、极限与连续、导数与微分、导数的应用、不定积分、定积分及其应用、常微分方程、向量代数与空间解析几何、多元函数微分学、二重积分、无穷级数的相关练习，书末附有提示和答案． 本书可作为现代远程教育、成人高等教育教材使用，也可作为职业教育、高等教育自学考试教学用书，也能作为其他有关人员参考用书。
本书特点： 1.遵循认识规律，揭示数学发现 对于概念、定理、公式，尽可能从直观背景出发，提出问题，分析问题，得出结论，然后再抽象论证。将数学的基本思想融人各教学环节中，引导学生学会从量化的角度数学地思考和处理问题。 2.加强综合应用数学知识能力的训练 各章节的例题和习题比较丰富，特别是适量选编了一些综合性的题目。对于难度较大的题目，我们注意推敲再三，对运算技巧作了淡化处理，因为此类技巧并未涉及基本的数学思想和方法。
《高数叔概率统计入门》全书基本按照高等数学教材内容，以小说的章回体体例编排，语言风趣幽默，版式设计精美，还配有视频讲解，把枯燥乏味、生涩难懂的概率论与数理统计知识巧妙地讲解得生动有趣，易于读者理解，适合高中生、在校大学生等对概率论与数理统计感兴趣的初学者阅读，也适合想回顾概率论与数理统计知识的读者阅读。知识讲解与例题有机结合，图文并茂，双色印刷，再配上相关视频，给读者一种全方位的学习体验。
《超级通俗考研数学:攻坚站之高等数学》的一大特点是通俗易懂，深入浅出。主要内容包括高等院校高等数学课程的所有内容，针对考研数学的特殊性进行了强化，同时对于一些传统课本中的重点、难点、疑点以及被忽视的一些潜在要点做出了全新诠释。另外，由于作者常年从事考研培训，《超级通俗考研数学:攻坚站之高等数学》还包括相当多的不传之秘——考研数学的套路。
《青少年信息学奥林匹克竞赛实战辅导丛书:信息学奥赛之数学一本通》的适用对象包括：中学信息学奥林匹克竞赛选手及辅导老师、大学ACM程序设计比赛选手及教练、高等院校计算机相关专业的师生、程序设计爱好者等。数学是计算机程序设计的灵魂。利用数学方面的知识、数学分析的方法以及数学题解的技巧，可以使得程序设计变得轻松、美观、高效，而且往往能反映出问题的本质。在外各项程序设计比赛（比如，ACM、NOI）活动中，越来越多地用到各种复杂的数学知识，对选手的数学修养要求越来越高。编写《青少年信息学奥林匹克竞赛实战辅导丛书:信息学奥赛之数学一本通》的目的就在于给广大ACM队员、NOI选手以及编程爱好者，系统分析一些程序设计中常用的数学知识和数学方法。
本手册以高等数学的公式为主线，以简洁的形式分门别类地详细介绍了高等数学的主要公式、定义、定理、图形以及各种题型的解题方法和技巧.除了高等数学教材中的基本内容和公式、常见解题方法和技巧外，本手册还大量收集了一般教材中没有的，但在解题中有用的公式、特殊的解题方法和技巧. 使用本手册可以帮助读者迅速复习、回忆和掌握高等数学的公式、解题方法和技巧，以提高高等数学的学习效率、解题能力和考试成绩. 本手册适合学习高等数学（微积分）的大学一年级学生，也适合复习高等数学并准备考研究生的高年级学生，对学习和复习高等数学的其他读者也有参考价值. 本手册还可作为高等数学教师的一本方便的教学参考书和工具书.
本书是作者多年来在大学生数学竞赛辅导和考研辅导经验的基础上编写而成的．全书共分为13 章，每章包括4 个模块，即知识要点、典型例题分析、深化训练以及深化训练详解．本书编写的目的主要有两个：一是帮助工科类、经管类本科生备考全国大学生数学竞赛，使学生能够在短时间内迅速掌握各种解题方法和技巧，提升学生综合分析问题、解决问题的能力；二是为了满足工科类、经管类本科生考研的需要. 在例题和习题选编方面，精选了部分有代表性的数学竞赛真题和考研真题，同时注重例题、习题的创新，按题型分类进行合理编排，使学生能够尽快地适应考研题型，从容应对考试.本书既可以作为普通高等院校工科类、经管类本科生参加全国大学生数学竞赛的辅导用书，也可以作为工科类、经管类本科生考研深化训练用书．
针对当前高等数学教学的现状分析，《高等数学的教学改革策略研究》一书应需而生。本书主要围绕高等数学的教学思想改革策略研究、高等数学的教学内容改革策略研究、高等数学的教学主体改革策略研究、高等数学的教学目标改革策略研究、高等数学的教学方法改革策略研究、高等数学的教学模式改革策略研究、高等数学的教学评价改革策略研究、高等数学的教学实践改革策略研究等内容进行了阐述，以期通过本书的分析研究，能够对高等数学的教学改革有所助益。
高等数学的重要性不言而喻。由于高等数学理论上的高度抽象性、逻辑上的高度严密性以及内容上的博大系统性，使得初学者在有限的学时内难以理解接受。正因于此，对初学高等数学的同学来说，往往听讲时抓不住重点，课后不知如何去解题，所以希望能有一本令他们满意的参考书，帮助他们尽快地突破难点、抓住重点，牢固地掌握基本知识，且在此基础上，学会并掌握较为系统的解题方法。为了满足同学们的上述愿望，我们总结了三十多年从事高等数学教学的经验，编写了这本《高等数学重点难点100讲》。 本书的特点是：一、突出重点难点。全书将高等数学从函数、极限、连续、一元微积分、向量代数、空间解析几何到多元微积分、级数及微分方程各个章节中的重要的、难以理解掌握的知识点一一抽取出来，从多角度进行详细的讲解与讨论，起到化难为易
数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比，它的主要特色就是紧紧围绕软硬件规约和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法，紧致性理论和Lowenhenm-Skolem定理，并介绍了Alloy语言和Nusmv工具。 本书自出版以来受到广泛好评，已经被包括美国普林斯顿大学、卡内基-梅隆大学、英国大学、德国汉堡大学、加拿大多伦多大学、荷兰 Vrije大学，印度理工学院在内的多个国家几十所高校采纳为教
