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

郵箱
huangbenjincv@163.com

当阳市| 无棣县| 农安县| 大城县| 万源市| 呼图壁县| 广灵县| 行唐县| 济南市| 利川市| 盐津县| 太谷县| 绍兴市| 曲阜市| 平昌县| 屏东市| 徐汇区| 高青县| 新沂市| 通江县| 郑州市| 江阴市| 长阳| 娱乐| 澳门| 沙洋县| 类乌齐县| 九江市| 临江市| 大石桥市| 伊金霍洛旗| 堆龙德庆县| 弥渡县| 从化市| 永川市| 章丘市| 玉树县| 库车县| 天峨县| 天祝| 西充县|