| Veranstalter: |
Prof. Dr. Ralf Schindler, Zi. 804 (Sekretariat Frau Pfeifer, Zi. 811) |
| Zeit und Ort der Vorlesung: |
Montag und Donnerstag, 14-16 Uhr, M4 |
| Beginn: |
Die erste Vorlesung findet am 13.10. statt. |
| Belegnummern: |
Vorlesung: 104169, Übungen: 104173 |
| Inhalt: |
Die Vorlesung gibt eine Einführung in die Theorie der Berechenbarkeit. Ausgehend von Automaten- und Turingmaschinenmodellen studieren wir die Berechenbarkeit und Entscheidbarkeit mathematischer Probleme. Weiterhin wird eine Einführung sowohl in die Komplexitätstheorie als auch in die Rekursionstheorie geboten. |
| Literatur: |
Skript
|
| Übungen: |
Di 08:00 bis 10:00, wöchentlich, SR 8
Di 10:00 bis 12:00, wöchentlich, SR 8
Mi 10:00 bis 12:00, wöchentlich, SR 8
Mi 12:00 bis 14:00, wöchentlich, SR 8
|
| Klausur: |
Freitag, 6. Februar 2009 um 12:00 im Raum M1
|
| Wiederholungsklausur: |
Mittwoch, 8. April 2009 um 8:00 im Raum M1
|
