閱讀
綜合
詩話
詞話
古籍檢索
類書集成
查詢
詩詞
典故詞匯
對仗詞匯
詞譜
曲譜
詩詞地圖
登錄
韻典
平水韻
詞林正韻
中原音韻
中華通韻
校注
律詩校驗(yàn)
詞格校驗(yàn)
曲格校驗(yàn)
對聯(lián)校驗(yàn)
自動(dòng)箋注
課堂
律絕創(chuàng)作
填詞入門
公開課
學(xué)習(xí)指南
其它
簡繁轉(zhuǎn)換
詩社
關(guān)鍵詞:
收錄約1萬典故,50萬詞匯、2萬作家信息
常用典故
按出處分類
按人物分類
檢索結(jié)果:
全部
5
詞典
1
分類詞匯
4
詞典
數(shù)理邏輯
《漢語大詞典》:
數(shù)理邏輯
亦稱“符號(hào)邏輯”。狹義指用數(shù)學(xué)方法研究數(shù)學(xué)中的演繹思維以及數(shù)學(xué)基礎(chǔ)的學(xué)科。廣義指一切用符號(hào)和數(shù)學(xué)方法處理和研究演繹法的學(xué)問。既是數(shù)學(xué)的一個(gè)分支,又是邏輯學(xué)的一個(gè)分支。數(shù)理邏輯對數(shù)學(xué)研究和工程技術(shù)有重要意義,對一般思維中某些問題的解決也有成效。
分類:
數(shù)理邏輯
狹義
數(shù)學(xué)
學(xué)方
演繹
思維
基礎(chǔ)
學(xué)科
粵公網(wǎng)安備44010402003275
粵ICP備17077571號(hào)
關(guān)于本站
聯(lián)系我們
客服:+86 136 0901 3320