本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖命题逻辑、谓词逻辑、通过模型检测进行验证、程序验证、模态逻辑与代理、二叉判定图这些内容。本书主要讨论有关软硬件规范和验证这一主题的内容，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、Lowenheim-Skolem定理，并介绍了Alloy语言和

本书共分六章，包括行列式、矩阵、向量空间、线性方程组、矩阵的相似对角化、二次型等。每一章先介绍本章的主要知识点，然后详细讲解典型例题，继而精选难度中等偏上的考研真题进行讲解，每章最后都配有一定数量难易适中的习题，并在书后给出了提示与答案。对于一些章中的重点内容，或读者理解与掌握过程中容易产生疑问的内容，给出进一步的讲解

《考研数学考前模拟6套卷》由杨超等名师倾心编写，汇集多年的教学经验和对考研数学命题趋势的深刻理解，精准提炼数一、数二、数三的核心考点。每套试卷都经过精心设计，题目类型与难度均与历年真题高度吻合，能够真正帮助考生在考前进行高效复习和模拟考场真实场景。通过这6套高质量模拟卷的磨炼，考生可以全面检验自己的学习成果、查漏补缺，

《玩出数学脑的扑克游戏》系作者多年研究的智慧结晶，是作者献给广大数学爱好者的学习材料。不同于传统的扑克游戏书籍，本书精心挑选并编写了255个扑克游戏，每个游戏背后都蕴藏着深刻的数学思想和思维智慧。本书按照幼儿园各学段和小学各学段的特点，提供了具体的扑克游戏课例，帮助学生在轻松愉快的氛围中掌握数学知识，提升思维能力。同时

本书依据工科数学“复变函数与积分变换教学大纲”，在多年教学实践的基础上编写而成，旨在培养学生的数学素养，提高学生应用数学知识解决实际问题的能力，特别强调理论的应用性。本书系统地介绍了复变函数与积分变换的基本理论与方法，全书共分8章，内容包括复数与复变函数、复变函数的导数、复变函数的积分、复变函数的级数表示、留数及其应用

本书以求解线性方程组为切入点，通过矩阵方法来研究线性代数中的一系列基本问题，不仅使得主线清晰，结构紧凑，而且使得问题处理简洁明了，易于理解，便于自学和把握。本书共分为6章主要包括：行列式的概念、性质和各种计算技巧；各种有关矩阵的运算，如矩阵的线性运算、乘法运算、转置运算、初等变换、等价标准形、矩阵的秩以及矩阵分块等，介

本书第一章讲授线性空间和线性变换，介绍矩阵在线性空间和线性变换表示方面的基础地位和作用，第二章讲授线性空间的度量，介绍内积、向量和矩阵范数等度量性质，第三章讲授矩阵的相似标准形，介绍相似标准型的概念、计算方法及其在矩阵函数计算方面的应用，第四章讲授子空间分析，介绍特征子空间、奇异子空间和投影子空间的概念与应用，第五章讲

本书从一道1978年全国高中数学竞赛试题谈起，详细介绍了切博塔廖夫猜想的相关问题，共分12章：有限域上的多项式、分圆多项式系数的性质、Q上分圆多项式的系数猜测及机器计算、分布与测度等，并配有大量相关文献，便于读者阅读使用.本书适合大中专师生及数学爱好者参考阅读.

本书是师范类专业研究生课程教材，主要内容包括数学教育理论和实践，数学教育理论包括数学课程的发展、数学学习理论、数学教学理论；数学教学实践包括数学教学设计的编写、数学教育技能的实践和数学课堂的实践等，共九章：第一章绪论，第二章数学课程与教学基础，第三章数学课程与教学理论，第四章数学课程的设计理论，第五章数学课程实施与开发

理工类和综合型本科院校中人文、外语、人居、经管等学科非理工类专业，对大学数学课程教学通常是安排较少学时、达到基本要求即可。作者在西安交大连续十多年从事此类课程教学，深知学生特点和专业需求，在总结教学经验和体会的基础上，编写了针对这些专业大学数学教学要求的《高等数学》(少学时)教材，以适应非理工类学生培养需要(64—96