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

上海教研系统公司

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

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

逻辑、语言和认识

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

 

 

<<逻辑、语言和认识>>(荷)约翰范本特姆
LG和认识科学有广泛的联系,但不是一加事。
量词可以刻画为一种树的子集。
量词应该是“上下文中立的”
类型世界的量词

范围语法和入-演算,5.6 布尔结构和单调性

兰贝克演算:它的类型改变规则与构建性命题逻辑的推理规则非常相似。

计算机计算没有“一阶/二阶”这样的人工边界,而且可能与实际的认知更接近。“表面推理”在计算机科学中一直被使用。最近认知研究表明,表面评议推理在大脑

中以不同于我们整个推理工具的语言为准而迅速发生。

计算收敛性
会话就是计算(隐喻)

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