唐立中
- 作品数：5 被引量：4H指数：2
- 供职机构：东南大学计算机科学与工程学院更多>>
- 相关领域：自动化与计算机技术理学文化科学电气工程更多>>
- 元数学与程序设计语言被引量：3
- 1999年
- 元数学的思维方式及方法，预示了程序设计语言规范及发展的道路，且为其指明了方向．
- 王玲唐立中沈清
- 关键词：元数学程序设计语言形式化思维方法
- CAI中领域知识结构的设计被引量：1
- 2002年
- 针对CAI领域知识库中的教学信息 ,引入了一种基于网状结构的知识结构 。
- 隋铭巍唐立中贠亚利
- 关键词：CAI知识结构知识点知识库计算机辅助教学
- 元数学对计算机科学的启示被引量：2
- 2003年
- 文章提出了元数学对计算机科学的几点启示,这几个方面分别是传统程序设计的概念、机制、要素,数据库技术中的数据模型和函数依赖,面向对象分析和设计方法。文中一方面分析了元数学所提供的理论基础,另一方面说明了在应用方面是如何体现这些理论基础的,并提出了在计算机技术领域中应从数学基础问题、数理逻辑等的相关理论着手寻找突破的思想。
- 戴青云唐立中
- 关键词：元数学计算机科学程序设计程序设计语言函数
- Rosser公式对偶形的存在及推导
- 2000年
- G del定理是数理逻辑发展中的一个里程碑 ,但其最初表述并不完善 .Rosser公式克服了G del定理之不足 ,从而最终解决了形式数论系统的完备性 .本文深入分析了G del提出“ω无矛盾”的初衷和Rosser公式的构造思路 ,运用Rosser公式构造与证明中所疏漏的信息 ,推导出了Rosser公式的对偶形式 ,并给出了与此相关的定理 .通过这一研究将深化人们对数学系统相容性、完备性的认识 .
- 邹姝稚唐立中
- 关键词：数理逻辑元数学相容性
- 管理信息系统开发的实践与认识
- 1993年
- 本文结合作者最近完成的“中小火力发电厂管理信息系统”工程,提出了在管理信息系统的开发中,将“瀑布模型”和“快速原型”相结合的实现方案;对系统实现中若干关键技术,如可重用技术、智能化技术等进行了讨论;并对系统若干主要性能,如可扩充性、数据一致性、安全保密性等提出了算法和实现策略。
- 周佩德唐立中朱一清蒲安健张飒兵
- 关键词：管理信息系统火力发电厂
