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

郵箱
huangbenjincv@163.com

舟曲县| 郴州市| 沂源县| 玉门市| 姚安县| 民丰县| 五寨县| 邻水| 襄樊市| 鹤庆县| 中牟县| 博客| 玉林市| 峨边| 怀化市| 宁蒗| 阳曲县| 沅陵县| 旺苍县| 瑞丽市| 平湖市| 邻水| 宁津县| 曲麻莱县| 射阳县| 丹寨县| 铜梁县| 长岭县| 泌阳县| 靖州| 甘南县| 来凤县| 施秉县| 红河县| 临安市| 扎囊县| 曲麻莱县| 观塘区| 安仁县| 博野县| 朝阳市|