張錦文[中國科學院研究員]

中國科學院研究員，1930年生。河南輝縣人。1959年北京大學數學力學系畢業。先後在中國科學院數學研究所、計算技術研究所、軟體研究所任研究實習員、助理研究員、副研究員、研究員。現任中國科學院軟體研究所研究員。中國數學會數理邏輯專業委員會委員，中國人工智慧協會理事，《純粹與套用邏輯年鑑》主編，《智慧型系統國際雜誌》（英文）與《套用智慧型國際雜誌》（英文）編委。

基本信息

• 中文名：張錦文
• 出生日期：1930年
• 性別：男
• 英文名：Jin-wen zhang
• 出生地：河南輝縣
• 民族：漢族
• 國籍：中國
• 職業：研究員
  
• 畢業院校：北京大學
• 代表作品：《集合論與連續統假設淺說》

人物經歷

1989～1991年先後兩次到捷克斯洛伐克科學院國際人工智慧實驗室工作。

2012年先後兩次到捷克斯洛伐克科學院國際人工智慧實驗室工作。

2000年任中央電大集合論與邏輯代數課程主講教師。

研究方向

主要從事數理邏輯、公理集合論、人工智慧邏輯等方面的研究。

出版專著

著有《集合論與連續統假設淺說》(上海教育出版社1980年)、《公理集合論導引》(科學出版社1991年)、《離散數學引論》(合著，天津科學技術出版社1986年)等，發表《模糊集合論與布爾值集合論的統一處理》、《聚合、序量與基量》、《公理系統ACG的層譜》等論文數十篇。

2000年任中央電大集合論與邏輯代數課程主講教師，並編寫教材《集合論淺說》(科學出版社1984年)、《集合論學習手冊》(中央廣播電視大學出版社1984年)、《邏輯代數》(合著，科學出版社2002年)等。