| 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) |