login
Registrieren
Login
Bibliothek
Das System
Kontakt
Formale Methoden der Informatik
2. Mathematisches Propädeutikum
Liste
erweitert
Stapel lernen
drucken
Relation
Darstellung von Relationen
Duale Relation
Komposition
Reflexivität
Symmetrie
Transitivität
Kettenbedingung
Totalität & Eindeutigkeit
Funktionen
Quelle, Ziel, Bild, Urbild
Partielle Funktionen
Komposition
Summe & Produkt
Totalisieren einer partiellen Funktion
Injektivität,Surjektivität, Transitivität
Spezielle Funktionen
Kürzbarkeit
Invertierbarkeit
Kürzbarkeit & Invertierbarkeit
Inverse (Umkehrfunktion)
Lambda-Notation
Regeln der Lambda-Notation
Auswertung, Abstraktion & Konkretisierung
Äquivalenzrelation
Äquivalenzklassen& Quotient
Partitionen von Mengen
Zusammenhang von Äquivalenz & Partition
Kanonische Faktorisierung
Ordnungsrelation
Dualität bei Ordnungsrelationen
Hasse-Diagramm
Spezielle Elemente einer Ordnung
Strikte & Nichtstrikte Ordnungen
Zusammenhang zwischen strikten und nichtstrikten Ordnungen
Quasiordnung
Zweck einer Quasiordnung
Eigenschaften einer Quasiordnung
Wohlfundiertheit
Reduktionsbereich
Noethersch & Wohlfundiert
Wohlfundiert & Antisymmetrisch
Kommentare
Nur angemeldete Nutzer dürfen kommentieren.
Hier
geht's zur kostenlosen Registrierung.
FAQ
Kontakt
Impressum
Datenschutz
Nutzungsbedingungen
© 2015 - 2024 Philipp Schweers