謂詞元邏輯 的英文怎麼說

中文拼音 [wèicíyuánluó]
謂詞元邏輯 英文
metalogic of predicates
  • 謂 : Ⅰ動詞1. （說） say 2. （稱呼; 叫做） call; name Ⅱ名詞1. （意義） meaning; sense 2. （姓氏） a surname
  • 詞 : 名詞1 （說話或詩歌、文章、戲劇中的語句） speech; statement; lines of play 2 （一種韻文形式 起於唐...
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 邏輯 : logic
  1. However, in search of the relevant data, the cost of generating additional tuples produced by logic program to which magic transformation is applied increases with the arity of idb ( intensional database ) predicates increasing

    但是隨著遞歸idb （ intensionaldatabase ）謂詞的項的個數增大，經魔集轉換的邏輯程序為尋找與查詢相關數據而產生附加元組的開銷也會增大。
  2. A predicate is something said about an argument or it states the logical relation linking the arguments n a sentence

    一個謂詞是關于論元的陳述，或者說明一個句子的論元間的邏輯關系。
分享友人
分享到 Line

分享到臉書