張錦文（1930年-1993年）是中國科學(xué)院研究員，出生于輝縣市。1959年畢業(yè)于北京大學(xué)數(shù)學(xué)力學(xué)系，之后在中國科學(xué)院數(shù)學(xué)研究所、計算技術(shù)研究所、軟件研究所任職。他現(xiàn)任中國科學(xué)院軟件研究所研究員，并曾兩次前往捷克斯洛伐克科學(xué)院國際人工智能實(shí)驗(yàn)室工作。張錦文是中國數(shù)學(xué)會數(shù)理邏輯專業(yè)委員會委員，中國人工智能協(xié)會理事，以及《純粹與應(yīng)用邏輯年鑒》主編，《智能系統(tǒng)國際雜志》（英文）與《應(yīng)用智能國際雜志》（英文）編委。1993年因病去世。
人物生平
1959年北京大學(xué)數(shù)學(xué)力學(xué)系畢業(yè)。先后在中國科學(xué)院數(shù)學(xué)研究所、計算技術(shù)研究所、軟件研究所任研究實(shí)習(xí)員、助理研究員、副研究員、研究員。現(xiàn)任中國科學(xué)院軟件研究所研究員。1989～1991年先后兩次到捷克斯洛伐克科學(xué)院國際人工智能實(shí)驗(yàn)室工作。中國數(shù)學(xué)會數(shù)理邏輯專業(yè)委員會委員，中國人工智能協(xié)會理事，《純粹與應(yīng)用邏輯年鑒》主編，《智能系統(tǒng)國際雜志》(英文)與《應(yīng)用智能國際雜志》(英文)編委。主要從事數(shù)理邏輯、公理集合論、人工智能邏輯等方面的研究，著有《集合論與連續(xù)統(tǒng)假設(shè)淺說》(上海教育出版社1980年)、《公理集合論導(dǎo)引》(科學(xué)出版社1991年)等。1993年因病去世。
主要成就
著有《集合論與連續(xù)統(tǒng)假設(shè)淺說》(上海教育出版社1980年)、《公理集合論導(dǎo)引》(科學(xué)出版社1991年)、《離散數(shù)學(xué)引論》(合著，天津科學(xué)技術(shù)出版社1986年)等，發(fā)表《模糊集合論與布爾值集合論的統(tǒng)一處理》、《聚合、序量與基量》、《公理系統(tǒng)ACG的層譜》等論文數(shù)十篇。2000年任國家開放大學(xué)集合論與邏輯代數(shù)課程主講教師，并編寫教材《集合論淺說》(科學(xué)出版社1984年)、《集合論學(xué)習(xí)手冊》(中央廣播電視大學(xué)出版社1984年)、《邏輯代數(shù)》(合著，科學(xué)出版社2002年)等。
書籍作品
參考資料 >