本課程為北京大學(xué)數(shù)理邏輯視頻教程,全套課程共41學(xué)時。 數(shù)理邏輯又稱符號邏輯、理論邏輯。它既是數(shù)學(xué)的一個分支,也是邏輯學(xué)的一個分支。是用數(shù)學(xué)方法研究邏輯或形式邏輯的學(xué)科。其研究對象是對證明和計算這兩個直觀概念進行符號化以后的形式系統(tǒng)。數(shù)理邏輯是數(shù)學(xué)基礎(chǔ)的一個不可缺少的組成部分。雖然名稱中有邏輯兩字,但并不屬于單純邏輯學(xué)范疇。

郵箱
huangbenjincv@163.com

日土县| 天门市| 乌兰浩特市| 深圳市| 仙居县| 南江县| 肇源县| 遵义县| 天津市| 株洲市| 项城市| 盐源县| 淮南市| 礼泉县| 南和县| 汝南县| 邢台市| 淮北市| 资溪县| 灵山县| 金坛市| 通州区| 荥阳市| 喀喇| 荆门市| 和田县| 甘南县| 江山市| 沾益县| 阿拉善左旗| 镇安县| 万山特区| 喜德县| 都匀市| 萨嘎县| 内丘县| 安图县| 苏尼特右旗| 平舆县| 屯留县| 平阴县|