博文
- AISC——人工智能与符号计算
- 9月16日至19日，由北京航空航天大学和北航苏州创新研究院主办的第13届国际人工智能与符号计算会议（13th International Conference on Artificial Intelligence and Symbolic Computation，AISC 2018）在苏州清山会议中心召开。会议由欧洲科学院院士、北京航空航天大学教授王东明和德国卡尔斯鲁厄理工学院教授Jacques Cal ...
- 赌博的乐趣与挑战——不确定性与统计推断（上）
- You cannot be certain about uncertainty. ——Frank Knight 人本能上是追求确定性的。确定性有助于人们理解和把握事物变化的规律、提高预测和判断未来发展的可靠性。而在现实世界中，许多事物的发展都具有不确定性：有些不确定性是来自事物本身，另一些则是由于外在影响因素过多。对这 ...
- 师与我——吴文俊与他的学生王东明
- 热度 4
- 暑期回到巴黎，我做的第一件事就是整理恩师吴文俊先生早年给我的信函。我搬出厚厚的文件夹，首先打开存有1988年至1993年数百封传真和信件的那几本。那段时间是我出国之初的五年，也是我人生最不平凡的五年。翻阅25年前的传真和信件，浏览着发黄的信纸上已开始褪色的笔迹，我存在记忆深处的各种往事一一浮现到眼前。 ...
-
量词消去——为了没有存在和任意
- 热度 1
- 数学中有两个非常特别的符号∃和∀，它们分别代表存在和任意。这两个符号与其限定变量一起，如∃x和∀y，称为存在量词和全称量词。存在和全称量词在数学中必不可少，但在很多时候我们都不希望它们出现，因为含有量词的数学问题往往都非常棘手、难以处理。量词符号∃和∀源自英文单词Exist ...
-
转轴拨弦三两声——浅谈弦图
- 热度 1
- 大数学家欧拉（Leornhard Euler）成功解决哥尼斯堡七桥问题标志着图论的诞生，距今已有两个多世纪。经历了这两个多世纪的发展，图论逐渐简化为以点和边为研究对象的一门学科，以其直观、简明的特点在学术研究和科技发展中发挥了不可替代的作用：DNA序列可以通过欧拉回路进行分析，运筹学、计算机科学和编码理论中的很多问 ...
-
Gröbner基——Buchberger的发现，却以他导师的姓命名
- 热度 1
- 任给 n 维线性空间中的向量 v 1 ,...,v k 和 v ，如何判断 v 是否属于 v 1 ,...,v k 所张成的线性子空间 V ？这就是线性空间中的成员判定问题，也是最基本的数学问题，如同判定苹果是不是水果、自行车是不是交通工具是最基本的认知问题一样。解决该问题的方法之一是将 v 1 ...
-
阿狗传道——方程术（下）
- 阿狗传道——方程术（上）： 点击进入 上升下降 左右进退 互通变化 乘除往来 用假象真 以虚问实 错综正负 分成四式 必以寄之 剔之 余筹易位 横冲直撞 精而不杂 自然而然 消而和会 以成开方之式也 ——《四元玉鉴》序言 多项式方程求解是代数学的中心问题，也是代数学发展的动力和源泉。千百年来无数数学家都研 ...
-
阿狗下注——数字游戏的艺术
- 热度 2
- 数字由来已久。要谈论其历史，我们得从计数开始说起。远在上古时期，我们的祖先通过在绳子上打结、选取大小不同的石头来记事。公元五世纪前后，数字0在印度出现，标志着一套完善的计数系统开始形成。该系统后来由阿拉伯人传向欧洲和世界各地，再经过简化发展逐步形成了国际通用的阿拉伯数系。阿拉伯数字书写方便、运算规 ...
本页有 2 篇博文因作者的隐私设置或未通过审核而隐藏
