|
Veranstalter
|
|
Christopher Habel,
Michael Köhler-Bußmeier,
Lawrence Cabac,
Julia Fix,
Stefan Heinrich,
Frank Heitmann,
Arne Koors,
Felix Lindner,
Daniel Moldt,
Matthias Wester-Ebbinghaus,
Christian Zoller,
Doreen Jirak
|
|
Zeit/Ort
|
|
Di 10-12 D-125 ,
Di 10-12 D-129 ,
Di 10-12 D-220 ,
Di 10-12 F-235 ,
Di 10-12 F-534 ,
Di 12-14 D-125 ,
Di 12-14 D-220 ,
Di 12-14 C-104 ,
Di 16-18 C-104 ,
Di 16-18 C-221 ,
Mi 8-10 C-221 ,
Mi 10-12 C-101 ,
Mi 10-12 C-221 ,
Mi 10-12 F-534 ,
Mi 12-14 C-104 ,
Mi 12-14 D-129 ,
Mi 12-14 F-235 ,
Mi 12-14 F-534 ,
Do 10-12 D-125 ,
Do 10-12 F-334 ,
Fr 10-12 D-125 ,
Fr 10-12 F-235
|
|
Aktuelles
|
|
Im Logik-Skript sind leider einige Zeichen falsch dargestellt. Bitte in Zweifelsfällen
auf die pdf-Dateien zurückgreifen. Diese sind korrekt. Fehlerstellen aus dem Skript werden im CommSy gesammelt.
|
|
Inhalt
|
|
Der Vorlesungsstoff der Modulveranstaltung 64-050 bestimmt die Inhalte und Themen der Übungsaufgaben.
Die
Übungsgruppen gehören zur Vorlesung FGI-1 im Modul FGI-1. Die erfolgreiche regelmäßige
Teilnahme an den Übungen ist Voraussetzung für die Teilnahme an der Abschlussprüfung des
Moduls. |
| Vorgehen |
|
Kennenlernen und Erfahrung im Verwenden von grundlegenden formalen Konzepten und
Methoden, die für fast alle Teilgebiete der Informatik wichtig sind. Erwerben und Einüben
der Standardhilfsmittel für Beschreibung, Analyse, Entwurf und Bewertung von Problemen und
deren Lösung.
Übungen
- Jede Woche wird ein neuer Aufgabenzettel gestellt.
- Die Lösungen werden in der jeweils darauffolgenden Woche in der Übungsgruppe
abgegeben. Abgabe nur in handschriftlicher Form.
- Die Lösungen werden von den Übungsgruppenleitern bis zur darauffolgenden Woche
korrigiert.
- Es wird 12 Aufgabenzettel mit Hausaufgaben geben. Die letzten beiden
Aufgabenzettel enthalten nur Präsenzaufgaben.
- Die Aufgaben sollen in Arbeitsgruppen bearbeitet werden. Eine Arbeitsgruppe soll
aus maximal drei Studierenden bestehen. Arbeitsgruppen geben nur einen Lösungszettel
ab, auf dem alle Namen der Teilnehmer(innen) lesbar notiert sein müssen. Die
erreichte Punktzahl wird jedem Gruppenmitglied gutgeschrieben.
Kriterien für den Übungsschein
Für die Bescheinigung einer
erfolgreichen Teilnahme müssen die Teilnehmer
- bei allen Übungsterminen anwesend sein (Bei mehr als zweimaligem Fehlen wird eine
schriftliche Begründung, z.B. Attest eines Arztes, benötigt.)
- sich aktiv mündlich beteiligen (insbesondere an den Präsenzaufgaben),
- mindestens 50 Prozent der insgesamt vergebenen Punkte erreichen
- und bei mindestens 10 Aufgabenzetteln mehr als 20 Prozent der jeweils erreichbaren
Punkte erzielen.
- Jedes Arbeitsgruppenmitglied muss die Lösungen seiner Gruppe an der Tafel
präsentieren können. Ansonsten verfallen die Punkte der jeweiligen Aufgabe.
- Das Kopieren fremder Lösungen führt zu Punktabzügen bei allen Beteiligten und
gilt als Täuschungsversuch.
|
|
Literatur
|
|
- Vossen, Gottfried & Witt, Kurt-Ulrich (2006). Grundkurs Theoretische
Informatik. Vieweg Verlag
- Spies, Marcus (2003). Einführung in die Logik. Werkzeuge für Wissensrepräsentation
und Wissensmanagement. Spektrum, Akademischer Verlag
- Schöning, Uwe (2000). Logik für Informatiker. Spektrum, Akademischer Verlag
- Sipser, Michael (2006). Introduction to the Theory of Computation, Thomson Course
Technology, Parts One and Two
|
|
Übungsblätter
|
|
- Aufgabe 01 (.pdf)
Präsenzlösung(.pdf)
Musterlösung (.pdf)
- Aufgabe 02 (.pdf)
Präsenzlösung(.pdf)
Musterlösung (.pdf)
- Aufgabe 03 (.pdf)
Präsenzlösung(.pdf)
Musterlösung (.pdf)
- Aufgabe 04 (.pdf)
Präsenzlösung(.pdf)
Musterlösung (.pdf)
- Aufgabe 05 (.pdf)
(sw.pdf)
Präsenzlösung(.pdf)
Musterlösung (.pdf)
- Aufgabe 06 (.pdf)
(sw.pdf)
Präsenzlösung(.pdf)
Musterlösung (.pdf)
- Aufgabe 07 (.pdf)
(sw.pdf)
Präsenzlösung(.pdf)
Musterlösung (.pdf)
- Aufgabe 08 (.pdf)
(sw.pdf)
Präsenzlösung(.pdf)
Musterlösung (.pdf)
- Aufgabe 09 (.pdf)
(sw.pdf)
Präsenzlösung(.pdf)
Musterlösung (.pdf)
- Aufgabe 10 (.pdf)
(sw.pdf)
Präsenzlösung(.pdf)
Musterlösung (.pdf)
- Aufgabe 11 (.pdf)
(sw.pdf)
Präsenzlösung(.pdf)
Musterlösung (.pdf)
- Aufgabe 12 (.pdf)
Präsenzlösung(.pdf)
Musterlösung (.pdf)
- Aufgabe 13 (.pdf)
Präsenzlösung(.pdf)
- Aufgabe 14 (.pdf)
Präsenzlösung(.pdf)
|
|
Links
|
|
- Hinweise zur Vorlesung FGI 1 sind hier zu finden.
- Informationen zu den Saalübungen sind hier zu finden.
- Das CommSy zu FGI1 ist hier erreichbar. Bitte nach dem Raum FGI-1
Übungen-SoSe2012 suchen.
|
