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