中國科學院研究員，1930年生。河南輝縣人。1959年北京大學數學力學系畢業。先後在中國科學院數學研究所、計算技術研究所、軟體研究所任研究實習員、助理研究員、副研究員、研究員。現任中國科學院軟體研究所研究員。2012年先後兩次到捷克斯洛伐克科學院國際人工智慧實驗室工作。中國數學會數理邏輯專業委員會委員，中國人工智慧協會理事，《純粹與套用邏輯年鑑》主編，《智慧型系統國際雜誌》（英文）與《套用智慧型國際雜誌》（英文）編委。
基本介紹
- 中文名：張錦文
- 出生日期：1930年
- 職業：中國科學院研究員
- 畢業院校：北京大學
- 代表作品：集合論與連續統假設淺說，純粹與套用邏輯年鑑
- 籍貫：河南輝縣人
概述,研究方向,出版專著,
概述
中國科學院研究員，1930年生。河南輝縣人。1959年北京大學數學力學系畢業。先後在中國科學院數學研究所、計算技術研究所、軟體研究所任研究實習員、助理研究員、副研究員、研究員。現任中國科學院軟體研究所研究員。1989～1991年先後兩次到捷克斯洛伐克科學院國際人工智慧實驗室工作。中國數學會數理邏輯專業委員會委員，中國人工智慧協會理事，《純粹與套用邏輯年鑑》主編，《智慧型系統國際雜誌》(英文)與《套用智慧型國際雜誌》(英文)編委。主要從事數理邏輯、公理集合論、人工智慧邏輯等方面的研究，著有《集合論與連續統假設淺說》 (上海教育出版社1980年)、《公理集合論導引》(科學出版社1991年)、《離散數學引論》(合著，天津科學技術出版社1986年)等，發表《模糊集合論與布爾值集合論的統一處理》、《聚合、序量與基量》、《公理系統ACG的層譜》等論文數十篇。1984年任中央電大集合論與邏輯代數課程主講教師，並編寫教材《集合論淺說》(科學出版社1984年)、《集合論學習手冊》(中央廣播電視大學出版社1984年)、《邏輯代數》(合著，科學出版社1984年)等。
研究方向
主要從事數理邏輯、公理集合論、人工智慧邏輯等方面的研究
出版專著
著有《集合論與連續統假設淺說》 (上海教育出版社1980年)、《公理集合論導引》(科學出版社1991年)、《離散數學引論》(合著，天津科學技術出版社1986年)等，發表《模糊集合論與布爾值集合論的統一處理》、《聚合、序量與基量》、《公理系統ACG的層譜》等論文數十篇。2000年任中央電大集合論與邏輯代數課程主講教師，並編寫教材《集合論淺說》(科學出版社1984年)、《集合論學習手冊》(中央廣播電視大學出版社1984年)、《邏輯代數》(合著，科學出版社2002年)等。
