论文部分内容阅读
文章提出了元数学对计算机科学的几点启示，这几个方面分别是传统程序设计的概念，机制、要素，数据库技术中的数据模型和函数依赖，面向对象分析和设计方法。 文中一方面分析了元数学所提供的理论基础，另一方面说明了在应用方面是如何体现这些理论基础的，并提出了在计算机技术领域中应从数学基础问题，数理逻辑等的相关理论着手寻找突破的思想。