Gesamthochschulbibliothekssystematik der Universitätsbibliothek Siegen (GHBS)

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. TER

Graphentheorie. Vierfarbenproblem. Hypergraphen. Mustererkennung

Zufallsgraphen (random graphs)