元数学对计算机科学的启示

• 作者: 唐立中 戴青云
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 函数 递归 原始递归函数 原始递归模式 原始递归描述 形式系统
• 年，卷（期）: 2003,（2）
• 所属期刊栏目: 学术探讨
• 页码范围: 94-95
• 页数: 2页
• 分类号: TP51.32
• 字数: 3009字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2003.02.032

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	戴青云	东南大学计算机系	2	15	1.0	2.0
2	唐立中	东南大学计算机系	4	4	1.0	2.0