数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比，它的主要特色就是紧紧围绕软硬件规约和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法，紧致性理论和Lowenhenm-Skolem定理，并介绍了Alloy语言和Nusmv工具。 本书自出版以来受到广泛好评，已经被包括美国普林斯顿大学、卡内基-梅隆大学、英国大学、德国汉堡大学、加拿大多伦多大学、荷兰 Vrije大学，印度理工学院在内的多个国家几十所高校采纳为教
高等数学是高等职业院校学生的一门必修课，其思想和方法广泛应用于科学技术、社会经济等领域，对学生的专业学习、能力提高和职业发展有着极其重要的作用。 本书的编写遵循高等职业教育“以服务为宗旨，以就业为导向，走产学结合发展道路”的办学指导思想，本着“以应用为目的，以能力培养为目标”的教学原则，强调数学概念与实际问题的联系，提高学生的实践能力和创新精神。 教材内容共十章，包括函数、极限与连续、一元函数微分学、一元函数积分学、常微分方程、二元函数微分学、二元函数积分学、无穷级数、拉普拉斯变换、行列式与矩阵。全书建议讲授120—140学时(其中全书的应用与实践部分建议有选择地讲授20～30学时)。本书适用于高等职业院校机械工程专业、汽车 工程专业、电子电气工程专业、建筑工程专业、计算机专业等专业基础公共课
《超级通俗考研数学:攻坚站之高等数学》的一大特点是通俗易懂，深入浅出。主要内容包括高等院校高等数学课程的所有内容，针对考研数学的特殊性进行了强化，同时对于一些传统课本中的重点、难点、疑点以及被忽视的一些潜在要点做出了全新诠释。另外，由于作者常年从事考研培训，《超级通俗考研数学:攻坚站之高等数学》还包括相当多的不传之秘——考研数学的套路。
《青少年信息学奥林匹克竞赛实战辅导丛书:信息学奥赛之数学一本通》的适用对象包括：中学信息学奥林匹克竞赛选手及辅导老师、大学ACM程序设计比赛选手及教练、高等院校计算机相关专业的师生、程序设计爱好者等。数学是计算机程序设计的灵魂。利用数学方面的知识、数学分析的方法以及数学题解的技巧，可以使得程序设计变得轻松、美观、高效，而且往往能反映出问题的本质。在外各项程序设计比赛（比如，ACM、NOI）活动中，越来越多地用到各种复杂的数学知识，对选手的数学修养要求越来越高。编写《青少年信息学奥林匹克竞赛实战辅导丛书:信息学奥赛之数学一本通》的目的就在于给广大ACM队员、NOI选手以及编程爱好者，系统分析一些程序设计中常用的数学知识和数学方法。
本书是作者多年来在大学生数学竞赛辅导和考研辅导经验的基础上编写而成的．全书共分为13 章，每章包括4 个模块，即知识要点、典型例题分析、深化训练以及深化训练详解．本书编写的目的主要有两个：一是帮助工科类、经管类本科生备考全国大学生数学竞赛，使学生能够在短时间内迅速掌握各种解题方法和技巧，提升学生综合分析问题、解决问题的能力；二是为了满足工科类、经管类本科生考研的需要. 在例题和习题选编方面，精选了部分有代表性的数学竞赛真题和考研真题，同时注重例题、习题的创新，按题型分类进行合理编排，使学生能够尽快地适应考研题型，从容应对考试.本书既可以作为普通高等院校工科类、经管类本科生参加全国大学生数学竞赛的辅导用书，也可以作为工科类、经管类本科生考研深化训练用书．
《高等数学同步辅导(上册) 第8版》 高等数学是大学学习过程中最重要的公共课。在研究生入学考试中也占据举足轻重的地位。本书可配合高等数学同济8版教材使用，也可独立使用，本书由全国知名教授张天德编写，帮助大学生们顺利完成高等数学课程和复习！
本书根据高等工程教育的办学定位和工程技术型人才培养的目标，参考“高等院校线性代数教学大纲与基本要求”，结合编者多年教学实践经验编写而成。本书的主要内容包括行列式，矩阵，线性方程组和相似矩阵与二次型。每节后有习题，每章后有自测题，所有习题和自测题均配有答案，并附有多媒体课件。本书在编写过程中，坚持“理论体系完整，重在实际应用”的原则，注重培养学生分析问题的能力和运算能力，取材少而精，文字叙述通俗易懂；深人浅出，循序渐进；重点突出，难点分散；例题较多，典型性强；深广度合适，便于教与学。本书可作为高等院校（尤其是独立学院、民办高校，应用技术学院、网络学院）理工类（或经管类）专业应用型人才培养的教材，也可以作为高等技术教育、成人教育的本科教材，以及自学者学习线性代数的参考书。
《高等数学同步辅导(下册)》 高等数学是大学学习过程中最重要的公共课。在研究生入学考试中也占据举足轻重的地位。本书可配合高等数学同济8版教材使用，也可独立使用，本书由全国知名教授张天德编写，帮助大学生们顺利完成高等数学课程和复习！
《赵老师讲平面几何（下）辅助线及通用的方法》是讲平面几何解题思路及其训练的系列丛书的下册，重点讲解平面几何中比较重要的辅助线及通用的几何解题方法。老师们通过学习此书可以掌握平面几何中难度技巧较高的方法，并能辅导学生举一反三、触类旁通，使学生掌握一整套行之有效的学习几何和解几何题的高层次方法。可以说，此书为学习平面几何提供了一把金钥匙，是全国广大中学生（特别是初中生）及中学数学教师的良师益友。
该书稿是《微积分（经管类 简明版 第五版）》配套的辅导书。该系列教辅书均根据教材章节顺序建设了相应的学习辅导内容，其中每一节的设计中包括了该节的主要知识归纳、典型例题分析与习题解答等内容，而每一章的设计中包括了该章的教学基本要求、知识点网络图、题型分析与总习题解答，有助于学生巩固教材知识并拓展应用。
数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比，它的主要特色就是紧紧围绕软硬件规约和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法，紧致性理论和Lowenhenm-Skolem定理，并介绍了Alloy语言和Nusmv工具。 本书自出版以来受到广泛好评，已经被包括美国普林斯顿大学、卡内基-梅隆大学、英国大学、德国汉堡大学、加拿大多伦多大学、荷兰 Vrije大学，印度理工学院在内的多个国家几十所高校采纳为教
本书对高等数学教育的现状及高等数学教育教学中存在的问题进行了系统的分析。通过对高等数学教学创新研究、教学方法研究、教学课堂研究的概述，使读者对高等数学教育有基本的了解和认识。在此基础上，总结了高等数学教学应用问题的教学的方法及注意事项。书中针对高等数学与课堂教学给出了大量案例分析，同时还以课堂评析、实录等方式提供了作者在高校授课的部分教学案例供一线教师参考，目的是为了提升新形势下高等数学教学工作质量。
本书以多旋翼无人机为主要内容，详细介绍了多旋翼无人机及相关搭载设备的组装与调试流程，并针对无人机组装调试过程的重点部分提供了详细的检查测试方案，方便读者判断无人机组装调试是否达到标准。同时，本书还对无
