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.
Mathematische Grundlagen <strong>der</strong> <strong>Informatik</strong><br />
Prof. Dr. Erich Grädel<br />
Research Topics:<br />
• Mathematical Logic <strong>an</strong>d Foundations of Computer Science<br />
• Algorithmic Model Theory<br />
• Logic <strong>an</strong>d Games<br />
• Logic <strong>an</strong>d Complexity<br />
Lectures:<br />
• Algorithmic Model Theory<br />
• Mathematical Logic I <strong>an</strong>d II<br />
• Logic <strong>an</strong>d Games<br />
• Complexity Theory <strong>an</strong>d Qu<strong>an</strong>tum Computing<br />
More information:<br />
http://logic.rwth-aachen.de/