再帰理論
意味
- 女性名詞 再帰理論
例文
コアイメージ
計算の仕組みをどこまで手順に置き換えられるか、その境界を探る視点
ドイツ語での定義
Teilgebiet der mathematischen Logik und theoretischen Informatik, das untersucht, welche Funktionen durch Algorithmen berechenbar sind und welche Probleme unentscheidbar bleiben.
語源
Rekursionstheorieは、Rekursion（自分自身への参照）とTheorie（理論）からなる複合語で、計算の限界を研究する理論を表す語
コラム
- 停止問題（Halteproblem）は、プログラムが停止するかを万能な手順で判定できないことを示す代表例で、Rekursionstheorieと強く結び付く
おすすめの単語帳
1 / 1