閱讀
綜合
詩(shī)話
詞話
古籍檢索
類書集成
查詢
詩(shī)詞
典故詞匯
對(duì)仗詞匯
詞譜
曲譜
詩(shī)詞地圖
登錄
韻典
平水韻
詞林正韻
中原音韻
中華通韻
校注
律詩(shī)校驗(yàn)
詞格校驗(yàn)
曲格校驗(yàn)
對(duì)聯(lián)校驗(yàn)
自動(dòng)箋注
課堂
律絕創(chuàng)作
填詞入門
公開課
學(xué)習(xí)指南
其它
簡(jiǎn)繁轉(zhuǎn)換
詩(shī)社
詩(shī)詞書店
關(guān)鍵詞:
收錄約1萬(wàn)典故,50萬(wàn)詞匯、2萬(wàn)作家信息
常用典故
按出處分類
按人物分類
檢索結(jié)果:
全部
5
詞典
1
分類詞匯
4
詞典
數(shù)理邏輯
分類詞匯
符號(hào)邏輯
謂詞
傳統(tǒng)邏輯
量詞
《漢語(yǔ)大詞典》:
數(shù)理邏輯
亦稱“符號(hào)邏輯”。狹義指用數(shù)學(xué)方法研究數(shù)學(xué)中的演繹思維以及數(shù)學(xué)基礎(chǔ)的學(xué)科。廣義指一切用符號(hào)和數(shù)學(xué)方法處理和研究演繹法的學(xué)問(wèn)。既是數(shù)學(xué)的一個(gè)分支,又是邏輯學(xué)的一個(gè)分支。數(shù)理邏輯對(duì)數(shù)學(xué)研究和工程技術(shù)有重要意義,對(duì)一般思維中某些問(wèn)題的解決也有成效。
分類:
數(shù)理邏輯
狹義
數(shù)學(xué)
學(xué)方
演繹
思維
基礎(chǔ)
學(xué)科
《國(guó)語(yǔ)辭典》:
符號(hào)邏輯(符號(hào)邏輯)
拼音:
fú hào luó jí
一種邏輯。不限名詞和命題,將其關(guān)系用數(shù)學(xué)符號(hào)表達(dá),而以數(shù)學(xué)運(yùn)算的方式,據(jù)以推斷論證命題的結(jié)果,有執(zhí)簡(jiǎn)銜繁的功效。
分類:
數(shù)理邏輯
《國(guó)語(yǔ)辭典》:
謂詞(謂詞)
拼音:
wèi cí
句法中說(shuō)明主語(yǔ)的成分稱為「謂語(yǔ)」,而謂語(yǔ)的中心成分,也有人稱為「謂詞」。例如:「鳥飛」一句中,「飛」為謂語(yǔ),這個(gè)謂語(yǔ)為單詞,所以也可稱為「謂詞」。一般敘述句中的主要?jiǎng)釉~,稱為「述語(yǔ)」,而有些語(yǔ)法學(xué)家就稱為「謂詞」。
分類:
謂詞
句子
數(shù)理邏輯
謂語(yǔ)
中表
個(gè)個(gè)
個(gè)體
性質(zhì)
間關(guān)
《國(guó)語(yǔ)辭典》:
傳統(tǒng)邏輯(傳統(tǒng)邏輯)
拼音:
chuán tǒng luó jí
十九世紀(jì)中葉以前的邏輯,以亞里士多德所創(chuàng)的三段論證為主。相對(duì)于現(xiàn)代邏輯。也稱為「古典邏輯」。
分類:
普通
邏輯
數(shù)理邏輯
形式邏輯
《國(guó)語(yǔ)辭典》:
量詞(量詞)
拼音:
liàng cí
表示事物或動(dòng)作的單位詞。表示事物單位的稱為「物量詞」,如個(gè)、塊、斤、丈等。表示動(dòng)作單位的稱為「動(dòng)量詞」,如次、回、趟、遍等。
分類:
量詞
數(shù)理邏輯
示人
和
粵公網(wǎng)安備44010402003275
粵ICP備17077571號(hào)
關(guān)于本站
聯(lián)系我們
客服:+86 136 0901 3320