login
Registrieren
Login
Bibliothek
Das System
Kontakt
Formale Methoden
Halbordnungen und Fixpunkte
Liste
erweitert
Stapel lernen
drucken
Halbordnung
$\sqsubseteq$
Minimum einer Halbordnung
Minimum bzgl. $\sqsubseteq$
Kette
obere Schranke
kleinste obere Schranke
kettenvollständig
monoton
stetig
strikt
Fixpunkttheorem
Kommentare
Nur angemeldete Nutzer dürfen kommentieren.
Hier
geht's zur kostenlosen Registrierung.
FAQ
Kontakt
Impressum
Datenschutz
Nutzungsbedingungen
© 2015 - 2024 Philipp Schweers