基底項とは? わかりやすく解説

Weblio 辞書 > 同じ種類の言葉 > 言葉 > 表現 > 基底 > 基底項の意味・解説 

基底項

アトミック項または引数がすべて基底である複合項。ある置換適用が基底項を生成するであれば,その項はその置換について基底である。
例: f(1,g(x))




基底項と同じ種類の言葉


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「基底項」の関連用語

基底項のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



基底項のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
K-PrologK-Prolog
Copyright (C) 2025 K-Prolog All Rights Reserved.

©2025 GRAS Group, Inc.RSS