张锦文（1930年-1993年）是中国科学院研究员，出生于辉县市。1959年毕业于北京大学数学力学系，之后在中国科学院数学研究所、计算技术研究所、软件研究所任职。他现任中国科学院软件研究所研究员，并曾两次前往捷克斯洛伐克科学院国际人工智能实验室工作。张锦文是中国数学会数理逻辑专业委员会委员，中国人工智能协会理事，以及《纯粹与应用逻辑年鉴》主编，《智能系统国际杂志》（英文）与《应用智能国际杂志》（英文）编委。1993年因病去世。

人物生平

1959年北京大学数学力学系毕业。先后在中国科学院数学研究所、计算技术研究所、软件研究所任研究实习员、助理研究员、副研究员、研究员。现任中国科学院软件研究所研究员。1989～1991年先后两次到捷克斯洛伐克科学院国际人工智能实验室工作。中国数学会数理逻辑专业委员会委员，中国人工智能协会理事，《纯粹与应用逻辑年鉴》主编，《智能系统国际杂志》(英文)与《应用智能国际杂志》(英文)编委。主要从事数理逻辑、公理集合论、人工智能逻辑等方面的研究，著有《集合论与连续统假设浅说》(上海教育出版社1980年)、《公理集合论导引》(科学出版社1991年)等。1993年因病去世。

主要成就

著有《集合论与连续统假设浅说》(上海教育出版社1980年)、《公理集合论导引》(科学出版社1991年)、《离散数学引论》(合著，天津科学技术出版社1986年)等，发表《模糊集合论与布尔值集合论的统一处理》、《聚合、序量与基量》、《公理系统ACG的层谱》等论文数十篇。2000年任国家开放大学集合论与逻辑代数课程主讲教师，并编写教材《集合论浅说》(科学出版社1984年)、《集合论学习手册》(中央广播电视大学出版社1984年)、《逻辑代数》(合著，科学出版社2002年)等。

书籍作品

参考资料