knowsys / FormaleSysteme

Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
https://iccl.inf.tu-dresden.de/web/Formale_Systeme
44 stars 14 forks source link

Bessere Anpassung an Vorwissen aus A&D #31

Open mkroetzsch opened 6 years ago

mkroetzsch commented 6 years ago

Insbesondere im Teil zu regulären Sprachen sind einige Dinge bereits aus dem Kurs Algorithmen und Datenstrukturen bekannt. Dazu zählt insbesondere die Umwandlung von endlichen Automaten in reguläre Ausdrücke durch dynamische Programmierung, die auch im Zusammenhang mit Netzwerkfluss anwendbar ist. Weitere Überlappungsn sind denkbar.

Die Überschneidungen sollten in einer zukünftigen Version der Vorlesung minimiert bzw. thematisiert werden.

marcusrossel commented 6 years ago

Ich weiß nicht wie es so generell laufen soll, aber ich bin der Meinung, dass Vorlesungen nicht unbedingt exakt auf einander abgestimmt werden sollten. Ansonsten ist es für Einsteiger deutlich schwerer. Ich kann diesbezüglich allerdings nur aus persönlicher Erfahrung sprechen. Ich habe auch ein Modul "Algorithmen und Datenstrukturen" an einer anderen Uni belegt, welches mir hier an der TU angerechnet wurde. Nur waren Reguläre Ausdrücke kein Teil der Vorlesung, wodurch es sehr förderlich war diese "Überlappungen" zu haben.

JuKu commented 6 years ago

Da die Stoffmenge von Formale Systeme doch schon recht hoch ist, glaube ich, dass sich die Studenten (inkl. mir) auch mal freuen, wenn man etwas bereits kann. :D Das Problem an AUD ist aber eher, dass sich der Lehrplan scheinbar in den letzten Jahren öfters ändert und man somit keine Garantie hat, dass es schon einmal behandelt wurde.

Desweiteren hat man an der Uni allgemein das Problem, dass Studenten bei großen Stoffmengen Dinge auch schnell wieder vergessen können Link und wenn man dann Formale Systeme erst 1 Jahr später als AUD schreibt, weiß man oftmals nicht mehr so genau, wie es funktioniert.