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

郵箱
huangbenjincv@163.com

孝感市| 天津市| 红桥区| 延安市| 卓尼县| 和静县| 开封市| 晋城| 铁岭县| 元朗区| 阳泉市| 昔阳县| 天津市| 福鼎市| 铁岭县| 子长县| 合肥市| 桦甸市| 呼伦贝尔市| 淮安市| 阜城县| 八宿县| 古田县| 措美县| 永顺县| 永仁县| 远安县| 胶州市| 呼和浩特市| 咸宁市| 大宁县| 兰考县| 湄潭县| 双峰县| 枞阳县| 长白| 宜昌市| 元谋县| 青阳县| 光山县| 大丰市|