1. 首页
  2. 课程学习
  3. 专业指导
  4. 《递归函数论》作者 : 罗莎·培特 译者 : 莫绍揆 出版时间 : 1958年

《递归函数论》作者 : 罗莎·培特 译者 : 莫绍揆 出版时间 : 1958年

上传者: 2020-07-22 02:40:14上传 PDF文件 30.67MB 热度 27次
《递归函数论》作者 : 罗莎·培特 译者 : 莫绍揆 出版时间 : 1958年 莫绍揆1917年8月13日诞生于广西桂平县,南京大学教授,广西桂平人。1939年毕业于中央大学教学系。曾在中央大学、中山大学任教。 1947年起,先后在瑞士苏黎世高级工业大学和法国巴黎大学等校学习。建国后,历任南京大学副教授、教授,中国逻辑学会副理事长。从事数理逻辑研究。在逻辑演算、多值逻加、悖论、递归论、集合论等方面有所建树,提出若干新的见解。编著有《数理逻辑导论》、《递归数论》、《递归论》、《算法论》。
用户评论