Ausschreibung

Bachelor-/Masterarbeiten

 
Am Institut für Wissenbasierte Mathematische Systeme wird die Betreuung von Bachelorarbeiten (Studiengang Technische Mathematik) bzw. Masterarbeiten (Studiengang Computermathematik) angeboten.
 
Die Bearbeitung einer Fragestellung ist in folgenden Bereichen möglich:
 

1. Logiken für qualitatives Schließen
    
2. Orthomodularität und die Produktzerlegung mathematischer Strukturen
    
3. Automorphismen boolescher Algebren

Im Falle Ihres Interesses an einer der Themenstellungen wenden Sie sich bitte an Dr. Th. Vetterlein (Thomas.Vetterlein@jku.at).