感谢郁文生教授向图书馆赠书

2024-07-05

 

 
       2024年7月8日，我校电子工程学院郁文生教授将他最新的学术专著《自然数的紧化延伸机器证明系统》一书5册赠与我校图书馆收藏。
       郁文生教授长期从事机器证明与自动推理、智能信息处理的研究，《自然数的紧化延伸机器证明系统》一书为郁文生教授与博士生窦国威合著，由科学出版社出版，列入《数学机械化丛书》。该丛书由吴文俊院士作序，在国内外有广泛的影响。本书可作为数学与计算机科学、信息科学相关专业的高年级本科生或研究生教材, 也可供从事人工智能相关科研工作者学习参考。该书将入藏我馆“北邮文库”。        师生的捐赠丰富了我馆的馆藏，在此谨对郁文生教授致以诚挚的感谢！同时我们欢迎我校师生、校友、出版社、学会等各界人士和单位积极向图书馆捐赠著作或藏书，为传播知识、弘扬文化贡献力量。