通过对信息采集、存储及处理过程的研究，着重对计算理论、软件、计算机体系结构及特殊应用（如人工智能）等方面进行探索性和理论性研究的一门学科。区别于计算机工程的主要特征是在理论上抽象并进行创新。