[数学基础概论]朱梧槚肖奚安

【数学基础概论】朱梧檟肖奚安.pdf朱梧楼,男,1935年11月生,江苏宜兴人。1955 年毕业于吉林大学数学系,同年留校任教。1957年 被错划为右派,“文革”中又被害入狄十年,1978年 底平反出狱,并被重新录用于南京大学数学系.1989年调南京航空航天大学计算机系任教,主要从 事数学基础、数理逻辑与计算机科学理论等方向的 研究。今个人或与人合作,发表论文114篇,出版著作7部,译著1部。1983年以来,与肖买安教授共 同创建和发展了中介系统。现任南航计算机科学研 究所所长、教授。ESSENTIALS OF MATHEMATICAL FOUNDATION 米梧横肖买安编著 数学基础概论(苏)011号 全书分为五章,其中第一章讲几何基础与公理化方法,第二、三、四章 讨论精确性经典数学的理论基础问题,其中包括集合论论的发现和种种解 决方案,还有对数学基础诸学派的分析和评论,本书第五章是讨论模糊数学的 理论基础问题,其中包括模糊数学的各种奠基方案.本书的几个附录主要是 讨论中介系统中有关数学基础问题的研究题材,其中包括中介逻辑演算系统 ML和中介公理集合论系统MS.本书可作为计算机科学系和数学系的基 础课教材,也可供理工科大学生、研究生、教师及数学工作者参考．在使用 本书于教学过程中,较浅的第1一4章可供本科生用,而较深的第五章和几个 附录可作为研究生教材.
———— 文字由OCR识别(未校验)，可能存在错字；请以原始完整版为准。