学习办公 【蔡曙山】现代逻辑与形式化方法 开放课程培训课程视频讲座简介: 【蔡曙山】现代逻辑与形式化方法 形式化方法在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中 ...