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 />
(Ü2 Algorithmic Model Theory (V4,<br />
Lecture: Start 13.10. 11 Tutorial: Start 19.10.11<br />
Mon 10:00 – 11:30, AH II Wed 15:00 – 16:30, AH I<br />
Thu 10:00 – 11:30, AH V<br />
Content:<br />
• Logical definability <strong>an</strong>d computational complexity<br />
• Decidable <strong>an</strong>d undecidable theories<br />
• Finite model theory<br />
• Infinite structures with finite presentation<br />
• Fixed-point logics<br />
More Information:<br />
http://logic.rwth-aachen.de/Teaching/