设为首页 | 收藏本站 | 联系我们
当前位置:首页
· 教研系统 2010-08-15
推荐产品
摇钱树 2015-01-11
哲人 2011-08-23
思绪 2011-08-23
联系我们

上海教研系统公司

  教研系统、教学研究工具、教育技术专利研发。

地址:上海市浦东新区峨山路金牛大厦15楼(地铁四号线蓝村路站)
QQ:1941269364   手机:131.2893.6331(节假日)
E-mail:knowtree@126.com

读书笔记

来源:本站整理 | 点击: | 录入时间:2011/8/24

  <逻辑、语言和认知>(荷兰) 

  逻辑和认知科学有广泛的联系,但不是一回事。

  量词是其他副词和形容词的最终形式吗?广义量词理论。

  量词可以刻画为一种树的子集。

  量词应该是“上下文中立的”。

  我的理解

  类型世界中的量词也一样。

  范畴语法和‘入’-演算:5.6 布尔结构和单调性。范畴语法->兰贝克演算->这的类型改变规则与结构性命题逻辑的推理规则非常相似。

 

  计算机计算没有“一阶二阶”这样的人工边界,而且可能与实际的认知更接近。“表面推理”在计算机科学中一直被使用最近认知研究表明,表面语言推理在大脑中以不同于我们在整个推理工具的语言为准面迅速发生。

  计算的收敛性;

  会话就是计算(隐喻)。

  

  

下一篇:没有下一篇了
管理后台 | 人才招聘 | 留言反馈
Copyright © 2002-2011 上海教研系统公司 版权所有
Powered By 知识树 V 1.2
支持知识树,谢谢!知识树