逻辑定理的机器证明是人工智能领域人们最早从事研究的课题。本书从逻辑定理的人工证明和机器证明两方面来展现逻辑定理证明的艺术，而机器证明又从定理的自动证明和计算机辅助证明两个方面来展现。本书首先用作者构造的命题演算系统FPC和狭谓词演算系统FQC完成常用逻辑定理的人工证明(一种自然推理证明)。其次，用逻辑定理的机器证明工具TPG(Tree Proof Generator)实现逻辑定理的自动证明(一种树证明)。最后，用交互式定理机器证明工具Fitch实现了逻辑定理的计算机证明(一种自然推理证明)。

本书在H.M.Sheffer和张清宇先生等人工作的基础上，提出了一种创新型的逻辑符号表示法——中国表示法。在其中仅仅使用一对括号，就可以在一个公式中同时表示出所有的命题联结词、量词、模态词和时态词等逻辑常项，由此可以极大地简化构建逻辑系统所需的初始联结词。本书阐述了中国表示法区别于其他表示法的整体性特征，证明了中国表示法的结构唯一性及其强大的表达功能，基于中国表示法探究了若干逻辑基础问题，获得了若干创新性成果。

本书是Fred等三个美国流行病学模型专家、数学家合著的Mathematical Models in Epidemiology一书的中译本。内容分流行病学的基本概念（包括各种类型的仓室模型、地方病模型、流行病模型、异质混合模型、媒介传播的疾病模型）,特殊疾病的模型（包括结核病模型、艾滋病病毒/艾滋病（HIV/AIDS）模型、流感模型、埃博拉模型、疟疾模型、登革热模型与寨卡病毒模型）,进一步概念（包括年龄结构和空间结构的疾病传播模型等）和展望未来四个部分,另加三个附录。

本书是一本给年轻人的培养数学思维能力的科普书。数学无处不在! 即使你看不见它, 它也会隐藏在你身边。本书将带你一起寻找隐藏在日常生活角落里的趣味数学! 本书呈现了一系列古怪的问题: 为什么航空公司要超售机票; 足球比赛罚球规则中隐藏着哪些数学秘密; 如何推算一个人是不是在撒谎; 为什么二加二等于三; 如何计算田径比赛中赢的概率, 以及其他历史上未解决的数学难题。你将通过稀奇古怪的逻辑谜题与烧脑的游戏, 学习隐藏在生活中的数学智慧, 培养受益一生的数学思维能力。

本书共分为六章。第一章研究了大学数学教学，第二章研究了大学数学教学设计，第三章对大学数学教学模式进行了研究，第四章研究了大学数学实验教学，第五章研究了大学数学素质培养，包含了培养大学生数学思想方法素质、数学思维能力、数学问题提出能力、数学文化素质的教学策略，第六章分析了大学数学教育教学实践。

伴随全球基础教育领域“核心素养”运动的热潮、“互联网+大数据”时代的转型升级及“双减”政策的根本要求，数学教师应对工作岗位中各类情境与问题所需具备的关键能力正成为学者们关注的热点。面对社会角色的变革重塑以及肩负着让学生在“减负”的同时保证“走进美丽数学世界”进行高效数学学习的使命与责任，数学教师具备能够帮助学生理解学科以及运用多种教学手段和策略来解决不同学生需求的“关键能力”是至关重要的因素。因此，作为贯通自然学科基石与桥梁的数学教师究竟需要哪些关键能力与必备品格？如何明确界定数学教师

本书是一本简单的书, 也是一本复杂的书; 是一本遥远的书, 也是一本亲近的书。在书中, 作者为大家介绍了十位来自不同地区的数学先驱的生平事迹和他们的伟大成就。也许其中介绍的一些数学问题你并不了解, 也许里面的一些专业术语你并不熟悉, 但是这并不会妨碍你对他们伟大人格的理解, 也不妨碍你从他们身上了解到一些投身科学的精神。

本书记叙的十位不平凡的人物, 有着不同的国籍, 各异的人生经历, 迥然的性格特质, 但他们都是20世纪上半叶的数学先锋。以希尔伯特的23道数学难题开始, 他们首先聚焦于刚刚创立的集合论, 进而扩展到整个数学领域的重新审视, 他们中的大部分参与并成就了哥廷根的辉煌。

本书介绍了一系列数学家以及他们在数学领域所取得的成就。这些成就改变了人类社会科学发展的进程, 对科学进步与发展作出了杰出的贡献。本书是一本面向中学生的数学史普及读物, 它以公元14-19世纪十位伟大数学家的生平事迹及其数学贡献为主线, 贯穿以当时数学研究和生活时代的背景状况, 为我们勾勒出这一时期数学发展的概貌。

本书介绍了一系列数学家以及他们在数学领域所取得的成就。这些成就改变了人类社会科学发展的进程, 对科学进步与发展作出了杰出的贡献。19世纪是数学发展承前启后的时期, 这一时期的数学家完善已知数学领域, 使之严密化; 提出众多革命性的思想和概念, 为继任者们开辟大量新“战场”。本书中描述的十位近代数学奠基者, 用他们的生平和探索向读者展示那个缤纷的时代和那些闪亮整个数学科学的思想火花。