Benutzer:Marco.Bakera/Uni

Weisheiten zu Fuzzy-Logik

• Fuzzylogik, Serie 2
• Fuzzylogik, Serie 3

Modelchecking

• Wandlung von CTL Formeln in Mu-Kalkül Formeln
• Semantik des Mu-Kalküls

Betriebssysteme & Graphische Systeme

Fuer meine Pruefung am 21.07.2005 folgt hier eine kleine Zusammenstellung der Themen:

• Pruefungsthemen Betriebssysteme
• Pruefungsthemen Graphische Systeme

---

Eine kleine Sandbox

• Sandbox