【数学基础概论】朱梧檟肖奚安.pdf

朱梧楼,男,1935年11月生,江苏宜兴人。1955 年毕业于吉林大学数学系,同年留校任教。1957年被错划为右派,“文革”中又被害入狄十年,1978年底平反出狱,并被重新录用于南京大学数学系.1989年调南京航空航天大学计算机系任教,主要从事数学基础、数理逻辑与计算机科学理论等方向的研究。今个人或与人合作,发表论文114篇,出版著作7部,译著1部。1983年以来,与肖买安教授共同创建和发展了中介系统。现任南航计算机科学研究所所长、教授。

ESSENTIALS OF MATHEMATICAL FOUNDATION 米梧横肖买安编著数学基础概论

(苏)011号全书分为五章,其中第一章讲几何基础与公理化方法,第二、三、四章讨论精确性经典数学的理论基础问题,其中包括集合论论的发现和种种解决方案,还有对数学基础诸学派的分析和评论,本书第五章是讨论模糊数学的理论基础问题,其中包括模糊数学的各种奠基方案.本书的几个附录主要是讨论中介系统中有关数学基础问题的研究题材,其中包括中介逻辑演算系统 ML和中介公理集合论系统MS.本书可作为计算机科学系和数学系的基础课教材,也可供理工科大学生、研究生、教师及数学工作者参考．在使用本书于教学过程中,较浅的第1一4章可供本科生用,而较深的第五章和几个附录可作为研究生教材.