本书是一本趣味横生地讲述形式逻辑主题的故事书，融合了众多读者喜闻乐见的逻辑谜题，以一种独特的方式来普及数理逻从 章到第十六章有大量的趣味谜题供读者思考，包括说谎和讲真话的逻辑、沉默的骑士和无赖等，循着本书生动活泼的语言，读者可以由浅入深地了解命题的真假和自指、推理的有效性、集合论语义学、无穷和保有效性以及形式系统的性质等逻辑学基础知识。同时，本书还提供了丰富的练习及答案，这些练习并不拘泥于符号的正确运用，而是重在让读者理解证明的构造过程。本书既可以作为普通读者走入逻辑学大门的科普书，也可以作为大学本科和研究生的补充教材。

《青少年信息学奥林匹克竞赛实战辅导丛书:信息学奥赛之数学一本通》的适用对象包括：中学信息学奥林匹克竞赛选手及辅导老师、大学ACM程序设计比赛选手及教练、高等院校计算机相关的师生、程序设计爱好者等。数学是计算机程序设计的灵魂。利用数学方面的知识、数学分析的方法以及数学题解的技巧，可以使得程序设计变得轻松、美观、高效，而且往往能反映出问题的本质。在外各项程序设计比赛（比如，ACM、NOI）活动中，越来越多地用到各种复杂的数学知识，对选手的数学修养要求越来越高。编写《青少年信息学奥林匹克竞赛实战辅导丛书:信息学奥赛之数学一本通》的目的就在于给广大ACM队员、NOI选手以及编程爱好者，分析一些程序设计中常用的数学知识和数学方法。

《高等代数选讲》是编者刘丽在多年从事“高等代数”及“高等代数选讲”教学的基础上编写的一本辅导材料。全书共分11章，内容包括行列式、矩阵、n维向量、线性方程组、多项式、相似矩阵、二次型、线性空间、线性变换、欧几里得空间、λ-矩阵等。每章内容均按教学要求、知识要点、典型例题、同步练习及参考答案5部分编写。在编写时，力求对内容进行概括性阐述，对例题进行分类讲解，对一些典型例题或具体的解题方法，多加以分析或评注；内容及例题安排上，由浅入深，便于教师教学和学生自学。本书可作为数学类专业硕士研究生入学考试教材或复习指导书，也可作为理工科、经济管理类学生学习“高等代数”与“线性代数”的参考书，同时还可供教授“高等代数”与“线性代数”的教师参考。

本书在创新理念的指导下，注重发挥学生的主体作用，对教学方法进行了创新研究，提出数学文化与大学数学教学的融合、高等数学教学对学生能力的培养等。探讨了目前高等数学的教学模式，分析研究了传统教学模式、结合多媒体的教学模式、慕课教学和翻转课堂等，对从事高等数学课程教学的教师和高等数学教育教学研究的学者具有的参考和借鉴作用。

本书是作者多年来在大学生数学竞赛辅导和考研辅导经验的基础上编写而成的．全书共分为13 章，每章包括4 个模块，即知识要点、典型例题分析、深化训练以及深化训练详解．本书编写的目的主要有两个：一是帮助工科类、经管类本科生备考全国大学生数学竞赛，使学生能够在短时间内迅速掌握各种解题方法和技巧，提升学生综合分析问题、解决问题的能力；二是为了满足工科类、经管类本科生考研的需要. 在例题和习题选编方面，精选了部分有代表性的数学竞赛真题和考研真题，同时注重例题、习题的创新，按题型分类进行合理编排，使学生能够尽快地适应考研题型，从容应对考试.本书既可以作为普通高等院校工科类、经管类本科生参加全国大学生数学竞赛的辅导用书，也可以作为工科类、经管类本科生考研深化训练用书．