您的位置： 专家智库 > >

胡海星

作品数：3 被引量：1H指数：1
供职机构：南京大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术理学更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文
  • 1篇会议论文

领域

  • 3篇自动化与计算...
  • 1篇理学

主题

  • 1篇递归
  • 1篇递归函数
  • 1篇算盘
  • 1篇图灵
  • 1篇图灵机
  • 1篇归约
  • 1篇函数
  • 1篇Λ演算
  • 1篇TURING
  • 1篇AVL树
  • 1篇CHURCH
  • 1篇FORMAL...

机构

  • 3篇南京大学

作者

  • 3篇胡海星
  • 2篇宋方敏
  • 1篇戴静安

传媒

  • 1篇计算机科学
  • 1篇2004年全...

年份

  • 1篇2005
  • 2篇2004
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
一种基于算盘的计算模型—算盘机被引量：1
2004年
本文介绍了一种基于算盘的计算模型,定义了“算盘机”和“算盘机可计算”的概念,证明了算盘机的计算能力与递归函数的计算能力相同。
胡海星宋方敏
关键词：递归函数
Formalization of Binary Search Trees and AVL Trees in Type Theory
Type theory was originally proposed for the development of constructivemathematics，but it also provided a fram...
胡海星
关键词：AVL树
文献传递
βη归约的Church-Rosser性质的一个新证明
λ演算、Turing机、递归函数理论是计算理论的重要基础.已知λ演算与图灵机的计算能力是等价的.本文介绍需要的λ演算的几个基本术语.
戴静安胡海星宋方敏
关键词：Λ演算图灵机
文献传递
全选 清除 导出
共1页<1>
聚类工具0