| 注册
首页|期刊导航|焦作工学院学报(自然科学版)|元数学对计算机的一些启示

元数学对计算机的一些启示

佟晓强

焦作工学院学报(自然科学版)2002,Vol.21Issue(1):55-58,4.
焦作工学院学报(自然科学版)2002,Vol.21Issue(1):55-58,4.

元数学对计算机的一些启示

Some inspiration to computer science from metamathematics

佟晓强1

作者信息

  • 1. 东南大学计算机科学与工程系,江苏南京,210018
  • 折叠

摘要

关键词

元数学/数理逻辑/计算机科学/形式化体系

分类

信息技术与安全科学

引用本文复制引用

佟晓强..元数学对计算机的一些启示[J].焦作工学院学报(自然科学版),2002,21(1):55-58,4.

焦作工学院学报(自然科学版)

1673-9787

访问量0
|
下载量0
段落导航相关论文