`

张锦文

2022/6/22 22:55:47 sports8.net 互联网

张锦文

(中国科学院研究员)

中国科学院研究员,1930年生。河南辉县人。1959年北京大学数学力学系毕业。先后在中国科学院数学研究所、计算技术研究所、软件研究所任研究实习员、助理研究员、副研究员、研究员。现任中国科学院软件研究所研究员。1991年先后两次到捷克斯洛伐克科学院国际人工智能实验室工作。中国数学会数理逻辑专业委员会委员,中国人工智能协会理事,《纯粹与应用逻辑年鉴》主编,《智能系统国际杂志》(英文)与《应用智能国际杂志》(英文)编委。1993年因病去世。

人物概述


中国科学院研究员,1930年生  。河南辉县人。1959年北京大学数学力学系毕业。先后在中国科学院数学研究所、计算技术研究所、软件研究所任研究实习员、助理研究员、副研究员、研究员。现任中国科学院软件研究所研究员。1989~1991年先后两次到捷克斯洛伐克科学院国际人工智能实验室工作。中国数学会数理逻辑专业委员会委员,中国人工智能协会理事,《纯粹与应用逻辑年鉴》主编,《智能系统国际杂志》(英文)与《应用智能国际杂志》(英文)编委。主要从事数理逻辑、公理集合论、人工智能逻辑等方面的研究,著有《集合论与连续统假设浅说》 (上海教育出版社1980年)、《公理集合论导引》(科学出版社1991年)、《离散数学引论》(合著,天津科学技术出版社1986年)等,发表《模糊集合论与布尔值集合论的统一处理》、《聚合、序量与基量》、《公理系统ACG的层谱》等论文数十篇。1984年任中央电大集合论与逻辑代数课程主讲教师,并编写教材《集合论浅说》(科学出版社1984年)、《集合论学习手册》(中央广播电视大学出版社1984年)、《逻辑代数》(合著,科学出版社1984年)等。  1993年因病去世。 

研究方向


主要从事数理逻辑、公理集合论、人工智能逻辑等方面的研究


也许您还喜欢:世界杯直播  亚洲杯直播  欧洲杯直播  足球直播

返回体育新闻首页>>

上一篇:  标准俯卧撑


下一篇:  克莱贝尔


百度搜索:张锦文

360搜索:张锦文

搜狗搜索:张锦文

精彩推荐

韩国队2022/12/13 23:17:15

莱昂纳多2022/12/13 23:13:50

TI11赛程表2022/12/13 23:12:36

法国提前晋级16强2022/12/13 23:09:12

马奎尔2022/12/13 23:04:21

比利时国家队内讧2022/12/13 23:03:22

安东尼奥2022/12/13 22:59:53

布鲁克斯2022/12/13 22:58:16