Kategorie:Mathematische Logik
aus Wikipedia, der freien Enzyklopädie
Dies ist die aktuelle Version dieser Seite, zuletzt bearbeitet am 1. April 2013 um 21:00 Uhr durch imported>KLBot2(1209855) (Bot: 46 Interwiki-Link(s) nach Wikidata (d:Q7020589) migriert).
Kategoriewartung
Bei Fragen oder Problemen mit dieser Kategorie oder den Artikeln darin kannst du dich an das folgende Portal oder die folgende Redaktion wenden:
Portal:Mathematik | Diskussion |
Commons: Mathematical logic – Sammlung von Bildern, Videos und Audiodateien
Unterkategorien
Es werden 10 von insgesamt 10 Unterkategorien in dieser Kategorie angezeigt:
In Klammern die Anzahl der enthaltenen Kategorien (K), Seiten (S), Dateien (D)
A
- Aussagenlogik (23 S)
B
F
- Fuzzylogik (16 S)
M
- Modelltheorie (35 S)
P
- Prädikatenlogik (10 S)
S
- Schaltalgebra (12 S)
T
- Temporale Logik (3 S)
- Typentheorie (5 S)
Einträge in der Kategorie „Mathematische Logik“
Folgende 148 Einträge sind in dieser Kategorie, von 148 insgesamt.
3
A
B
C
D
E
F
G
H
I
K
- Kanonische Normalform
- Karnaugh-Veitch-Diagramm
- Klassenlogik
- Koinzidenzlemma
- Kombinatorische Logik
- Kompaktheit (Logik)
- Deskriptive Komplexitätstheorie
- Konjunktionsterm
- Konjunktive Normalform
- Konstante (Logik)
- Konstantenexpansion
- Konstruierbarkeitsaxiom
- Konversion (Logik)
- Kreative und produktive Mengen
L
M
P
R
S
- Satz von Büchi
- Satz von Church-Rosser
- Satz von Diaconescu-Goodman-Myhill
- Satz von Fraïssé
- Satz von Friedberg und Muchnik
- Satz von Gaifman
- Satz von Henkin
- Satz von Herbrand
- Satz von Lindenbaum
- Satz von Löb
- Satz von Tennenbaum
- Schnittregel
- Schwache Negation
- Semi-Thue-System
- Sequenzenkalkül
- Shannon-Zerlegung
- Signatur (Modelltheorie)
- Situationskalkül
- Stratifikation (Logik)
- Strukturelle Induktion