科学网

 找回密码
  注册
搜索
热搜: 科学 论文
搜索
分享 数学——符号推演的艺术
热度 3 王东明 2018-10-8 12:24
数学离不开各式各样的符号. 数字如2, 0, 1, 8, 运算符如+, -, ×, ÷, 等号=, 不等号≠都是最常见的数学符号. 其他语义复杂一些的数学符号有π, √, sin, ∈, ∃, ⊥, ∂ 等等. 这些有趣的符号可以用来表示各种具体或者抽象的数学概念, 包括数学对象以及数学对象之间的相互关系, 而数学活动的主要内容正是研究 ...
个人分类: 阿狗数学|5392 次阅读|3 个评论 热度 3
分享 AISC——人工智能与符号计算
王东明 2018-9-20 20:22
9月16日至19日,由北京航空航天大学和北航苏州创新研究院主办的第13届国际人工智能与符号计算会议(13th International Conference on Artificial Intelligence and Symbolic Computation,AISC 2018)在苏州清山会议中心召开。会议由欧洲科学院院士、北京航空航天大学教授王东明和德国卡尔斯鲁厄理工学院教授Jacques Cal ...
个人分类: 阿狗数学|696 次阅读|没有评论
分享 赌博的乐趣与挑战——不确定性与统计推断(上)
王东明 2018-9-11 10:55
You cannot be certain about uncertainty. ——Frank Knight 人本能上是追求确定性的。确定性有助于人们理解和把握事物变化的规律、提高预测和判断未来发展的可靠性。而在现实世界中,许多事物的发展都具有不确定性:有些不确定性是来自事物本身,另一些则是由于外在影响因素过多。对这 ...
个人分类: 阿狗数学|1024 次阅读|没有评论
分享 师与我——吴文俊与他的学生王东明
热度 4 王东明 2018-8-22 11:55
暑期回到巴黎,我做的第一件事就是整理恩师吴文俊先生早年给我的信函。我搬出厚厚的文件夹,首先打开存有1988年至1993年数百封传真和信件的那几本。那段时间是我出国之初的五年,也是我人生最不平凡的五年。翻阅25年前的传真和信件,浏览着发黄的信纸上已开始褪色的笔迹,我存在记忆深处的各种往事一一浮现到眼前。 ...
个人分类: 阿狗数学|14525 次阅读|4 个评论 热度 4
分享 量词消去——为了没有存在和任意
热度 1 王东明 2018-5-27 22:01
数学中有两个非常特别的符号∃和∀,它们分别代表存在和任意。这两个符号与其限定变量一起,如∃x和∀y,称为存在量词和全称量词。存在和全称量词在数学中必不可少,但在很多时候我们都不希望它们出现,因为含有量词的数学问题往往都非常棘手、难以处理。量词符号∃和∀源自英文单词Exist ...
个人分类: 阿狗数学|5204 次阅读|1 个评论 热度 1
分享 [转载]刘卓军:吴文俊与吴文俊人工智能奖
王东明 2018-5-6 21:02
【真快,一年了,去年的5月7日晨吴文俊教授离开了我们。他的音容相貌还留在脑海中。我是吴先生的学生和同事中最后一位陪伴他的人。因为意识到他的时间不多了,5月6日下午我打电话给老吴的第一位博士毕业生王东明教授,让他赶到北京医院看吴先生最后一眼。尽管有心理准备,当第二天一早,吴先生离世的电话打来时,我还是 ...
1288 次阅读|没有评论
分享 转轴拨弦三两声——浅谈弦图
热度 1 王东明 2018-5-2 10:04
大数学家欧拉(Leornhard Euler)成功解决哥尼斯堡七桥问题标志着图论的诞生,距今已有两个多世纪。经历了这两个多世纪的发展,图论逐渐简化为以点和边为研究对象的一门学科,以其直观、简明的特点在学术研究和科技发展中发挥了不可替代的作用:DNA序列可以通过欧拉回路进行分析,运筹学、计算机科学和编码理论中的很多问 ...
个人分类: 阿狗数学|6442 次阅读|1 个评论 热度 1
分享 Gröbner基——Buchberger的发现,却以他导师的姓命名
热度 1 王东明 2018-4-18 11:35
任给 n 维线性空间中的向量 v 1 ,...,v k 和 v ,如何判断 v 是否属于 v 1 ,...,v k 所张成的线性子空间 V ?这就是线性空间中的成员判定问题,也是最基本的数学问题,如同判定苹果是不是水果、自行车是不是交通工具是最基本的认知问题一样。解决该问题的方法之一是将 v 1 ...
个人分类: 阿狗数学|6669 次阅读|1 个评论 热度 1
分享 阿狗传道——方程术(下)
王东明 2018-4-8 10:10
阿狗传道——方程术(上): 点击进入 上升下降 左右进退 互通变化 乘除往来 用假象真 以虚问实 错综正负 分成四式 必以寄之 剔之 余筹易位 横冲直撞 精而不杂 自然而然 消而和会 以成开方之式也 ——《四元玉鉴》序言 多项式方程求解是代数学的中心问题,也是代数学发展的动力和源泉。千百年来无数数学家都研 ...
个人分类: 阿狗数学|4246 次阅读|没有评论
分享 阿狗下注——数字游戏的艺术
热度 2 王东明 2018-3-25 11:48
数字由来已久。要谈论其历史,我们得从计数开始说起。远在上古时期,我们的祖先通过在绳子上打结、选取大小不同的石头来记事。公元五世纪前后,数字0在印度出现,标志着一套完善的计数系统开始形成。该系统后来由阿拉伯人传向欧洲和世界各地,再经过简化发展逐步形成了国际通用的阿拉伯数系。阿拉伯数字书写方便、运算规 ...
个人分类: 阿狗数学|4148 次阅读|2 个评论 热度 2

Archiver|手机版|科学网 ( 京ICP备14006957 )

GMT+8, 2018-10-18 03:23

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部