Die Listen für die Übungsgruppen werden zum Eintragen in der Online-Anmeldung zur Verfügung gestellt werden!

Der Vorlesungsstoff der Modulveranstaltung 18.004 (die Vorlesung zu FGI 1) bestimmt die Inhalte und Themen der Übungsaufgaben.
Jeder Aufgabenzettel wird 2 Aufgaben enthalten.
50% der in der Summe über alle Aufgabenenzettel erzielbaren Punkte müssen für die Bescheinigung einer erfolgreichen Teilnahme erreicht werden,
wobei jeweils mindestens 20% im Logik-Teil und 20% zu Automaten, Formale Sprachen, Berechenbarkeit erzielt wurden.
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 in der Übungsgruppe erwartet wird. Dies erfordert in der Regel etwas Vorbereitung und Nachbereitung der Vorlesung.
Es ist günstig die Aufgaben in Arbeitsgruppen von maximal 2 Studierenden zu erarbeiten und einen gemeinsamen Lösungszettel abzugeben.
Von anderen Arbeitsgruppen kopierte und abgeschriebene Lösungen führen nicht zum eigenen Lernerfog oder zum Verständnis des Stoffes.
Daher kann in der Übungsgruppe Jede/r Teilnehmer/in zu jeder Aufgabe aufgefordert werden, ihren/seinen Lösungsweg an der Tafel vorzustellen.
Hier ist ein hilfreicher Text zum Bearbeiten von Übungsaufgaben: Von einem Mathematiker für Studierende der Mathematik verfasst, aber er passt auch sehr gut zur Theoretischen Informatik!

--------------------------------------------------------------------------------------------------------------------------

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 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.
• Es wird zum Teil 1: "Enführung" einen Aufgabenzettel und zu den beiden Teilen: "Logik" sowie "Automaten, Formale Sprachen, Berechenbarkeit" jeweils 6 Aufgabenzettel geben!
• Die je Aufgabenzettel erreichbare Punktzahl kann leicht variieren.
  Für die 6 Aufgabenzettel der beiden Gruppen ist die erreichbare Punktzahl jeweils 80.
  In der Summe aller Aufgabenzettel werden 170 Punkte erreicht.
• für die Bescheinigung einer erfolgreichen Teilnahme müssen:
  1. zu jeder der beiden Gruppen in einer Auswahl von 5 der abgegebenen Lösungszettel
  auf jedem einzelnen mindestens 20%
  und
  2. in der Summe aller abgegebenen Lösungszettel mindestens 50% der insgesamt erzielbaren Punkte
  und
  3. in jedem der Teile Logik und Automaten, Formale Sprachen, Berechenbarkeit mindestens 20% der erreichbaren Punktzahl, also 32 Punkte, erreicht 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).
  
• 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, zu beiden Teilen 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 zwei 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 bzw. deren Ausdruck führt nach Bekanntwerden zu Punktabzügen bei allen Beteiligten!

Dies sind Klausuraufgaben aus ähnlichen Veranstaltungen und früheren Semestern,
die Ihnen einen Eindruck von Art und Schwierigkeit vermitteln können:

Logik-Aufgabe und eine Automaten und formale Sprachen-Aufgabe