云课堂
加入VIP
帖子
用户
登录
注册
快捷登录
年费VIP
199/年
终身VIP
399/永久
商务代理
799元
合伙人
1999元
加盟商
8600元
点击开通
加入VIP
购物车
我的学院
首页
/
/
/
【蔡曙山】现代逻辑与形式化方法
【蔡曙山】现代逻辑与形式化方法
学习价格
免费课程
|
原价:¥ 0.00
收藏
分享
学习次数
24 次
人气
288
学习时长
永久有效
自购买之日起计算有效期
加入学习
加入购物车
课程介绍
课时章节
课程评价
配套资料
【蔡曙山】现代逻辑与形式化方法
形式化方法在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构。
蔡曙山
清华大学
清华大学认知科学基地主任、心理与认知科学中心主任。并任国际逻辑学、方法论和科学哲学协会学术助理,国际符号学研究会理事,国际符号交际学院院士等职,主要研究领域为逻辑学、哲学以及认知科学等。
在线下载(VIP免费)
图文
付费
[216260]安全下载
暂无评价内容
当前课程暂无配套资料
百赚云课堂
关注Ta
返回顶部