Search results- English - English

Keyword:

Hoare logics

Noun
form-of plural
Japanese Meaning
この語は『Hoare logic』(ホーア論理)の複数形です。つまり、ホーア論理を複数で表現する場合に用いられます。
What is this buttons?

研究者たちは、並行プログラムの検証に最も適したホーア論理の異なるバージョンを比較した。

intensional logics

Noun
form-of plural
Japanese Meaning
「intensional logic」の複数形。
What is this buttons?

研究者たちは、命題的態度の意味を最もよくとらえるものを特定するために、いくつかのインテンショナル論理体系を比較した。

intuitionistic logics

Noun
form-of plural
Japanese Meaning
直観主義論理の複数形、すなわち複数の直観主義論理体系を指す。
What is this buttons?

学部院生たちは論理のゼミに備えて、直観主義論理の諸体系を幅広く学んだ。

predicate logics

Noun
form-of plural
Japanese Meaning
述語論理の複数形
What is this buttons?

研究者たちは、自然言語の量化の意味論を最もよく表現する述語論理体系を特定するために、いくつかの述語論理体系を比較した。

classical logics

Noun
form-of plural
Japanese Meaning
古典論理の複数形、すなわち複数の古典論理体系を指す。
What is this buttons?

哲学の歴史において、異なる古典論理体系の間の議論が形式的推論の発展を形作った。

constructive logics

Noun
form-of plural
Japanese Meaning
この単語は「constructive logic」の複数形であり、活用形としては複数形を示しています。
What is this buttons?

ゼミでは、体系間で証明手法がどのように異なるかを理解するために、いくつかの異なる構成的論理体系を比較しました。

chop logics

Noun
form-of plural
Japanese Meaning
「chop logic」の複数形です。
What is this buttons?

そのソフトウェアのカットのルールが稀なエッジケースを考慮しておらず、予期しない結果を引き起こした。

modal logics

Noun
form-of plural
Japanese Meaning
「modal logic」(様相論理)の複数形、すなわち複数の modal logic を指します。
What is this buttons?

セミナーで、学生たちは時間的概念を最もよくモデル化できる様相論理の諸体系を比較した。

chop-logics

Noun
form-of plural
Japanese Meaning
「chop-logic」の複数形
What is this buttons?

研究者たちは、どのモデルがシェフの刻み動作を最もよく再現するかを調べるため、刻む動作に基づく複数の論理体系を比較した。

deontic logics

Noun
form-of plural
Japanese Meaning
「deontic logics」は「deontic logic」の複数形です。つまり、規範論理学に関する複数の論理体系を指します。
What is this buttons?

大学院生たちは、どの義務論的論理の体系が規範的推論を最もよく捉えるかを比較した。

loading!

Loading...

All Loaded

Error

Search by Web

Login / Sign up

 

Download the app!
DiQt

DiQt

Free

★★★★★★★★★★