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

凤凰县| 华阴市| 吉安县| 临沭县| 邵阳县| 米林县| 浙江省| 三明市| 南雄市| 大田县| 秦皇岛市| 尖扎县| 新田县| 渝北区| 德格县| 甘德县| 上饶市| 宜兴市| 青浦区| 新泰市| 五大连池市| 呼伦贝尔市| 明水县| 福海县| 泰和县| 横峰县| 宁明县| 连城县| 阿拉善右旗| 祁连县| 新昌县| 彭泽县| 宕昌县| 嘉荫县| 常宁市| 巩留县| 靖宇县| 尉氏县| 洱源县| 通渭县| 涪陵区|