| 意味 | 例文 (1件) |
Prenex normal formとは 意味・読み方・使い方
追加できません
(登録数上限)
単語を追加
意味・対訳 冠頭標準型; 前置標準形
「Prenex normal form」の部分一致の例文検索結果
該当件数 : 1件
例文
>>例文の一覧を見る
Every formula of first-order logic can be converted to an equivalent formula in prenex normal form.発音を聞く 例文帳に追加
１階論理のすべての式は冠頭標準形における等価な式に変換し得る。 - コンピューター用語辞典
調べた例文を記録して、 効率よく覚えましょう
Weblio会員登録無料で登録できます！
-
履歴機能
過去に調べた
単語を確認! -
語彙力診断
診断回数が
増える! -
マイ単語帳
便利な
学習機能付き! -
マイ例文帳
文章で
単語を理解! -
Wiktionary英語版での「Prenex normal form」の意味 |
prenex normal form
名詞
prenex normal form (uncountable)
- (logic) A way of expressing a formula of predicate logic such the formula consists of a prenex and a matrix, with the prenex preceding the matrix.
ウィキペディア英語版での「Prenex normal form」の意味 |
Prenex normal form
出典:『Wikipedia』 (2011/06/25 12:04 UTC 版)
英語による解説
ウィキペディア英語版からの引用
引用
A formula of the predicate calculus is in prenex normal form if it is written as a string of quantifiers followed by a quantifier-free part (referred to as the matrix).
|
| 意味 | 例文 (1件) |
|
|
Prenex normal formのページの著作権
英和・和英辞典
情報提供元は
参加元一覧
にて確認できます。
| Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved. | |
| All Rights Reserved, Copyright © Japan Science and Technology Agency | |
| Copyright © 2026 CJKI. All Rights Reserved | |
|
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、Wiktionaryのprenex normal form (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
|
|
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのPrenex normal form (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！※モジュールの非表示は、から変更可能
みんなの検索ランキング
-
1proper
-
2take
-
3plea
-
4bilateral
-
5victims
-
6meet
-
7go
-
8responsible
-
9condominium
-
10eat
閲覧履歴
 | 「Prenex normal form」のお隣キーワード |
weblioの他の辞書でも検索してみる
weblioのその他のサービス
weblioのその他のサービス
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
