V3 Ã2, 6 ECTS - Fachgruppe Informatik an der RWTH Aachen
V3 Ã2, 6 ECTS - Fachgruppe Informatik an der RWTH Aachen
V3 Ã2, 6 ECTS - Fachgruppe Informatik an der RWTH Aachen
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Lehrstuhl <strong>Informatik</strong> 7<br />
Logik und Theorie diskreter Systeme<br />
Prof. Dr. Wolfg<strong>an</strong>g Thomas<br />
Infinite Computations (W. Thomas)<br />
<strong>V3</strong> + Ü2<br />
Start: Wednesday, 19.10.2011 at 08:15 h<br />
for Bachelor, Master, Diploma<br />
Content: Automata over infinite words<br />
• Beautiful theory<br />
• Applications in decision problems from logic<br />
• Powerful basis of program verification