Vorlesung "Einführung in die Theoretische Informatik"
| LV-Leiter: | O.Univ.-Prof. Dr. Patrick Horster |
| Termin: |
Di 12:00-14:00, HS C |
| Ablauf: | LV-Modalitäten |
| Zusatztermine: | Do, 07.10.2010 17:30 19:30 HS C |
| Do, 14.10.2010 18:00 20:00 HS C | |
| Do, 21.10.2010 16:00 18:00 HS 4 | |
| Mi, 13.10.2010 von 12:00 - 14:00 im E.2.42 (Tutorium, keine Anwesenheitspflicht) | |
| Mi, 21.10.2010 von 12:00 - 14:00 im E.2.37 (Tutorium, keine Anwesenheitspflicht) | |
| Fr, 05.11.2010 von 09:00 - 11:00 im E.2.42 (Tutorium, keine Anwesenheitspflicht) | |
| Do, 11.11.2010 von 10:00 - 12:00 im E.2.42 (Tutorium, keine Anwesenheitspflicht) | |
| Do, 25.11.2010 von 12:00 - 14:00 im E.1.05 (Tutorium, keine Anwesenheitspflicht) | |
| Mi, 19.01.2011 von 12:00 - 14:00 im E.2.37 (Tutorium, keine Anwesenheitspflicht) | |
| Musterklausur A (2006), Musterklausur B (2006) | |
| Zwischenklausur Muster, Endklausur Muster | |
| Zugangscodes werden in der 1. VO-Einheit bekannt gegeben. |
| Kapitel | Ausgabe | Update | Folien |
| Organisatorisches | 27.09.2010 | --.--.---- |
|
| Literaturliste | 27.09.2010 | --.--.---- |
|
| Mathematische Grundlagen | 27.09.2010 | --.--.---- |
|
| 0 Motivation und Präliminarien | 27.09.2010 | --.--.---- |
|
| 1 Registermaschinen | 27.09.2010 | --.--.---- |
|
| 2 Turingmaschinen 1 | 08.10.2010 | --.--.---- |
|
| 3 Register- und Turingmaschinen | 08.10.2010 | --.--.---- |
|
| 4 Endliche Automaten | 08.10.2010 | 11.11.2010 |
|
| 5 Kontextfreie Sprachen | 08.11.2010 | 15.11.2010 |
|
| 6 Turingmaschinen 2 | 26.11.2010 | --.--.---- |
|
| 7 Die These von Church | 13.12.2010 | 04.01.2011 |
|
| 8 Unberechenbarkeit | 10.10.2011 | --.--.---- |
|
Praktikum "Einführung in die Theoretische Informatik"
| LV-Leiter |
DDI Dr. Stefan Rass (SR) DI Raphael Wigoutschnigg (RW) Dr. Peter Antonitsch (PA) |
| Termine: |
621.501 (SR): Mo 12:00-14:00, HS 5 (Vorbesprechung am 04.10.2010) 621.502 (RW): Di 10:00-12:00, M.0.22 (Vorbesprechung am 05.10.2010) 621.509 (PA): Di 18:00-20:00, E.2.69 (Vorbesprechung am 05.10.2010) |
| Ablauf: | LV-Modalitäten |
| Ausweichtermine: | 621.502 (RW): Fr 29.10.2010 14:00-16:00, E.1.42 |
| Übungsblatt | Ausgabe | Übungstermin (SR / RW / PA) | Angabe |
| 1. Übungsblatt | 27.09.2010 | 04./05./12.10.2010 |
|
| 2. Übungsblatt | 04.10.2010 | 11./12./12.10.2010 |
|
| 3. Übungsblatt | 11.10.2010 | 18./19./27.10.2010 |
|
| 4. Übungsblatt | 18.10.2010 | 25./29./27.10.2010 |
|
| 5. Übungsblatt | 25.10.2010 | 08./09./16.11.2010 |
|
| 6. Übungsblatt | 09.11.2010 | 15./16./16.11.2010 |
|
| Fragestunde | 22./23./16.11.2010 | --- | |
| 7. Übungsblatt | 22.11.2010 | 29.11./30.11./07.12.2010 |
|
| 8. Übungsblatt | 30.11.2010 | 06./07./07.12.2010 |
|
| 9. Übungsblatt | 06.12.2010 | 13.12./14.12.2010/11.01.2011 |
|
| 10. Übungsblatt | 15.12.2010 | 10./11./11.01.2011 |
|
| 11. Übungsblatt | 11.01.2011 | 17./18./18.01.2011 |
|
| Fragestunde | 24./25./18.01.2011 | --- |