Formale Gundlagen der Informatik (F2)
Automaten und formale Sprachen
2st. Di 10 - 12 Phil A
Diese Seite enthält Material und Informationen zur Vorlesung im Sommersemester 2005
Neu:
- Alle Aufgaben, Musterlösungen stehen als PDF (.pdf) oder Postscript-Datei (.ps) zur Verfügung und sind zudem als ZIP (.zip) komprimiert!
- Das Skript und die Folien werden unkomprimiert als PDF-Datei, sowie komprimiert mit ZIP (.zip) und GNU Zip (.gz) zur Verfügung gestellt.
- Noch nicht zur Verfügung stehende Einträge (Links) werden erst zur Verfügung gestellt!
Offizielle Angaben aus dem Kommentierten Vorlesungsverzeichnis
Skript
- Das Skript liegt in gedruckter Form im Gebäude C, Flur erster Stock, auf dem Tisch vor den Toiletten aus.
- Alternativ ist es über das TGI-Sekretariat (C-218) erhältlich.
- Eine Online-Version (PDF) steht hier (s.u.) auch zur Verfügung, sie ist nur über das in der Vorlesung bekanntgegebene Passwort zum Herunterladen erreichbar und darf auf den Druckern im Informatikum ausgedruckt werden!
- Die Dateien sind mit gzip komprimiert.
- Skript (komplett) PDF-Version (PDF 2,5 MB) (PDF.gz 2,0 MB) (PDF.zip 2,0 MB)
Folien
Aufgaben
Dies sind zwei Klausuraufgaben aus früheren Semestern,
die Ihnen einen Eindruck von Art und Schwierigkeit vermitteln können:
F1-Aufgabe und eine F2-Aufgabe
--------------------------------------------------------------------------------------------------------------------------
Scheinkriterien
- Schriftliche Lösungen zu den Aufgaben sind wöchentlich durch
Mail oder Einwurf im Kasten in Raum C-209 bis spätestens Montag 18 Uhr,
und auf jeden Fall vor der Besprechung in den Übungsgruppen am Mittwoch abzugegeben!
- Die Seiten mit den Lösungen zu einem Aufgabenzettel müssen zusammengeheftet sein UND
in Druckschrift den bzw. die Namen der Bearbeiter(innen) enthalten (vergl. Arbeitsgruppen, s.u.).
Die Lösungen werden von den Übungsgruppenleitern korrigiert und mit Punkten bewertet.
- Die je Aufgabenzettel erreichbare Punktzahl kann leicht variieren.
Für das gesamte Semester ist die erreichbare Punktzahl jedoch 160.
- In einer Auswahl von der 10 der abgegebenen Lösungszettel müssen auf jedem einzelnen mindestens 30%
und in der Summe aller abgegebenen Lösungszettel mindestens 50% der insgesamt erzielbaren Punkte
für die Bescheinigung einer erfolgreichen Teilnahme erreicht werden!
- Eine nur knappe Unterschreitung kann durch Rücksprache mit dem Veranstalter der Vorlesung eventuell ausgeglichen werden.
- Es wird eine regelmäßige Teilnahme erwartet (bei mehr als zweimaligem Fehlen wird eine schriftliiche Begründung, z.B. Attest eines Arztes, benötigt).
Es ist also nicht ausreichend, nur solange an den Übungsgruppenterminen zu erscheinen,
bis voraussichtlich die Hälfte der erzielbaren Punktzahl erzielt worden ist!
- Die aktive Teilnahme an den Übungen soll durch rege mündliche Beteiligung gezeigt werden.
Um dies zu erleichtern, enthält jeder Aufgabenzettel eine einfache Präsenzaufgabe,
deren Lösung von jeder Teilnehmerin und jedem Teilnehmer mündlich oder durch Vorrechnen an der Tafel in der Übungsgruppe erwartet wird.
(Es ist empfehlenswert, schon vorher darüber nachzudenken und die Antwort mit geringem Einsatz vorzubereiten.)
- Auch das Vorrechnen von Übungsaufgaben gehört zur aktiven Teilnahme an den Übungsgruppen.
Es ist erforderlich, je einmal in der ersten und in der zweiten Semesterhälfte eine (Teil-)Aufgabe vorzurechnen.
- Arbeitsgruppen geben nur einen Lösungszettel ab, auf dem alle Namen der Teilnehmer(innen) in Druckschrift notiert sein müssen. Die erreichte Punktzahl wird jedem Gruppenmitglied gutgeschrieben. Eine Arbeitsgruppe darf für jede abgegebene Lösung nur aus maximal drei Studierenden bestehen. Wenn mehr Personen gemeinsam die Lösungsansätze eines Aufgabenzettels diskutieren und diesen bearbeiten, müssen entsprechende Untergruppierungen die Lösung mit eigenen Worten und eventuell auch Zeichnungen formulieren und abgeben.
- Fotokopien nicht selbst erstellter Lösungen oder kopieren der Dateien anderer Personen und deren Ausdruck ist nicht erlaubt und führt nach Bekanntwerden zu Punktabzügen bei allen Beteiligten!
| Korrekturen und Anmerkungen bitte an Matthias Jantzen |
Letzte Änderung: 23.03..2005 |
