TAA - TSZMathematik (Mat) Für wie folgt farblich markierte Systemstellen gilt:nur in Duisburgnur in Essen TCK - TDCGrundlagen. Logik TCKFormale Logik und Grundlagen der Mathematik (Gesamtdarstellungen) TCLEinzelfragen der Logik (z.B. Aussagenkalkül, modale Logik, Beweistheorie, Berechenbarkeit, rekursive Funktionen, Modelltheorie) TCOAnwendung der formalen Logik TCSMengenlehre TCWKombinatorikKombinatorik. Diskrete Mathematik. Designtheorie TCXKategorienKategorien. Hier auch übergreifende Literatur für die Stellen TCX-TDB TCYStrukturtheorie allgemein TCZOrdnungsstrukturen. Verbände. Boolesche Algebra. Lattice theory. Fuzzy stes. Postalgebren TDBGraphentheorie. MatroideGraphentheorie TDCSonstige EinzelproblemeSonstige Einzelprobleme (hier auch Matroide, Transversaltheorie)
