Please enable JavaScript.
Coggle requires JavaScript to display documents.
LGI Semester 1 (Mengen als Bausteine der Mathematik (16 & 17.01.2017) …
LGI Semester 1
Mengen als Bausteine der Mathematik (16 & 17.01.2017) :check:
Mengenbildung: Mengen aus Elementen (16.01.2017) :check:
Explizite Mengenbildung
Mengenbildung durch Aussage
Mengenbildung durch Term und Aussage
Mengenbildung: Mengen aus Mengen (16.01.2017) :check:
Teilmenge
Vereinigung, Durchschnitt, Komplement
Potenzmenge
Mengenbildung: Tupel (16.01.2017) :check:
Tupel
Gleichheit von Tupeln
Kartesisches Produkt
Prädikate als Mengen (16.01.2017) :check:
Relation
reflexiv, symmetrisch, transitiv
gerichteter Graph
irreflexiv, asymmetrisch, antisymmetrisch
Äquivalenzrelation und Ordnungen
Partition
Funktionen als Mengen (17.01.2017) :check:
Funktion
Rekursive Funktionsdefinition
Injektiv, surjektiv, bijektiv
Folgen
Matrix
Implizite Funktionsdefinition
Struktur in Mengen (17.01.2017) :check:
Induktion
Strukturelle Induktion
Binärbaum
Endliche und Undendliche Mengen (17.01.2017) :check:
endlich, unendlich, Kardinalität
gleich mächtig
abzählbar unendlich, überabzählbar
Logik als Sprache der Mathematik (15.01.2017) :check:
Aussagenlogik
Aussagen
Junktoren
Regeln
Bausteine der Prädikatenlogik
Terme
Atomare Aussagen
Syntaxbaum
Semantik von All- und Existenzaussagen
Modellieren und Argumentieren in der Prädikatenlogik (15.01.2017) :check:
Prädikatendefintion
Explizite Termdefinition
Quantoren