本課程為北京大學(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

博湖县| 洪泽县| 峨边| 随州市| 汕尾市| 客服| 历史| 怀柔区| 讷河市| 平遥县| 永城市| 乳源| 布尔津县| 江津市| 鲁甸县| 屏东县| 新巴尔虎左旗| 安庆市| 哈巴河县| 安乡县| 崇州市| 连平县| 南丰县| 茶陵县| 平遥县| 保山市| 陵川县| 河东区| 雅安市| 彭山县| 金湖县| 吉林市| 德令哈市| 桃园县| 荥经县| 南汇区| 大安市| 辽宁省| 牡丹江市| 延边| 新源县|