更新时间：2023-07-14 20:31
洪源，男，北京科技大学计算机科学与技术系讲师。
本科教离散数学，数据库系统原理，研究生教自然语言语义计算导引，主要研究形式语义学，自然语言处理。代表著作为《离散数学》（高等教育出版社）。