Inhalt des Dokuments
zur Navigation
Inhalt
- Pflichtveranstaltung im Grundstudium Informatik (2 SWS Vorlesung, 2 SWS Tutorium)
- Lehrveranstaltungsnummer: 0401 L 145.
- Prüfungsrelevante Studienleistungen: Schriftliche Ausarbeitungen, Abschlussprüfung.
Orte und Zeiten
- Vorlesung: Dienstags 8.30 - 10.00 Uhr (Beginn 25.10.), Raum HE 101.
- Tutorien: Es finden jede Woche Tutorien statt (Montag bis Freitag). Ihr müsst ein Tutorium besuchen. Anmelden könnt Ihr Euch unter www.moses.tu-berlin.de/Konto. Eine Übersicht über Zeiten und Räume gibt es hier.
- Eine Anmeldung zu den Tutorien ist auch für Nachzügler zwingend erforderlich!
Special note: One class (Johannes Borgström) on Wednesday 12-14 will be held in English. This class addresses both foreigners who feel more comfortable with English and Germans who would like to improve their English. - Fachmentorium - neue Zeit: Freitags, 12-14 Uhr, Raum MA 545. Das Fachmentorium richtet sich insbesondere, aber nicht ausschließlich, an ausländische Studierende.
- Mündliche Prüfungsgespräche: 13.2. und 14.2.2006. Die Prüfungsgespräche finden in den Räumen FR 6507, FR 6508 und FR 6022 statt. Ihr müsst bereits eine halbe Stunde vor Prüfungsbeginn mit Eurer jeweiligen Gruppe an der Vorbereitung teilnehmen, die im FR 6515 stattfindet. Die Prüfungstermine gab es hier.
- Der Nachprüfungstermin findet am 19. Juli 2006 statt. Anmeldungen zur Terminvergabe bitte im Sekretariat FR 6021.
Veranstalter
- Prof. Dr. Uwe Nestmann
- Arfst Nickelsen, nicke@cs.tu-berlin.de
- Johannes Borgström
- Frank Hermann
- Sekretariat Margit Russ
- Tutorinnen und Tutoren
- Fachmentorin: Silvia Varadinova aldiano@cs.tu-berlin.de
Inhaltsübersicht
Formale Grammatiken und Automaten, Erzeugen und Akzeptieren formaler Sprachen, Nichtdeterminismus, Turingmaschinen, Halteproblem, Komplexität, P-NP-Problem.
Tutorien
Im Tutorium arbeitet Ihr Euch in einer Gruppe von ca. 20 Personen in das jeweilige Thema ein, löst Aufgaben, diskutiert Probleme; genauer macht Ihr das mit den Tutoren aus. Es gibt ein zusätzliches Fachmentorium, vor allem für ausländische Studierende, die Probleme mit der Sprache und der ungewohnten Arbeitsweise haben. Dozenten, WMs und Tutoren bieten alle Sprechstunden an, in denen ihr Probleme auch nochmal einzeln diskutieren könnt. Dort oder nach der Vorlesung könnt Ihr alles fragen, was Ihr Euch in der Vorlesung nicht zu fragen traut.
Arbeitsgruppen
Die Basis Eurer Arbeit bildet eine Arbeitsgruppe von zwei oder drei Studenten, die Ihr Euch in der Einführungswoche oder im 1. Tutorium sucht. Ihr bearbeitet die Projektaufgaben als Arbeitsgruppe. Wie gut und gleichermaßen beteiligt Ihr in der Gruppe zusammenarbeitet, kann entscheidend für Euer Studium sein - besonders, wenn sie für mehrere Lehrveranstaltungen besteht. Redet deswegen über Probleme in der Gruppe (Terminschwierigkeiten Krankheit, Mitläufer, Aussteiger) mit Euren Tutoren oder den Assistenten.
Skript
Das Skript ist zum Selbststudium gedacht, es enthält viele Beispiele, Aufgaben und Beweise, an denen Ihr im Tutorium und zu Hause arbeiten könnt.
- Ihr solltet Euch das aktuelle Skript herunterladen und ausdrucken oder von jemand anderem fotokopieren.
- Das Skript als PDF.
- Das Skript als Postscript.
- Das Skript als Postscript mit zwei Seiten pro Seite.
- Zusätzlich gibt es den größten Teil der Vorlesungsfolien im praktischen "6on1" Format als PDF. (An dieser Stelle vielen Dank an die Vorgängerin, Frau Prof. Dr. Gabriele Taentzer, für die Bereitstellung ihrer Folien.
Datum | Thema | Link |
---|---|---|
2005-10-19 | Einführung | (Handzettel) |
2005-10-25 | Reguläre Sprachen und Grammatiken | (Handzettel) |
2005-11-01 | Endliche deterministische Automaten | (Handzettel) |
2005-11-08 | Nichtdeterministische Automaten | (Handzettel) |
2005-11-15 | Endliche Automaten und Reguläre Sprachen | (Handzettel) |
2005-11-22 | Kontextfreie Grammatiken und Sprachen | (kein Handzettel, da kein Projektor benutzt) |
2005-11-29 | Deterministische Turing-Maschinen | (Handzettel) |
2005-12-06 | Nichtdeterministische Turing-Maschinen | (Handzettel) |
2005-12-13 | Allgemeine Grammatiken und akzeptierbare Sprachen | (Handzettel) |
2006-01-03 | Berechenbarkeit, Diagonalisierung, Selbstanwendung | (Handzettel) |
2006-01-10 | Akzeptierbare und entscheidbare Sprachen | (Handzettel) |
2006-01-17 | Unentscheidbarkeit | (Handzettel) |
2006-01-24 | Rechenaufwand von Turingmaschinen | (Handzettel) |
2006-01-31 | Komplexitätsklassen | (Handzettel) |
2006-02-07 | Rückblick und Ausblick | (Handzettel) |
2006-02-14 | (entfällt wegen Prüfungsgesprächen) |
Projektaufgaben
Beim Lernen verändert man sich, verändern kann man nur durch Tun; also kann man nur durch Tun lernen. Deshalb ist das selbstständige Lösen der Projektaufgaben, von denen es sieben Stück gibt, für Euren Lernerfolg am wichtigsten.
Es wird sieben Aufgabenblätter geben, die hier (als pdf-Datei) veröffentlicht werden.
- 1. Projektaufgabe Reguläre Grammatiken; Konkatenation Abgabe: 8. -11. November
Da in Teil 3 eine reguläre Grammatik konstruiert werden soll, aber der Zusatz "regulär" im Text fehlt, gibt es hier nochmal die 1. Projektaufgabe in verbesserter Formulierung:
1. Projektaufgabe; verbesserte Formulierung - 2. Projektaufgabe Endliche Automaten; Wörter umdrehen Abgabe: 22. -25. November
- 3. Projektaufgabe Kontextfreie Grammatiken; HTML Abgabe: 29. November -2. Dezember
- 4. Projektaufgabe Kellermaschine, kontextfreie Sprache Abgabe: 13 -16. Dezember
- 5. Projektaufgabe Entscheidbarkeit; Verkettung Abgabe: 17. -20. Januar
- 6. Projektaufgabe Variante des Halteproblems Abgabe: 24. -27. Januar
- 7. Projektaufgabe COMPOSITE in NP Abgabe: 31.Januar -3. Februar
Prüfungsbedingungen
Ihr meldet Euch beim Prüfungsamt im Hauptgebäude einmal für alle Prüfungen und prüfungsrelevanten Studienleistungen (PS) des Grundstudiums an. Dabei erhaltet Ihr einen Laufzettel, mit dem Ihr Euch in den einzelnen Lehrveranstaltungen anmeldet und in den die Ergebnisse eingetragen werden. In TheGI~1 gibt es keine Klausur; die PS werden in zwei Teilen erbracht, den Projektaufgaben während des Semesters und dem Prüfungsgespräch. Ihr meldet Euch in Euren Tutorien an, vor der Weihnachtspause. Dazu bringt Ihr den Laufzettel mit und unterschreibt in der Tutoriumsliste. Bei Erkrankung gebt Ihr uns Bescheid und reicht innerhalb von fünf Tagen nach dem Prüfungstag ein ärztliches Attest nach; das Prüfungsgespräch kann dann einzeln nachgeholt werden, die Projektaufgaben in der Regel nicht. Wer nur einen Teil der PS erbringt, braucht nur den fehlenden im nächsten Winter zu wiederholen.
Kooperatives Arbeiten
Ihr müßt die Mängel einer Massenuniversität durch selbständigere Arbeit ausgleichen. In Vorlesung und Tutorien wird Euch nicht der Stoff eingetrichtert, sondern Eure eigene Arbeit unterstützt. Ihr müßt also das Skript rechtzeitig lesen und dann mit Fragen kommen. Ihr müßt die Übungsaufgaben wechselseitig korrigieren. Ihr müßt Euch gegenseitig unterstützen, statt Euch auszustechen. Dann kann es ein schönes Semester werden.