现代逻辑与形式化方法 蔡曙山 清华大学_哔哩哔哩_bilibili

Name: 现代逻辑与形式化方法 蔡曙山 清华大学
Uploaded: 2017-10-07T14:55:45.000Z
Duration: 4 h 14 min 8 s
Channel: 希望皇霍查
Description: http://video.chaoxing.com/serie_400001034.shtml 形式化方法在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较，找出其中各个部分相互联结的方式，如命题中包含概念彼此间的联结，推理中则是各个命题之间的联结，抽取出它们共同的形式结构。