Zum Inhalt springen

Kategorie:Mathematische Logik/Definitionen

Aus Wikiversity

< Kategorie:Mathematische Logik

Diese Kategorie ist eine mathematische Definitions-Kategorie.

Unterkategorien

Diese Kategorie enthält die folgenden 8 Unterkategorien (8 insgesamt):

A

Aussagenlogik/Definitionen‎ (3 K, 2 S)
Axiomatischer Aufbau der natürlichen Zahlen/Definitionen‎ (2 K)

B

Beweisbarkeitslogik/Definitionen‎ (2 S)

M

Modallogik/Definitionen‎ (2 K, 22 S)
Modelltheorie/Definitionen‎ (2 K)

P

Prädikatenlogik/Definitionen‎ (4 K)

T

Theorie der Berechenbarkeit/Definitionen‎ (2 K)
Theorie der Wörter über einem Alphabet/Definitionen‎ (1 S)

Seiten in der Kategorie „Mathematische Logik/Definitionen“

Folgende 4 Seiten sind in dieser Kategorie, von 4 insgesamt.

A

Theorie/Erster Stufe/Ableitbar/Axiomatisierbar/Entscheidbar/Definition

K

Prädikatenlogik/Korrektheit/Definition

M

Modus ponens/Schlussregel/Definition

S

Alphabet erster Stufe/Symbole für Relationen und Funktionen/Symbolalphabet/Definition

Abgerufen von „https://de.wikiversity.org/w/index.php?title=Kategorie:Mathematische_Logik/Definitionen&oldid=280011“