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

琼结县| 光山县| 南岸区| 银川市| 斗六市| 紫云| 廉江市| 桐城市| 镇赉县| 皮山县| 林西县| 湟源县| 图片| 阿拉善盟| 台州市| 休宁县| 大荔县| 荆门市| 修水县| 湟中县| 商丘市| 海口市| 姚安县| 周至县| 图木舒克市| 卢龙县| 沽源县| 左权县| 海门市| 全州县| 民权县| 保靖县| 南阳市| 抚州市| 祥云县| 东平县| 南京市| 昌图县| 福建省| 彩票| 尚志市|