数学的論理学の英語
追加できません
(登録数上限)
英訳・英語 mathematical logic
「数学的論理学」の部分一致の例文検索結果
該当件数 : 10件
発見、科学的論理及び数学的方法例文帳に追加
discoveries, scientific theories and mathematical methods;発音を聞く - 特許庁
数学的な推論の論理的な分析例文帳に追加
the logical analysis of mathematical reasoning発音を聞く - 日本語WordNet
数学的な方法を使って演繹論理を体系化しようとする学問例文帳に追加
a study of trying to systematically deduce logic, using mathematical methods - EDR日英対訳辞書
ここで、数学的規則は、写像であり論理的規則に恒等的に同義である(アイデンティカルである)。例文帳に追加
The mathematical rules are mapping and equally identical to a logical rule. - 特許庁
形式的(論理的数学的)な所説は意味を持たないが、その象徴(物理的な存在と考えられる)は、有益な教訓を示しているという哲学的理論例文帳に追加
the philosophical theory that formal (logical or mathematical) statements have no meaning but that its symbols (regarded as physical entities) exhibit a form that has useful applications発音を聞く - 日本語WordNet
我々は,型制約論理プログラミングに対するプロログを実行するために,ウォレンの抽象機械の拡張に関する数学的仕様を提供し,その正確性を証明する.例文帳に追加
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.発音を聞く - コンピューター用語辞典
歩留成分分離部は隣接するn個のチップ同士をまとめた元のn倍のチップ面積とカテゴリマップの歩留りから数学的な論理に基きウェハ上でランダムに発生する異物による不良と連続して発生するプロセスによる不良の2種類の歩留り成分を求める。例文帳に追加
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. - 特許庁
-
履歴機能過去に調べた
単語を確認! -
語彙力診断診断回数が
増える! -
マイ単語帳便利な
学習機能付き! -
マイ例文帳文章で
単語を理解!
Weblio例文辞書での「数学的論理学」に類似した例文 |
|
数学的論理学
in logic, the grammatical subject
formulas for converting a single unit of measurement to different units
the essentials of mathematics
「数学的論理学」の部分一致の例文検索結果
該当件数 : 10件
既知の論理数学的表現を用いてイメージから得られる量から成る、イメージの意味的内容を記述するN個の低レベル特徴の集合を定義し(ステップ10)、そのN個の低レベル特徴がとる値で形成される特徴ベクトル抽出のため、分類対象のイメージにインデックスを付ける(20)。例文帳に追加
The set of N pieces of low level features for describing the semantic contents of the image composed of a quantity provided from the image is defined while using a known logical and mathematical expression (step 10), and the image of a sorting target is indexed (20) for extracting a feature vector formed from the values of these N low level features. - 特許庁
構築可能なセルユニットとしてプログラム可能な計算ユニットには、数学的および/または論理的基本演算を実行するための計算機構と、アドレシング可能な機能および/または網目化設定手段(F−Plureg,M−Plureg)が、構築すべき機能および/または網目化が処理データバスに依存しないようにするために設けられている。例文帳に追加
A computation unit programmable, as a configuratable cell unit, is provided with the computation mechanism for executing mathematical and/or logical basic operations and addressing-enabled functions and/or networking setup means (F-Plureg, M-Plureg), in order to make the functions and/or networking to be configured independent of a processing-data-bus. - 特許庁
電気外科発生装置は、出力電圧および出力電流の検知した値に応答して、閉ループで出力電気外科信号の出力電力、出力電圧または出力電流の少なくとも1つのパラメータを規制するために数学的アルゴリズムを実行するようにプログラムされた論理ゲートのアレイで形成された制御システムを有する。例文帳に追加
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. - 特許庁
|
|
数学的論理学のページの著作権
英和・和英辞典
情報提供元は
参加元一覧
にて確認できます。
This page uses the JMdict dictionary files. These files are the property of the Electronic Dictionary Research and Development Group, and are used in conformance with the Group's licence. | |
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(C)2002-2024 National Institute of Information and Communications Technology. All Rights Reserved. | |
Copyright © 2024 Cross Language Inc. All Right Reserved. |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
「数学的論理学」のお隣キーワード |
weblioのその他のサービス
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |