国产精品99一区二区三区,91色色色,97色大香蕉,欧美亚洲精品一区二区久久,久久久欧美精品影院,大香蕉色色网,久久久穴,精品一区二区三区四,亚洲精品久久精品99,韩国精品视频一区二区在线播放

歡迎您訪問思政資源庫!
中唐方德官網 | 思政直播
一分鐘了解數理邏輯

一分鐘了解數理邏輯

111
0
展開
下載
收藏
版權說明

發布日期:2023-08-11

true

來源:秒懂百科

簡介:
數理邏輯,是用數學方法研究邏輯或形式邏輯的學科,屬形式邏輯形式上符號化、數學化的邏輯,本質上仍屬于知性邏輯的范疇。數理邏輯又稱符號邏輯、理論邏輯。它既是數學的一個分支,也是邏輯學的一個分支。其研究對象是對證明和計算這兩個直觀概念進行符號化以后的形式系統。數理邏輯是基礎數學的一個不可缺少的組成部分。雖然名稱中有邏輯兩字,但并不屬于單純邏輯學范疇。

適用專業(1)

    本科(1):

  • 邏輯學
  • 展開

適用課程(1)

  • 數理邏輯
  • 展開
版權說明及權利通知
加入資源庫VIP 本文免費下載
2萬VIP文檔下載
海量文檔免費下載
付費資源7折起
專屬客服服務
僅需0.6元/天
開通VIP
繼續閱讀
VIP用戶可繼續閱讀
收藏
版權說明
下載
VIP專享文檔
付費資源7折起
專屬客服服務
僅需0.6元/天
立即開通