计算机科学中的元数学思想

• 作者: 李剑波 李小华
• 来源期刊: 福建电脑
• 学科: 工学
• 关键词: 元数学 计算机科学 数理逻辑
• 年，卷（期）: 2005,（8）
• 所属期刊栏目: 基金项目论文
• 页码范围: 3-4
• 页数: 2页
• 分类号: TP3
• 字数: 3783字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-2782.2005.08.002

摘要

元数学的理论在计算机科学中有着广泛的应用.本文介绍了一些计算机科学中所体现出的元数学思想,提出了在计算机技术领域中应从数学基础、数理逻辑等相关理论着手寻找突破的思想.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李剑波	湖南文理学院计算机基础教学部	33	145	7.0	11.0
2	李小华	湖南文理学院计算机基础教学部	29	150	8.0	11.0