CS 460 - Theoretische Informatik | |||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
12 113 11460 | CS 460 - Theoretische Informatik | ||||||||||||||||||||||||
Prof. Dr. R. Loogen | |||||||||||||||||||||||||
dienstags, 9:15-11:00 Uhr, HG 5 (Biegenstrasse) | |||||||||||||||||||||||||
mittwochs, 9:15-11:00 Uhr, HG 5 (Biegenstrasse) | |||||||||||||||||||||||||
Beginn: 17. April 2007 | |||||||||||||||||||||||||
Übungen: | mittwochs 14-16, HS II oder 16-18, SR I, donnerstags 14-16, SR I oder 16-18, SR I oder
freitags 14-16, SR III, jeweils Lahnberge Beginn: 2. Vorlesungswoche (25.- 27. April 2007) | ||||||||||||||||||||||||
Übungsgruppen:
Die Einteilung in Übungsgruppen wird durch Aushang in der zweiten Vorlesung bekanntgegeben. Forum zur theoretischen Informatik: Hier können Aufgaben, Fragen, Verständnisprobleme, Vorlesungsstoff und Tutoriumsbelange diskutiert werden. | |||||||||||||||||||||||||
Betreute Gruppenarbeit: | montags 16-18, SR III, Lahnberge Beginn: 23. 04. 2007 | ||||||||||||||||||||||||
Fachdidaktisches Begleitseminar: | für Studierende im (modularisierten) Lehramtsstudiengang Informatik Beginn: Do 14. Juni 2007, 18.00 Uhr, Hörsaal IV (Lahnberge) - Vorbesprechung: Do 3. Mai 2007, 13.30 - 14.15 Uhr, SR V (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 |
Scheinkriterien: | Unbenoteter Leistungsnachweis:
Achtung: Unbenotete Leistungsnachweise aus Vorjahren werden nicht anerkannt! |
Übungsablauf: |
|
Termine: | 1. Leistungskontrolle: Dienstag , 22. Mai 2007, 9.15 - 9.30 Uhr 2. Leistungskontrolle: Dienstag , 19. Juni 2007, 9.15 - 9.30 Uhr Klausur: Achtung, neuer Termin: Mittwoch, 25. Juli 2007, 9 - 12 Uhr, Hörsaal A, Hörsaalgebäude der Chemie, Lahnberge |
Übungsblätter: | Blatt 1, Abgabe: 24.04.2007 |
Blatt 2, Abgabe: 02.05.2007 (mittwochs wegen Feiertag am 1. Mai) | |
Blatt 3, Abgabe: 08.05.2007 | |
Blatt 4, Abgabe: 15.05.2007 | |
Blatt 5, Abgabe: 22.05.2007 | |
Blatt 6, Abgabe: 29.05.2007 | |
Blatt 7, Abgabe: 05.06.2007 | |
Blatt 8, Abgabe: 12.06.2007 | |
Blatt 9, Abgabe: 19.06.2007 | |
Blatt 10, Abgabe: 26.06.2007 | |
Blatt 11, Abgabe: 03.07.2007 | |
Blatt 12, Abgabe: 10.07.2007, letztes Blatt in der Wertung | |
Blatt 13, Abgabe: 17.07.2007, Zusatzblatt | |
Zum Üben: Klausuren aus den Jahren 2003 und 2005 |
Literatur: |
|
Links: | Visual Automata Simulator (VAS) |
Programme zur Theoretischen Informatik (Übersichtsseite der Univ. Mainz) | |
Fleißige Biber |
Inhalt: |
|