| 元数学对计算机科学的启示 |
| |
| 引用本文： | 戴青云,唐立中. 元数学对计算机科学的启示[J]. 计算机工程与应用, 2003, 39(2): 94-95 |
| |
| 作者姓名： | 戴青云 唐立中 |
| |
| 作者单位： | 东南大学计算机系,南京,210096 |
| |
| 摘 要： | 文章提出了元数学对计算机科学的几点启示,这几个方面分别是传统程序设计的概念、机制、要素,数据库技术中的数据模型和函数依赖,面向对象分析和设计方法。文中一方面分析了元数学所提供的理论基础,另一方面说明了在应用方面是如何体现这些理论基础的,并提出了在计算机技术领域中应从数学基础问题、数理逻辑等的相关理论着手寻找突破的思想。
|
| 关 键 词： | 函数 递归 原始递归函数 原始递归模式 原始递归描述 形式系统 |
| 文章编号： | 1002-8331-(2003)02-0094-02 |
| 修稿时间： | 2001-11-01 |
The Revelation to the Computer Science of Meta-Mathematics |
| |
| Dai Qingyun Tang Lizhong. The Revelation to the Computer Science of Meta-Mathematics[J]. Computer Engineering and Applications, 2003, 39(2): 94-95 |
| |
| Authors: | Dai Qingyun Tang Lizhong |
| |
| Abstract: | This paper put forward some revelatio n of meta-mathematics to the computer science as the following aspects,the conc epts,mechanisms and factors of traditional programming,data model and functio n dependency in the database technology,and analyze s and design of object-ori ented method.First the authors analyze the theoretic bases provided by meta-ma thematics,then illustrate how these bases in applied,and bring the idea of loo king for solution to some complex computer problems from the theory on mathema tics fundaments and symbolic logic. |
| |
| Keywords: | function recursion original rec ursive function original recursive model original recursive specification for m system |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
