摘要
简要介绍元数学的产生和发展历史以及她的基本思想 ,通过具体实例论述了元数学思想在计算机科学领域中多方面和多种形式的应用。阐述了元数学对计算机科学 ,特别是计算机科学理论的产生与发展所起的重要作用 。
Introduces briefly the basic thought and the history of meta-mathematics, dissertates the vary kinds of applications of meta-mathematics in the area of computer science, expounds the important effect of meta-mathematics on computer science theory and gives out meta-mathematical descriptions of some concepts of computer science.
出处
《现代电子技术》
2000年第6期37-40,共4页
Modern Electronics Technique
关键词
元数学
计算机科学
概念
meta-mathematics, computer science theory