Berechenbarkeit

==> Algorithmus

<== Effektivität

<== Komplexität

<== Komplexität, kognitive

==> Lambda-Kalkül

<=> Churchsche These

<== Rekursionstheorie, Theorie rekursiver Funktionen

<=> Turing-Maschine

<== Programm

==> Gödelscher Satz

==> Kalkül

<== Lernen, maschinelles

<== Wissen und Wissensrepräsentation

<== Semantik

<== Formalisierung