:::
資料庫查詢時間：1200.1989 ms
共 24 筆資料，
每頁顯示
筆資料
縮小搜尋結果範圍
適用年級
媒體形式
排序方式：
關鍵字 |
搜尋次數 |
關聯性
:::
你是不是要搜尋以下結果
|
述詞
瀏覽人次:0
收藏人次:0
在程式設計中，指求值結果僅為真或假二種情況的敘述。
|
|
述詞邏輯
瀏覽人次:0
收藏人次:0
為數理邏輯的基本形式，它允許使用變數與變數的函數，為一種命題邏輯的推廣。
述詞邏輯是邏輯學的一個基礎組成部分，旨在分析命題(Proposition)內部結構之各種基本形式。
在邏輯學中有所謂的命題邏輯(Propositional Logic)及述詞邏輯。命題邏輯以命題作為基本分析單位，以邏輯連詞來表達命題間彼此的關係，僅探討命題的真與假，而與其意義內容無涉。 述詞邏輯則在命題邏輯的基礎上，加上量化的因素，將簡單命題(simple proposition)再分析為主詞(subject)、述詞(predicate)、量詞(quantity)、全稱(universal)及特稱(specularity)等，總結出他們的形式結構，然後研究這些形... |
|
前述詞
瀏覽人次:0
收藏人次:0
邏輯裡將語句分為原子句與複合句，複合句是由原子句藉邏輯連結詞而組成的。依邏輯連結詞的種類可將複合句分為四種：選言句（以「或」連結），連言句（以「且」連結），條件句（又稱假言述句，以「若……則……」連結），及雙條件句（以「若且唯若」連結）。
「前述詞」即前項所指的是在條件句（如「若天雨則地溼」）中出現於「若」之後的語句（「天雨」）：「後述詞」即後項(consequent)指出現於「則」之後的語句（「地溼」）。條件語句就是斷言其前述詞涵蘊後述詞。這一述詞並未斷言其前述詞為真，只是說「假如其前述詞為真，則後述詞亦真」。所以條件句的主要意義是涵蘊關係。 「前述詞」及「後... |
|
述詞演算
瀏覽人次:0
收藏人次:0
為數理邏輯的基礎部分。以邏輯述句進行表示及推理的基本記法。把命題看作整體，分析命題的各部結構，使成主詞與述詞的邏輯形式。
|
|
單述詞演算
瀏覽人次:0
收藏人次:0
在二階述詞演算中，只能使用普通常量、變量、命題常量、變量以及單變元的述詞函數變量者之謂。
|
|
第二階述詞演算
瀏覽人次:0
收藏人次:0
是第二種定義合法的字彙邏輯文法，一但其中任一的字彙定義表示式確定後，其餘的字彙表示方式亦都確定。
|
|
可算述詞
瀏覽人次:0
收藏人次:0
係指函數的述詞是可算函數。參【可算函數】（computable function）。
|
|
一階述詞演算
瀏覽人次:0
收藏人次:0
用以規定命題常數、個體參數、常元素、常函數、邏輯聯結詞、量詞、述詞邏輯規則及公理等，以符號組成邏輯形式的演算。
|
|
n元述詞
瀏覽人次:0
收藏人次:0
指具有n個參數的述詞。
|
|
複合述詞
瀏覽人次:0
收藏人次:0
在一個具有註解的述詞演算法中，其述詞內有一個以上的變數是複合項。參【複合項】（compound term）。
|
 曾經查過此詞彙的人也經常查詢以下字詞： |
我是貓頭鷹博士，
有問題可以問我喔！
有問題可以問我喔！