北京大學 數(shù)理邏輯教學視頻

  • 名稱:北京大學 數(shù)理邏輯教學視頻
  • 分類:大學理工  
  • 觀看人數(shù):加載中
  • 時間:2016/3/4 12:09:50
  本課程為北京大學數(shù)理邏輯視頻教程,全套課程共41學時。 數(shù)理邏輯又稱符號邏輯、理論邏輯。它既是數(shù)學的一個分支,也是邏輯學的一個分支。是用數(shù)學方法研究邏輯或形式邏輯的學科。其研究對象是對證明和計算這兩個直觀概念進行符號化以后的形式系統(tǒng)。數(shù)理邏輯是數(shù)學基礎的一個不可缺少的組成部分。雖然名稱中有邏輯兩字,但并不屬于單純邏輯學范疇。
龙山县| 布尔津县| 石屏县| 东兰县| 南乐县| 工布江达县| 柳林县| 育儿| 苏州市| 紫阳县| 壶关县| 新沂市| 邹城市| 黎平县| 曲麻莱县| 综艺| 象州县| 玉环县| 晋中市| 类乌齐县| 和静县| 东乡族自治县| 嘉定区| 和硕县| 沂源县| 沧州市| 苍梧县| 五河县| 阿拉善左旗| 石台县| 孟村| 太仓市| 名山县| 扎赉特旗| 中江县| 九台市| 普格县| 扎赉特旗| 兴仁县| 秦皇岛市| 安徽省|