[转载]十载同行 一日难分 ——我与《中国科学：信息科学》 2020-09-28

       【 2020年是《中国科学》和《科学通报》创刊70周年， 《中国科学》杂志社 特别策划了 “我与《中国科学》/《科学通报 ...

(1541)次阅读|(0)个评论

符号与代数计算：数学机械化的基础 2019-07-20

7月15日至18日，由国际计算机学会（ACM）和北京航空航天大学主办的第44届符号与代数计算国际研讨会（ 44th International Symposium on Symbolic and Algebrai ...

(2673)次阅读|(0)个评论

吴文俊：中国古代数学对世界文化的伟大贡献 2019-07-07

公元前221年, 秦始皇灭六国, 建立了中国历史上第一个中央集权的封建国家. 汉承秦制, 自秦至西汉中期这两百来年间, 是新兴地主阶级专政巩固发展与上升的时期, ...

(8706)次阅读|(20)个评论

纪念吴文俊先生诞辰一百周年 2019-05-12

算法数学 —— 机械化数学的基石 王东明   吴文俊先生是高瞻远瞩、洞悉未来的科学大家。他的研究工作、科学精神、学术成就和学术思想已载入科学 ...

(9926)次阅读|(4)个评论

麦卡锡问答：什么是人工智能？ 2019-01-03

麦卡锡问答：什么是人工智能？ 约翰·麦卡锡 一、基本问题 问：什么是人工智能？ 答：人工智能是研制智能机器尤其是智能计算机程序 ...

(8037)次阅读|(4)个评论

AISC——人工智能与符号计算 2018-09-20

9月16日至19日，由北京航空航天大学和北航苏州创新研究院主办的第13届国际人工智能与符号计算会议（13th International Conference on Artificial Intelligenc ...

(3434)次阅读|(0)个评论

赌博的乐趣与挑战——不确定性与统计推断（上） 2018-09-11

You cannot be certain about uncertainty. ——Frank Knight 人本能上是追求确定性的。确定性有助于人们理解和把握事物变化 ...

(3434)次阅读|(0)个评论

查看更多