張錦文

1959年北京大學數學力學系畢業。先後在中國科學院數學研究所、計算技術研究所、軟體研究所任研究實習員、助理研究員、副研究員、研究員。現任中國科學院軟體研究所研究員。1989～1991年先後兩次到捷克斯洛伐克科學院國際人工智慧實驗室工作。中國數學會數理邏輯專業委員會委員，中國人工智慧協會理事，《純粹與應用邏輯年鑒》主編，《智能系統國際雜誌》(英文)與《應用智能國際雜誌》(英文)編委。主要從事數理邏輯、公理集合論、人工智慧邏輯等方面的研究，著有《集合論與連續統假設淺說》(上海教育出版社1980年)、《公理集合論導引》(科學出版社1991年)等。1993年因病去世。

著有《集合論與連續統假設淺說》(上海教育出版社1980年)、《公理集合論導引》(科學出版社1991年)、《離散數學引論》(合著，天津科學技術出版社1986年)等，發表《模糊集合論與布爾值集合論的統一處理》、《聚合、序量與基量》、《公理系統ACG的層譜》等論文數十篇。2000年任中央電大集合論與邏輯代數課程主講教師，並編寫教材《集合論淺說》(科學出版社1984年)、《集合論學習手冊》(中央廣播電視大學出版社1984年)、《邏輯代數》(合著，科學出版社2002年)等。