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

郵箱
huangbenjincv@163.com

河间市| 巨鹿县| 筠连县| 西昌市| 赫章县| 张家川| 梅州市| 德令哈市| 通化县| 周宁县| 佛坪县| 屯门区| 页游| 湟中县| 桐梓县| 龙川县| 五常市| 和平区| 紫阳县| 民县| 乾安县| 突泉县| 朝阳区| 武山县| 盐源县| 梁河县| 永寿县| 天峻县| 德庆县| 永新县| 高密市| 且末县| 玉田县| 井研县| 元阳县| 山阴县| 洛川县| 防城港市| 叙永县| 宜黄县| 天水市|