UB / Systematik /
Gesamthochschulbibliothekssystematik der Universitätsbibliothek Siegen (GHBS)
Suche
- TCK-TDHGrundlagenforschung. Mathematische Logik
Formale Logik und Grundlagen der Mathematik: Gesamtgebiet
Einzelfragen der Logik (Aussagenkalkül, modale Logik, Beweistheorie, Berechenbarkeit, rekursive Funktionen, Modelltheorie, ...)
Mathematische Semiotik
Anwendungen (Nichtstandard-Algebra, -Analysis, -Topologie, -Stochastik, ...)
Methoden der Mathematik (Beweisverfahren, vollständige Induktion, ...). Strategien. Lösen mathematischer Probleme
Mengenlehre (set theory)
Fuzzy-Logik. Fuzzy-Mathematik. Fuzzy-Control. Unscharfe Logik
Unscharfe Mengen (fuzzy sets)
Fuzzy-Optimierung
Fuzzy-Statistik
Kombinatorik. Combinatorial analysis. Combinatorial geometry. Kombinatorische Designtheorie. Matroide
Kategorien
Strukturtheorie allgemein
Ordnungsstrukturen. Verbände. Boolesche Algebren. Funktionen- und Relationen-Algebren
Geordnete Gruppen s. TERGraphentheorie. Vierfarbenproblem. Hypergraphen. Mustererkennung
Zufallsgraphen (random graphs)