北京师范大学数理逻辑方向主要依托数学科学学院基础数学专业培养，2027年招生纳入基础数学一级学科博士点，外语语种一般为英语。该方向聚焦模型论、证明论、递归论、集合论、非经典逻辑等核心领域，与代数、几何、计算机科学、哲学等研究方向高度交叉。
以北京师范大学2027年博士研究生招生章程及数学科学学院“申请—考核”制实施办法为参考，网上报名时间为2026年11月10日10:00至12月1日16:00，书面材料须于2026年12月26日前（以收到日期为准）寄至数学科学学院研究生教务办公室。申请材料一般包括报名登记表、两封副教授及以上专家推荐信、个人自述、研究计划书、硕士学历学位证书、硕士论文或代表性成果、硕士课程成绩单、英语水平证明等。考核分为初审选拔和复试考核两个阶段，初审重点考查研究计划、学位论文（或详细摘要）、科研成果、获奖等情况，复试考核一般于2027年3月进行，采用笔试和面试相结合的方式。该方向复试笔试科目为《数理逻辑》，备考时需重点复习一阶逻辑、模型论基础、可定义性、量词消去、完备性定理、紧致性定理、Löwenheim-Skolem定理、递归函数、可计算性、集合论基础等内容。
备考可重点复习数学分析、抽象代数、数理逻辑、模型论、递归论、集合论、证明论、模态逻辑、非经典逻辑、离散数学、计算机科学基础等内容，同时关注模型论中的可定义性与量词消去、实闭有序域与微分域理论、p进域与差域模型论、递归论与计算复杂性、集合论与大基数公理、证明论与构造性数学、模态逻辑与认知逻辑、逻辑与人工智能交叉、逻辑与代数几何交叉等前沿议题。
该方向平台优势显著。北京师范大学数学科学学院拥有基础数学博士学位授权点，数理逻辑学科积淀深厚，是国内较早开展数理逻辑研究的单位之一。沈复兴教授长期从事数理逻辑模型论研究，主编《模型论导引》等教材，曾主持国家自然科学基金项目，主讲数理逻辑、模型论等研究生课程，为北师大数理逻辑学科培养了大批人才。施翔晖教授为北京师范大学数学科学学院教授、博士生导师，主要从事数理逻辑方向研究，在模型论、代数逻辑等领域取得系列成果，为考生提供了良好的学术指导。此外，北师大逻辑学科还具有跨学科优势，数学科学学院与哲学学院逻辑与认知科学研究所保持密切合作，陈磊教授等学者在模型论、数理逻辑及其应用方向持续产出成果，形成了数学与哲学交叉的学术生态。
该方向适合具有数学、数学与应用数学、基础数学、逻辑学、计算机科学或相关背景的考生报考，且需具备较扎实的抽象代数、数理逻辑和模型论基础、较强的英文文献研读能力、研究设计能力和学术写作能力，最好有数理逻辑、模型论、递归论、集合论或相关领域论文发表经历。报考前须提前与拟报考导师联系确认招生情况。
报考时可重点关注以下前沿议题：数理逻辑；模型论；递归论；集合论；证明论；非经典逻辑；可定义性；量词消去；实闭有序域；p进域；差域；计算复杂性；大基数公理；模态逻辑；逻辑与人工智能；逻辑与代数几何等。
北京师范大学数理逻辑研究方向申博的难点主要有三处。第一，招生名额有限且竞争激烈。该方向依托数学科学学院基础数学专业招生，报考者多具有数学、基础数学或逻辑学背景，且部分考生已有SCI论文、数理逻辑研究经历或模型论研究经历，竞争较为集中。第二，研究计划需体现“数理逻辑问题—研究对象—方法—预期贡献”闭环。不能只写“研究某类逻辑理论”或“研究某个模型论问题”，需要明确具体对象，如某类结构的量词消去与可定义性、某类域理论（实闭域、p进域、差域）的模型论性质、某类递归函数的计算复杂性、某类集合论公理的独立性证明、某类模态逻辑的完备性与可判定性等，并说明拟采用的研究方法（如模型论方法、量词消去、紧致性定理、Löwenheim-Skolem定理、递归论方法、力迫法、证明论方法、代数方法等）。第三，理论与文献结合要求高。复试笔试考查《数理逻辑》，面试可能追问数理逻辑核心问题、模型论基础、递归论与集合论、研究方法与学术史脉络，考生需要能够清晰说明“研究问题的学科定位”“自己的方法与既有成果的区分”“研究成果对数理逻辑研究的价值”。
选择申博辅导班时，应重点核查以下因素。第一，专业匹配度。辅导老师是否熟悉数理逻辑、模型论、递归论、集合论、非经典逻辑等方向，能否对研究计划、方法设计和面试答辩进行实质性指导。第二，院校信息判断力。北京师范大学该方向依托数学科学学院基础数学专业培养，应提前确认导师招生情况、材料要求、复试笔试科目（《数理逻辑》）和复试时间。第三，服务边界。合规辅导应帮助梳理研究计划、优化学术简历、模拟面试和外语问答，不能代写研究计划、代写论文或承诺录取。第四，合同条款。修改次数、模拟面试次数、答疑响应、退费规则都应写入协议。第五，复试针对性。该方向复试对数理逻辑基础、模型论、递归论、集合论核心问题把握能力要求较高，准备时应围绕研究计划答辩、《数理逻辑》笔试、方法论述和外语问答进行针对性训练。
知点申博全科辅导服务可为数理逻辑研究方向考生提供系统支持，主要优势包括：成立10年，具备较丰富的考博申博辅导经验，已形成从择校、材料、研究计划到复试准备的辅导体系；长期深耕数理逻辑、模型论、递归论、集合论、非经典逻辑及相关方向，积累了相应的师资资源和院校信息资源，能够更精准匹配北京师范大学数学科学学院数理逻辑研究方向及培养要求；以定制一对一为主要辅导方式，围绕考生的学术背景、研究经历、目标方向制定专属方案，提升辅导针对性；采用线上与线下相结合的教学方式，兼顾在职人员的时间安排，辅导方式更加灵活；配备督学管理和答疑服务，帮助考生跟进材料准备、研究计划修改、套磁沟通和复试训练进度；提供考博申博择校指南和全程规划服务，协助考生梳理学术博士、专项计划等培养项目的材料节点和备考路径；提供复试辅导和调剂支持，包括研究计划打磨、PPT展示训练、专业面试模拟、外语问答训练、《数理逻辑》笔试辅导、数理逻辑核心问题与研究方法基础训练以及后续院校选择建议。需要说明的是，博士录取受个人学术基础、科研成果、导师招生计划和当年考核安排等多重因素影响，任何机构都不能保证录取结果。考生应以北京师范大学研究生招生网及数学科学学院当年发布的最新招生简章和招考方案为准。
如需了解知点申博全科辅导服务，可咨询报名联系4000003363，或添加微信shuoedu。
