Mathematische Logik/Gemischte Definitionsabfrage/16/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Definiere die folgenden (kursiv gedruckten) Begriffe.

  1. Die rekursive Definition für die Ausdrücke in einer Sprache erster Stufe.
  2. Ein Ideal in einem kommutativen Ring .
  3. Die Variablensubstitution für einen -Ausdruck , wobei Variablen und fixierte -Terme seien.
  4. Die Ableitbarkeit eines Ausdrucks im prädikatenlogischen Kalkül.
  5. Die Arithmetische Repräsentierbarkeit einer Abbildung
  6. Eine (formale) Modallogik.
Zur Lösung, Alternative Lösung erstellen