81计算机斛学术的研究范暗 计算机科学主要的研究范畴包括计算机理论、计 算机硬件、计算机软件、计算机网络及计算机应用等。 计1理论的究的容 箕离散数学:主要研究数理逻辑、集合论、近似代数和图论等。 科算法分析理论:主要研究算法设计和分析中的数学方法与理论。 学形式语言与自动机理论:研究程序设计语言及自然语言的形式化定 义、分类、结构等,研究识别各类语言的自动机模型及其相互关系 导程序设计语言理论:运用数学和计算机科学的理论研究程序设计语 论言的基本规律。 程序设计方法学:研究编制高质量程序的各种程序设计规范化方法, 并研究程序正确性证明理论等计 算 机 科 学 技 术 导 论 8.1 计算机科学技术的研究范畴 计算机科学主要的研究范畴包括计算机理论、计 算机硬件、计算机软件、计算机网络及计算机应用等。 1 计算机理论的研究内容 离散数学：主要研究数理逻辑、集合论、近似代数和图论等。 算法分析理论：主要研究算法设计和分析中的数学方法与理论。 形式语言与自动机理论：研究程序设计语言及自然语言的形式化定 义、分类、结构等，研究识别各类语言的自动机模型及其相互关系。 程序设计语言理论：运用数学和计算机科学的理论研究程序设计语 言的基本规律。 程序设计方法学：研究编制高质量程序的各种程序设计规范化方法， 并研究程序正确性证明理论等