predicate calculusとは 意味・読み方・使い方
追加できません
(登録数上限)
単語を追加
意味・対訳 述語論理
「predicate calculus」の部分一致の例文検索結果
該当件数 : 5件
relationship between the expressive power of description languages and that of query languages based on predicate calculus発音を聞く 例文帳に追加
記述言語の表現力と,述語計算法(predicate calculus)に基づく問い合わせ言語の表現力との関係 - コンピューター用語辞典
a rule that shows whether a predicate calculus is formed or not, called resolution principle発音を聞く 例文帳に追加
融合原理という,述語論理式が成立するかしないかを表す規則 - EDR日英対訳辞書
The adoption of a relational model of data permits the development of a universal data sublanguage based on an applied predicate calculus.発音を聞く 例文帳に追加
データ関係モデルの採用は、応用述語計算法に基づく普遍的データ準言語の開発を可能にする。 - コンピューター用語辞典
The relational model allows the formal definition of an user oriented language, based on applied predicate calculus.発音を聞く 例文帳に追加
この関係モデルは、応用述語計算に基づくユーザオリエンテッド言語の形式的定義を可能にする。 - コンピューター用語辞典
-
履歴機能
過去に調べた
単語を確認! -
語彙力診断
診断回数が
増える! -
マイ単語帳
便利な
学習機能付き! -
マイ例文帳
文章で
単語を理解! -
日本語WordNet(英和)での「predicate calculus」の意味 |
|
predicate calculus
個々を表わし断定する記号論理学、および個々における量化のシステム（提案の関係と同様に）
(a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions))
Wiktionary英語版での「predicate calculus」の意味 |
predicate calculus
名詞
predicate calculus (uncountable)
- (logic) The branch of logic that deals with quantified statements such as "there exists an x such that..." or "for any x, it is the case that...", where x is a member of the domain of discourse.
派生語
- monadic predicate calculus
関連する語
|
|
predicate calculusのページの著作権
英和・和英辞典
情報提供元は
参加元一覧
にて確認できます。
| Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved. | |
| All Rights Reserved, Copyright © Japan Science and Technology Agency | |
|
日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved. WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License |
|
| Copyright © 2024 CJKI. All Rights Reserved | |
| Copyright © 2024 Cross Language Inc. All Right Reserved. | |
|
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、Wiktionaryのpredicate calculus (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
みんなの検索ランキング
-
1vapid
-
2iris
-
3believe
-
4sphery
-
5rendezvous
-
6while
-
7test
-
8consider
-
9appreciate
-
10present
閲覧履歴
 | 「predicate calculus」のお隣キーワード |
weblioのその他のサービス
|
ログイン |
Weblio会員(無料)になると
|
