mathematical logicとは 意味・読み方・使い方
追加できません
(登録数上限)
単語を追加
意味・対訳 数学論理学; 数理論理学; 数学的論理学
「mathematical logic」の部分一致の例文検索結果
該当件数 : 9件
in mathematical logic, the state in which there is no contradiction発音を聞く 例文帳に追加
数学での無矛盾 - EDR日英対訳辞書
a study of trying to systematically deduce logic, using mathematical methods例文帳に追加
数学的な方法を使って演繹論理を体系化しようとする学問 - EDR日英対訳辞書
a form of mathematical logic in which truth can assume a continuum of values between 0 and 1発音を聞く 例文帳に追加
真実が0と1の間で価値の連続体を仮定することができる数理論理学の式 - 日本語WordNet
To provide a method for verifying a defect (a bug) of software difficult to detect by test data check or logic check from a mathematical standpoint.例文帳に追加
テストデータチェックやロジックチェックでは検出が困難なソフトウェアの不具合(バグ)を数学的見地から検証する方法を提供する。 - 特許庁
We provide a mathematical specification of an extension of Warren's Abstract Machine for executing Prolog to type-constraint logic programming and prove its correctness.発音を聞く 例文帳に追加
我々は,型制約論理プログラミングに対するプロログを実行するために,ウォレンの抽象機械の拡張に関する数学的仕様を提供し,その正確性を証明する． - コンピューター用語辞典
The polynomial is preferably a cubic polynomial and enables easy calculation by a hardware multiplier and a mathematical logic unit by using a digital signal processor.例文帳に追加
多項式は、好ましくは、３次多項式で、ハードウエア乗算器および算術論理ユニットでデジタル信号処理装置を使用して容易に計算される形式である。 - 特許庁
The first embodiment includes: an image sensor (204) for capturing a dark image (234); a memory element (232) for storing the dark image (234); and a logic circuit (250) to assign a mathematical function (237) to the dark image (234).例文帳に追加
本発明の１実施形態は、ダークイメージ(234)を捕捉するためのイメージセンサ(204)、ダークイメージ(234)を格納するためのメモリ(232)素子、及び、ダークイメージ(234)に数学関数(237)を割り当てるための論理回路(250)を備える。 - 特許庁
-
履歴機能
過去に調べた
単語を確認! -
語彙力診断
診断回数が
増える! -
マイ単語帳
便利な
学習機能付き! -
マイ例文帳
文章で
単語を理解! -
Wiktionary英語版での「mathematical logic」の意味 |
mathematical logic
名詞
mathematical logic (usually uncountable, 複数形 mathematical logics)
- (logic) A subfield of logic and mathematics consisting of both the mathematical study of logic and the application of this study to other areas of mathematics, exemplified by questions on the expressive power of formal logics and the deductive power of formal proof systems.
同意語
「mathematical logic」の部分一致の例文検索結果
該当件数 : 9件
Two kinds of yield ratio component which are failures of being randomly generated on the wafer caused by contamination and of being continuously generated caused by a process are calculated at a yield ratio component separating part, by a mathematical logic base by (n) times of an original chip area which integrates each adjacent (n) chips and by a yield ratio of the category map.例文帳に追加
歩留成分分離部は隣接するｎ個のチップ同士をまとめた元のｎ倍のチップ面積とカテゴリマップの歩留りから数学的な論理に基きウェハ上でランダムに発生する異物による不良と連続して発生するプロセスによる不良の２種類の歩留り成分を求める。 - 特許庁
The electrosurgery generating device has a control system formed with the array of logic gates programmed so as to execute mathematical algorithm for controlling at least one parameter of output power, output voltage, and output current of output electrosurgery signals by a closed loop responding to detected values of output voltage and output current.例文帳に追加
電気外科発生装置は、出力電圧および出力電流の検知した値に応答して、閉ループで出力電気外科信号の出力電力、出力電圧または出力電流の少なくとも１つのパラメータを規制するために数学的アルゴリズムを実行するようにプログラムされた論理ゲートのアレイで形成された制御システムを有する。 - 特許庁
|
|
|
mathematical logicのページの著作権
英和・和英辞典
情報提供元は
参加元一覧
にて確認できます。
| 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 | |
|
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、Wiktionaryのmathematical logic (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
みんなの検索ランキング
閲覧履歴
 | 「mathematical logic」のお隣キーワード |
weblioのその他のサービス
|
ログイン |
Weblio会員(無料)になると
|
