「計算可能性理論」はドイツ語で？言い方・例文一覧

例文

Die Berechenbarkeitstheorie untersucht, welche Probleme ein Algorithmus lösen kann.

計算可能性理論は、アルゴリズムでどの問題を解けるかを研究する。

コアイメージ

問題を手順化して計算できるかどうかを見きわめる理論

ドイツ語での定義

Teilgebiet der theoretischen Informatik, das untersucht, welche Probleme durch Algorithmen grundsätzlich lösbar sind und welche nicht.

語源

Berechenbarkeitstheorieは、Berechenbarkeit（計算で解ける性質）とTheorie（理論）から成る複合語で、計算で解ける問題の理論を表す。

コラム

Berechenbarkeitstheorieは、問題を解けるかどうかを扱い、解く速さや必要な資源を主に扱うKomplexitätstheorieとは役割が異なる。