全日制教育硕士学位是国家为提高基础教育中教师整体专业素养而设立的专业学位，是国家教育所需卓越教师的职前储备。新时代教育的发展亟需大批满足素养教育要求的高素养教师，教育硕士的培养对国家教育建设至关重要。研究教育硕士的专业素养发展路径和促进其发展的机制，对我国基础教育高素养教师队伍建设具有重要意义。在教育部直属师范大学——

伴随全球基础教育领域“核心素养”运动的热潮、“互联网+大数据”时代的转型升级及“双减”政策的根本要求，数学教师应对工作岗位中各类情境与问题所需具备的关键能力正成为学者们关注的热点。面对社会角色的变革重塑以及肩负着让学生在“减负”的同时保证“走进美丽数学世界”进行高效数学学习的使命与责任，数学教师具备能够帮助学生理解学科

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

本书简要介绍了变分法所需的基本知识，包括索伯列夫空间、集中紧性原理、临界点理论等。为克服变分法应用过程中的一些紧性困难，本书也介绍了椭圆型方程解的无穷范数估计和正则化理论等经典结论。本书涉及的问题来源于薛定谔-泊松系统孤立波解的研究，主要内容包括作者近年来在含非局部项的半线性椭圆型偏微分方程领域一系列研究成果。本书可以

本书将基于社会选择理论进行跨文化互动的逻辑机制研究，针对社会选择理论中的防策略投票问题探讨逻辑语言的表达力，建立相关的逻辑系统，以求理论瓶颈的突破。进而，给出下一步的研究方向，即用精确的形式语言来刻画防策略投票问题，并生成为计算机可识别的程序代码，从而实现计算机对防策略投票问题的模拟和解决，以期实现对现实问题解决的自动

《中国化学催化技术发展史研究》是在广泛收集档案、内部资料以及其他相关文献的基础上，对我国化学催化技术发展历程进行的初步研究。书中对我国化学催化技术的发展历程进行了梳理，在掌握其总体发展情况的基础上，选择了煤液化技术等六项技术的发展历程进行专题研究，最后对我国化学催化技术的发展特点进行了总结归纳，并分析了其特点形成的原因

非帕斯卡概率逻辑是美国逻辑学家乔纳森·柯恩创立的、有别于帕斯卡概率逻辑的一种新型逻辑，该逻辑系统的更大的特征是不满足帕斯卡公理系统的否定互补性原理和乘法法则。《非帕斯卡概率逻辑的哲学基础与应用研究》立足于三个研究视角：一是在传统的归纳逻辑理论的演化序列中探寻该逻辑系统的哲学基础的合理性；二是从可能世界语义学角度对该种逻

《润物细无声数学教育探研集》是作者继专著《学海浪花――数学教学闲思集》之后又一部数学教育和数学教学研究专著。《润物细无声数学教育探研集》是作者在澳门数学教育研究学会参加数学教育研究和教师培训工作十余年的教学心得和教研积淀。包括数学教学论文八篇，内容涉及中学数学的“平面几何”，“代数”（包括方程，方程组，不等式，不等式组

量子力学是整个自然科学领域中最为有趣、最具哲学意涵的学科领域。作者的这本著作集中探讨了这个领域的哲学问题，并且在国际范围的原有研究的基础上有所突破。

《数理逻辑》介绍数理逻辑的基本内容，如经典一阶逻辑（包括命题逻辑和谓词逻辑）的句法、语义、逻辑演算（形式证明）以及刻画句法和语义之间关系的完全性定理，初步的模型论内容，集合论初步知识，哥德尔第二不完全性定理以及所需的递归论内容，等等。这些内容为我们学习20世纪伟大的数学发现——哥德尔定理提供了基础，也为进一步学习和研究