课程：集合论与逻辑代数
职称：研究员
张锦文，男，1930年生。中国科学院软件研究所研究员。理学学士。
1959年毕业于北京大学数学力学系获理学学士学位。曾任中国数学会数理逻辑专业委员会委员，中国人工智能协会理事，《纯粹与应用逻辑年鉴》主编，《智能系统国际杂志》(英文)与《应用智能国际杂志》(英文)编委。
研究领域为数理逻辑、公理集合论、人工智能逻辑等。著有《集合论与连续统假设浅说》、《公理集合论导引》、《离散数学引论》等，发表“模糊集合论与布尔值集合论的统一处理”等论文数十篇。
1984年担任中央电大集合论与逻辑代数课程主讲教师，编写教材《集合论浅说》(科学出版社，1984年)、《集合论学习手册》(中央广播电视大学出版社，1984年)、《逻辑代数》(合著，科学出版社，1984年)等。