| 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 12.10. statt. |
| Belegnummern: |
Vorlesung: 104840, Übungen: 104869 |
| 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 14:00 bis 16:00, wöchentlich, SR 8
Di 16:00 bis 18:00, wöchentlich, SR 8
Mi 14:00 bis 16:00, wöchentlich, SR 8
Mi 16:00 bis 18:00, wöchentlich, SR 8
|
| Klausur: |
Dienstag, 9. Februar 2010 um 08:00 in den Räumen M1 und M2
|
| Wiederholungsklausur: |
Freitag, 9. April 2010 um 8:00 im Raum M1
|
