Ich muss mich entscheiden zwischen:
-Komplexitätstheorie
-Introduction into Model Checking
-Infinite Computations
Die haben alle jeweils hoffnungslose Überschneidungen mit meinen anderen Vorlesungen/Übungen.
Welche sind gut welche sind schlecht? Welche machen Spaß?