自动发货>收到卡密后>用"QQ登录"方式到本站>在线充值它
资源导航
当前位置: 博学网 >名师讲座 > 开放课程

资源简介:

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

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

本月排行

  1. 1【张绍忠】战忽知道五季合集

    9.7 GB

    46546646次浏览

    开放课程

  2. 2【包爱民】脑科学新知20讲

    9.8 GB

    5657661次浏览

    文明讲堂

  3. 3【韩茂莉】北大教授讲中国历史地理

    7.69 GB

    54654645次浏览

    世界历史

  4. 4【陈连山】北大教授解读宝藏《山海经》

    9.8 GB

    5456767次浏览

    百家讲坛

  5. 5【钱理群】北大教授讲鲁迅

    9.8 GB

    67437898次浏览

    大学课程

  6. 6【李山】北师大讲古代文学经典:从《诗经》到《周易》

    9.8 GB

    67754778次浏览

    百家讲坛

用户评论

   

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



用户名:

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

内 容:

通知管理员