| CS 460 - Theoretische Informatik | ||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| VL + UE 12 113 11460 | CS 460 - Theoretische Informatik | |||||||||||||||||||||||||
| Prof. Dr. R. Loogen | ||||||||||||||||||||||||||
| dienstags, 8:15-10:00 Uhr, HG 4 (Biegenstraße) | ||||||||||||||||||||||||||
| mittwochs, 8:15-10:00 Uhr, HG 4 (Biegenstraße) | ||||||||||||||||||||||||||
| Beginn: 12. April 2011
Die Vorlesung am Mittwoch, dem 13. Juli 2011 entfällt. |
||||||||||||||||||||||||||
| Übungen: | Dipl.-Inform. Mischa Dieterle | |||||||||||||||||||||||||
Übungsgruppen:
Beginn: 2. Vorlesungswoche (ab 20. April 2009) In der ersten Vorlesung erfolgt die Anmeldung zu den Übungen. Die Einteilung in Übungsgruppen wird durch Aushang in der zweiten Vorlesung bekanntgegeben. | ||||||||||||||||||||||||||
| Betreute Gruppenarbeit: | donnerstags ab 16 Uhr, HS II, Lahnberge, freiwillige Teilnahme Beginn: 14. 04. 2011 (1. Vorlesungswoche) |
|||||||||||||||||||||||||
| Fachdidaktisches Begleitseminar: | für Studierende im (modularisierten) Lehramtsstudiengang Informatik 1. Termin: 6. Juli 2011, 18.00 Uhr, SR VII, Ebene D5, Lahnberge 2. Termin: 21. Juli 2011, 9.00 Uhr, SR VII, Ebene D5, Lahnberge | |||||||||||||||||||||||||
|
||||||||||||||||||||||||||
| Voraussetzungen: | Mathematische Grundkenntnisse, wie sie etwa in der Vorlesung Mathematik I vermittelt werden |
| Querverbindungen: | Theoretische Informatik, Software- und Systementwurf, Compilerbau, Effiziente Algorithmen |
| Modulprüfung: | Zulassungsvoraussetzungen für die Modulprüfung:
Studierende in den Lehramtsstudiengängen und in den Bachelorstudiengägen des Fachbereichs (StPO 2010) müssen sich über das LSF/QIS-Portal zur Modulprüfung anmelden. Alle anderen Studierenden melden sich bitte in den Vorlesungen oder in den Übungen der Woche vom 9. Juni bis zum 17. Juni per Liste an. Bei Nichtbestehen der Klausur sind Sie automatisch zur Wiederholungsklausur angemeldet. Termin der Modulprüfung: Klausur am 12. Juli 2011 |
| Übungsablauf: |
|
| Termine: | Freiwilliger Zwischentest: 25. Mai 2011 zu Beginn der Vorlesung
Sondertutorium: Freitag, 8. Juli 2011, 16.00 Uhr (s.t.), HS I (Ebene A3, Lahnberge) Klausur: Dienstag, 12. Juli 2011, 7.30 (!) - 10.00 Uhr, HG 5 (Biegenstraße) Bitte bringen Sie Ihren Studierendenausweis und den Personalausweis mit! Klausurergebnis: Von 53 Teilnehmern haben 20 bestanden. Der nach der Klausureinsicht aktualisierte Aushang ist nur von Fachbereichsrechnern zugänglich. Klausureinsicht: Donnerstag, 14. Juli 2011, 12.15 - 14.00 Uhr, Seminarraum V, Lahnberge Diejenigen, die ihre Klausur am 14. Juli eingesehen haben, können ihre Klausur ab dem 15. August im Informatik-Sekretariat auf Ebene D5 abholen. Nach der Wiederholungsklausur wird es einen weiteren Einsichttermin geben, bei dem auch Einsicht in die Klausur vom 12. Juli genommen werden kann. Wiederholungsklausur: Mittwoch, 12. Oktober 2011, 10.00 - 12.00 Uhr, HS B, Hörsaalgebäude der Chemie, Lahnberge Klausurergebnis: Von 32 Teilnehmern haben 4 bestanden. Der Aushang ist nur von Fachbereichsrechnern zugänglich. Klausureinsicht: Dienstag, 18. Oktober 2011, 18.00 - 18.30 Uhr, Seminarraum V, Lahnberge |
| Übungsblätter: |
|
| Literatur: |
|
| Skript: | Ein Skript kann im Informatik-Sekretariat auf D5 (Lahnberge) erworben werden. |
| Links: | Visual Automata Simulator (VAS) |
| Programme zur Theoretischen Informatik (Übersichtsseite der Univ. Mainz) | |
| Fleißige Biber |
| Inhalt: |
|