Anmelden
 
UB / Systematik /

Gesamthochschulbibliothekssystematik der Universitätsbibliothek Siegen (GHBS)

Suche
in der Systematik der UB
  • TCK-TDH
    Grundlagenforschung. 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. TER
  • Graphentheorie. Vierfarbenproblem. Hypergraphen. Mustererkennung
  • Zufallsgraphen (random graphs)