数学論理学の英語

数学あるいは論理学表現で用いられる（xやyのような）記号で、変動量を示す例文帳に追加

a symbol (like x or y) that is used in mathematical or logical expressions to represent a variable quantity発音を聞く  - 日本語WordNet

計算可能性とその他の領域の論理および数学との関係を含むトピックとしては、逆数学や...があり、...例文帳に追加

The topics involving relations between computability and other areas of logic and mathematics are reverse mathematics and ...発音を聞く  - コンピューター用語辞典

ここで、数学的規則は、写像であり論理的規則に恒等的に同義である（アイデンティカルである）。例文帳に追加

The mathematical rules are mapping and equally identical to a logical rule. - 特許庁

必須の情報を得るために、プログラム学習に従い進行中の（データ）数学、論理演算を実行する例文帳に追加

perform mathematical and logical operations on (data) according to programmed instructions in order to obtain the required information発音を聞く  - 日本語WordNet

はマクロ言語としての限界から、数学、論理学、もしくは以下の引用符の集合のメンバを含んだ文字列を表現するのは困難です。例文帳に追加

is limited as a macro language, and has difficulty when presented with a string containing a member of the mathematical, logical or quotation set: -literal -offset indent-two発音を聞く  - JM

形式的（論理的数学的）な所説は意味を持たないが、その象徴（物理的な存在と考えられる）は、有益な教訓を示しているという哲学的理論例文帳に追加

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.発音を聞く  - コンピューター用語辞典

本発明の１実施形態は、ダークイメージ(234)を捕捉するためのイメージセンサ(204)、ダークイメージ(234)を格納するためのメモリ(232)素子、及び、ダークイメージ(234)に数学関数(237)を割り当てるための論理回路(250)を備える。例文帳に追加

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). - 特許庁