TCK-TDH Grundlagenforschung. Mathematische Logik
TCK Formale Logik und Grundlagen der Mathematik: Gesamtgebiet
TCL Einzelfragen der Logik (Aussagenkalkül, modale Logik, Beweistheorie, Berechenbarkeit, rekursive Funktionen, Modelltheorie, ...)
TCM Mathematische Semiotik
TCO Anwendungen (Nichtstandard-Algebra, -Analysis, -Topologie, -Stochastik, ...)
TCQ Methoden der Mathematik (Beweisverfahren, vollständige Induktion, ...). Strategien. Lösen mathematischer Probleme
TCS Mengenlehre (set theory)
TCU Fuzzy-Logik. Fuzzy-Mathematik. Fuzzy-Control. Unscharfe Logik
TCUM Unscharfe Mengen (fuzzy sets)
TCUO Fuzzy-Optimierung
TCUS Fuzzy-Statistik
TCW Kombinatorik. Combinatorial analysis. Combinatorial geometry. Kombinatorische Designtheorie. Matroide
TCX Kategorien
TCY Strukturtheorie allgemein
TCZ Ordnungsstrukturen. Verbände. Boolesche Algebren. Funktionen- und Relationen-Algebren
  Geordnete Gruppen s. TER
TDB Graphentheorie. Vierfarbenproblem. Hypergraphen. Mustererkennung
TDBM Zufallsgraphen (random graphs)

© UB Siegen / Dr. A. vom Heede (2011-07-06 Simone Niederfranke)