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

郵箱
huangbenjincv@163.com

纳雍县| 吴堡县| 黄浦区| 临城县| 景宁| 万全县| 宁海县| 瑞金市| 九台市| 孟连| 乐昌市| 靖江市| 前郭尔| 涞源县| 鸡东县| 汝城县| 新津县| 思茅市| 忻城县| 烟台市| 旺苍县| 鱼台县| 阿瓦提县| 阳谷县| 唐河县| 嵊州市| 五台县| 武义县| 潮安县| 盐山县| 图们市| 永宁县| 葫芦岛市| 永丰县| 衡阳县| 石狮市| 呼和浩特市| 丽江市| 金溪县| 曲沃县| 定边县|