Mathematical Logicとは 意味・読み方・使い方

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)を備える。 - 特許庁