资源导航

【蔡曙山】现代逻辑与形式化方法

287次浏览

需要7点数下载(1点数=1元)

admin更新于2016-09-11 09:48:13

4.22 GB

类型:培训

Tags:

资源简介:

 【蔡曙山】现代逻辑与形式化方法

形式化方法在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构。
 
蔡曙山
清华大学
清华大学认知科学基地主任、心理与认知科学中心主任。并任国际逻辑学、方法论和科学哲学协会学术助理,国际符号学研究会理事,国际符号交际学院院士等职,主要研究领域为逻辑学、哲学以及认知科学等。
本软件是会员软件,如果你是会员,请登陆。如果不是会员请注册

资料预览图:

本月排行

  1. 1【徐昆鹏】《当众表达训练营》

    2.13 GB

    300次浏览

    演讲口才

  2. 2【孙大为】孙大为一针疗法

    25.6 GB

    301次浏览

    健康养生

  3. 3【孙利群】多维无痛辨证取栓

    2.73 GB

    300次浏览

    健康养生

  4. 4【之昊】之昊英语课程

    22.2 GB

    300次浏览

    外语学习

  5. 5【高效学习】人人可复制的自律行动课+人人可复制的高效学...

    20.3 GB

    300次浏览

    学习窍门

  6. 6【无为老师】股道擒龙术训练营《完结》

    1.08 GB

    301次浏览

    股票讲座

用户评论

   

评论摘要(共 0 条,得分 0 分,平均 0 分)



用户名:

分 值:100分 85分 70分 55分 40分 25分 10分 1分

内 容:

通知管理员