计算机科学是系统性研究信息与计算科学的理论基础以及它们在电子计算机系统中如何实现与应用的实用技术的学科。 它通常被形容为对那些创造、描述以及转换信息的算法处理的系统研究。计算机科学包含很多分支领域；有些强调特定结果的计算，比如计算机图形学；而有些是探讨计算问题的性质，比如计算复杂性理论；还有一些领域专注于怎样实现计算，比如程式语言理论是研究描述计算的方法，而程式设计是应用特定的程式语言解决特定的计算问题，人机交互则是专注于怎样使计算机和计算变得有用、好用，以及随时随地为人所用。
1
在计算机科学与技术领域，建模语言是以模型对目标系统做出表征的手段。一个完整的建模语言定义由语法表述构成，包括良构规则和语义；通常包含抽象语法和语义以及语用规则和具体语法。
在计算机科学与技术领域，建模语言是以模型对目标系统做出表征的手段。一个完整的建模语言定义由语法表述构成，包括良构规则和语义；通常包含抽象语法和语义以及语用规则和具体语法。
清华大学信息科学技术学院是清华大学的一个学院，院级行政管理为虚体建制，下设多个实体建制。主要研究电子科学与技术、信息与通信工程、计算机科学与技术和控制科学与工程。探索下一代互联网技术、通信技术、计算机与智能技术、光电子与纳电子学、工业信息化技术以及基于信息科技的自然科学研究。
清华大学信息科学技术学院是清华大学的一个学院，院级行政管理为虚体建制，下设多个实体建制。主要研究电子科学与技术、信息与通信工程、计算机科学与技术和控制科学与工程。探索下一代互联网技术、通信技术、计算机与智能技术、光电子与纳电子学、工业信息化技术以及基于信息科技的自然科学研究。
清华大学信息科学技术学院是清华大学的一个学院，院级行政管理为虚体建制，下设多个实体建制。主要研究电子科学与技术、信息与通信工程、计算机科学与技术和控制科学与工程。探索下一代互联网技术、通信技术、计算机与智能技术、光电子与纳电子学、工业信息化技术以及基于信息科技的自然科学研究。
Mini wiki
