:::
資料庫查詢時間：437.631 ms
共 11 筆資料，
每頁顯示
筆資料
縮小搜尋結果範圍
適用年級
媒體形式
排序方式：
關鍵字 |
搜尋次數 |
關聯性
:::
你是不是要搜尋以下結果
|
述詞演算
瀏覽人次:0
收藏人次:0
為數理邏輯的基礎部分。以邏輯述句進行表示及推理的基本記法。把命題看作整體，分析命題的各部結構，使成主詞與述詞的邏輯形式。
|
|
單述詞演算
瀏覽人次:0
收藏人次:0
在二階述詞演算中，只能使用普通常量、變量、命題常量、變量以及單變元的述詞函數變量者之謂。
|
|
第二階述詞演算
瀏覽人次:0
收藏人次:0
是第二種定義合法的字彙邏輯文法，一但其中任一的字彙定義表示式確定後，其餘的字彙表示方式亦都確定。
|
|
一階述詞演算
瀏覽人次:0
收藏人次:0
用以規定命題常數、個體參數、常元素、常函數、邏輯聯結詞、量詞、述詞邏輯規則及公理等，以符號組成邏輯形式的演算。
|
|
較高階述詞演算
瀏覽人次:0
收藏人次:0
二階述詞演算有時被稱為較高階述詞演算，也時有時間概念的述詞演算稱為較高階述詞演算。
|
|
算
瀏覽人次:0
收藏人次:0
計算數目。如：「結算」、「計算」、「算帳」。
計劃。如：「打算」、「盤算」、「失算」。
表示姑且當作的意思。如：「算我請客好了。」、「算我沒生這個孩子！」
作罷、不再計較。如：「算了！別計較了。」
當真、承認有效力。如：「我說了就算！」、「你可要說話算話！」
推測、料想。如：「算命」、「我算準了他一定會來。」
計謀、謀略。如：「勝算」、「神機妙算」。
表示願望實現的意思。如：「經過一年的苦讀，他總算如願考上大學了。」
表示肯定的意思。如：「你算是問對人了，他可是理財方面的專家。」
|
|
詞
瀏覽人次:0
收藏人次:0
語言表義的基本單位。如：「名詞」、「形容詞」、「單音詞」、「合成詞」。
有組織的或片段的語言文字。如：「歌詞」、「文詞」、「演說詞」。
一種格律文學。興起於唐代，在宋代最為興盛。由古之樂府演變而來，其後又遞變而為曲。句法多長短不一。或稱為「詩餘」、「長短句」。
|
|
演
瀏覽人次:0
收藏人次:0
公開表現技藝。如：「表演」、「演戲」、「演唱」、「演奏會」。
根據事理推論發揮。如：「演義」、「演說」、「推演」、「演繹」。
事物隨著時間不斷的變化。如：「演變」、「演化」、「演進」。
依序練習。如：「演算」、「演練」、「演習」。
|
|
述詞
瀏覽人次:0
收藏人次:0
在程式設計中，指求值結果僅為真或假二種情況的敘述。
|
 曾經查過此詞彙的人也經常查詢以下字詞： |
貓頭鷹博士