首页 > 视频 > 视频详情
主讲人：暂无
教师简介：暂无简介
简 介：形式化方法在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较，找出其中各个部分相互联结的方式，如命题中包含概念彼此间的联结，推理中则是各个命题之间的联结，抽取出它们共同的形式结构。
学时：
21次
立即播放
播放列表 （共57集）
1 - 10 11 - 20 21 - 30 31 - 40 41 - 50 51 - 57