`

张锦文

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/7/3 21:31:20

登贝莱2022/7/3 21:28:13

足总杯赛程2022/7/3 21:21:33

nba赔率2022/7/3 21:15:45

马云騄2022/7/3 21:13:23

丹尼尔马尔蒂尼2022/7/3 21:10:27

麦克格文2022/7/3 21:07:02

索契冬奥会奖牌榜2022/7/3 21:03:55