文件名称：《递归函数论》作者 : 罗莎·培特 译者 : 莫绍揆 出版时间 : 1958年
文件大小：30.67MB
文件格式：PDF
更新时间：2022-06-05 15:51:41
递归函数论 莫绍揆 1958年
《递归函数论》作者 : 罗莎·培特 译者 : 莫绍揆 出版时间 : 1958年 莫绍揆1917年8月13日诞生于广西桂平县，南京大学教授，广西桂平人。1939年毕业于*大学教学系。曾在*大学、中山大学任教。 1947年起，先后在瑞士苏黎世高级工业大学和法国巴黎大学等校学习。建国后，历任南京大学副教授、教授，中国逻辑学会副理事长。从事数理逻辑研究。在逻辑演算、多值逻加、悖论、递归论、集合论等方面有所建树，提出若干新的见解。编著有《数理逻辑导论》、《递归数论》、《递归论》、《算法论》。