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

郵箱
huangbenjincv@163.com

方山县| 确山县| 北碚区| 灵山县| 哈巴河县| 平谷区| 汽车| 石门县| 牡丹江市| 天全县| 皮山县| 凌海市| 阿坝县| 平湖市| 牡丹江市| 辽中县| 新余市| 云阳县| 鹤庆县| 兴义市| 内江市| 钦州市| 建平县| 安图县| 五原县| 汉沽区| 渭源县| 逊克县| 锡林浩特市| 福贡县| 汝南县| 镇宁| 共和县| 永寿县| 信宜市| 福州市| 农安县| 肃北| 中江县| 洞头县| 门源|