专业详细介绍
计算机软件与理论是计算机一级学科下的二级学科，聚焦软件基础理论、程序设计理论、形式化方法、软件规约、程序验证、软件工程理论、软件建模等方向。区别于偏重工程开发的方向，本专业更偏向理论研究，关注程序正确性、软件形式化验证、软件建模语言、软件可靠性等基础问题，兼顾理论证明与软件方法学研究。毕业生适合在科研院所、高校、重点科技单位从事软件理论研究、可信软件研发、教学科研等工作。
考研复试重要性
计算机软件与理论复试重点考察程序理论、形式化方法、软件工程基础理论，程序验证、软件建模、软件可靠性相关问题是高频考题。初试多偏向通用计算机专业课，复试会更侧重软件理论方向的专业内容，考官关注考生的抽象思维、逻辑推导能力，考察考生对软件正确性、程序规约等理论概念的理解。不少考生平时侧重工程开发，对形式化、程序证明类理论内容准备不足，容易出现概念混淆。复试成绩占比高，是区分考生理论素养的关键，备考需要重点梳理软件理论相关学术概念。
考研复试细则
辅导严格依照北师大 2026 年研究生复试流程规划内容。复试为综合面试，考核板块包含专业问答、外语测试、综合交流。专业面试围绕程序理论、形式化方法、软件工程理论、软件建模案例提问；外语部分为英文自我介绍和基础专业英文问答；综合提问了解考生相关文献阅读、课程项目、研究兴趣。复试分项打分，初试复试成绩加权合并后排序录取，复试不合格不予录取。
复试辅导课程
课程梳理软件与理论复试核心理论、形式化基础、软件建模与验证相关知识点，搭建理论概念阐释、研究方案评析的答题框架。指导考生打磨自我介绍、优化简历，整理本方向英文面试素材。多轮全真模拟面试，训练考生严谨表述理论概念，理清逻辑推导过程，避免口语化表达，帮助考生适配本专业偏理论的面试考核风格，稳定发挥。
如有考研问题可以咨询 17521635669，新祥旭考研咨询师将热情专业的解答您的考研问题。
