加载中…
个人资料
北大袁萌
北大袁萌 新浪个人认证
  • 博客等级:
  • 博客积分:0
  • 博客访问:4,468,669
  • 关注人气:10,635
  • 获赠金笔:0支
  • 赠出金笔:0支
  • 荣誉徽章:
正文 字体大小:

全文检索与数学证明

(2020-08-17 13:31:47)

初看起来,全文检索与数学证明似乎没有关系。其实不然。何故?

全文检索就是在有限步骤内确定一类特定的句子是否存在。

而数学证明就是在由此说、你步骤之内路逻辑?判定一个给定的句子是否成立。

所以,全文检索与数学证明在理论本质上是一回事。

请见:好消息:三卷扫描的效果特别好!

袁萌  陈启清 8月17日


0

阅读 收藏 喜欢 打印举报/Report
  

新浪BLOG意见反馈留言板 欢迎批评指正

新浪简介 | About Sina | 广告服务 | 联系我们 | 招聘信息 | 网站律师 | SINA English | 产品答疑

新浪公司 版权所有