ブラウザの設定でJava Scriptの使用を有効にしてご利用ください。
数学的な推論の論理的な分析
the logical analysis of mathematical reasoning
論理上の分析.
logical analysis
論理的帰結
logical entailment
計算能力
mathematical ability
トップダウン型推論という,人工知能における推論方法
artificial intelligence logic called {top-down reasoning}
分析的な推論
analytical reasoning
数理的科学
the exact sciences
形而上の推論
metaphysical reasoning
もっともらしい理屈.
specious logic
数学地理
mathematical geography
確率的な量子論
probabilistic quantum theory
記号論理学
symbolic logic
数学の天才
a mathematical genius
論理学者
a logician
三段論法的な推理に熟練した論理学者
logician skilled in syllogistic reasoning
アリストテレスの論理
Aristotelean logic
内包的論理学
intensional logics
論理的必然性.
logical necessity
数学的な確実性
a mathematical certainty
計算言語学
computational linguistics
数学的正確性
mathematical precision
数学の方程式
a mathematical equation
計算理論という数学理論
a mathematical theory called {Theory of Computation}
実用数学
practical mathematics
数学的証明
mathematical proof
論理学における,述語計算
a branch of logic called predicate calculus
論理的思考
a logical mind
帰納的論理
inductive logic
記号論理学に熟練した人
a person skilled at symbolic logic
算術計算
arithmetical computations
logical-mathematical intelligence