经过漫长的沉寂，新中国成立后，中国计算技术迈入了新的发展时期，先后建立了研究机构，在高等院校建立了计算技术与装置专业和计算数学专业，并且着手创建中国计算机制造业。

    1958年和1959年，中国先后制成第一台小型和大型电子管计算机。60年代中期，中国研制成功一批晶体管计算机，并配制了ALGOL等语言的编译程序和其他系统软件。60年代后期，中国开始研究集成电路计算机。70年代，中国已批量生产小型集成电路计算机。80年代以后，中国开始重点研制微型计算机系统并推广应用；在大型计算机、特别是巨型计算机技术方面也取得了重要进展；建立了计算机服务业，逐步健全了计算机产业结构。

    在计算机科学与技术的研究方面，中国在有限元计算方法、数学定理的机器证明、汉字信息处理、计算机系统结构和软件等方面都有所建树。在计算机应用方面，中国在科学计算与工程设计领域取得了显著成就。在有关经营管理和过程控制等方面，计算机应用研究和实践也日益活跃。

计算机科学与技术

    计算机科学与技术是一门实用性很强、发展极其迅速的面向广大社会的技术学科，它建立在数学、电子学 (特别是微电子学)、磁学、光学、精密机械等多门学科的基础之上。但是，它并不是简单地应用某些学科的知识，而是经过高度综合形成一整套有关信息表示、变换、存储、处理、控制和利用的理论、方法和技术。

    计算机科学是研究计算机及其周围各种现象与规模的科学，主要包括理论计算机科学、计算机系统结构、软件和人工智能等。计算机技术则泛指计算机领域中所应用的技术方法和技术手段，包括计算机的系统技术、软件技术、部件技术、器件技术和组装技术等。计算机科学与技术包括五个分支学科，即理论计算机科学、计算机系统结构、计算机组织与实现、计算机软件和计算机应用。

    理论计算机学  是研究计算机基本理论的学科。在几千年的数学发展中，人们研究了各式各样的计算，创立了许多算法。但是，以计算或算法本身的性质为研究对象的数学理论，却是在20世纪30年代才发展起来的。

    当时，由几位数理逻辑学者建立的算法理论，即可计算性理论或称递归函数论，对20世纪40年代现代计算机设计思想的形成产生过影响。此后，关于现实计算机及其程序的数学模型性质的研究，以及计算复杂性的研究等不断有所发展。

    理论计算机科学包括自动机论、形式语言理论、程序理论、算法分析，以及计算复杂性理论等。自动机是现实自动计算机的数学模型，或者说是现实计算机程序的模型，自动机理论的任务就在于研究这种抽象机器的模型；程序设计语言是一种形式语言，形式语言理论根据语言表达能力的强弱分为O～3型语言，与图灵机等四类自动机逐一对应；程序理论是研究程序逻辑、程序复杂性、程序正确性证明、程序验证、程序综合、形式语言学，以及程序设计方法的理论基础；算法分析研究各种特定算法的性质。计算复杂性理论研究算法复杂性的一般性质。