2021年复旦大学计算机软件与理论考研专业介绍.docx
新祥旭考研官网 http:/www.xxxedu.net/2021年复旦大学计算机软件与理论考研专业介绍计算机软件与理论研究计算系统的基本理论、程序理论与方法及基础软件。其中,计算系统的基本理论主要研究求解问题的可计算性和计算复杂性,研究可求解问题的建模、表示及到物理计算系统的映射,目标是为问题求解提供基本理论和方法。计算系统的程序理论与方法主要研究如何构造程序、形成计算系统并完成计算任务,目标是为问题求解提供程序实现。计算系统的基础软件主要研究计算系统资源(硬件、软件和数据)的高效管理方法和机制,研究方便用户使用计算系统资源的模式和机制,目标是为用户高效便捷地使用计算系统资源提供基础软件支持。本学科专业涉及的理论基础包括离散数学、计算理论、信息与编码理论、形式语言与自动机理论、形式语义学、程序理论、算法分析和计算复杂性理论、数据结构以及并发、并行与分布处理理论、人工智能与智能信息处理理论、数据库与数据管理理论等,同时涉及感知、认知机理、心理学理论等。