Mathematische Logik/Gemischte Definitionsabfrage/19/Aufgabe

Aus Wikiversity
Wechseln zu: Navigation, Suche

Definiere die folgenden (kursiv gedruckten) Begriffe.

  1. Ein maximales Element in einer geordneten Menge .
  2. Die Termsubstitution für -Terme (dabei sei ein Symbolalphabet einer Sprache erster Stufe, paarweise verschiedene Variablen und fixierte -Terme).
  3. Der Rang eines prädikatenlogischen Ausdrucks .
  4. Die elementare Äquivalenz von zwei -Strukturen und über einem erststufigen Symbolalphabet .
  5. Eine -berechenbare Funktion
  6. Die -Funktion .
Zur Lösung, Alternative Lösung erstellen