高階述語論理
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/08/30 17:28 UTC 版)
高階述語論理(こうかいじゅつごろんり、英: Higher-order logic)は、一階述語論理と様々な意味で対比される用語である。
[続きの解説]
「高階述語論理」の続きの解説一覧
- 1 高階述語論理とは
- 2 高階述語論理の概要
高階述語論理と同じ種類の言葉
- 高階述語論理のページへのリンク
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/08/30 17:28 UTC 版)
高階述語論理(こうかいじゅつごろんり、英: Higher-order logic)は、一階述語論理と様々な意味で対比される用語である。
高階述語論理と同じ種類の言葉
高階述語論理のお隣キーワード |
高階述語論理のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。
All text is available under the terms of the GNU Free Documentation License. この記事は、ウィキペディアの高階述語論理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。 |
ビジネス|業界用語|コンピュータ|電車|自動車・バイク|船|工学|建築・不動産|学問
文化|生活|ヘルスケア|趣味|スポーツ|生物|食品|人名|方言|辞書・百科事典
ご利用にあたって | 便利な機能 | お問合せ・ご要望 | 会社概要 | ウェブリオのサービス |
©2024 GRAS Group, Inc.RSS