Diskrete Modellierung (B-MOD) – Wintersemester 2017/2018

Im Logbuch finden Sie Informationen zum Inhalt der einzelnen Vorlesungsstunden.

Aktuelles

  • 23.10.17.
    Heute zwischen 14 und 16 Uhr und morgen zwischen 10 und 12 Uhr finden im Ingo-Wegener-Lernzentrum zwei Fragestunden mit Philipp Tertel zum aktuellen Übungsblatt statt.
  • 20.10.17.
    Die Einteilung der Übungsgruppen ist abgeschlossen. Die Ergebnisse für diese und andere Vorlesungen können Sie auf der AuGE-Webseite abrufen.
    Für eine nachträgliche Anmeldung, einen Gruppenwechsel oder bei sonstigen Problemen bezüglich der Einteilung wenden Sie sich bitte umgehend an Hannes Seiwert.
  • 18.10.17.
    Mithilfe der Python-Entwicklungsumgebung IDLE lassen sich zwar nicht alle, aber viele Mengenbeziehungen überprüfen. Beispiele dazu finden Sie auch im Skript bzw. auf den Folien.
    Sie sollten bereits wissen, wie IDLE installiert werden kann. Sicherheitshalber finden Sie hier eine Beschreibung.
  • 17.10.17.
    Das Präsenzblatt für die zweite Vorlesungswoche und das Übungsblatt 1 (Abgabe am 26.10.) stehen nun zum Download bereit.

Inhalt der Veranstaltung

In der Informatik wird die Modellierung mit Hilfe diskreter Strukturen als typische Arbeitsmethode in vielen Bereichen angewandt. Spezielle Modelle werden eingesetzt, um Probleme präzise zu beschreiben und sind damit Voraussetzung für ihre Lösung.

Zuerst werden grundlegende Begriffe und Methoden, wie Mengen, Funktionen und Aussagenlogik, geklärt. Anschließend werden die verschiedenen grundlegenden Kalküle Graphen, Markov-Ketten, endliche Automaten, kontextfreie Grammatiken und Prädikatenlogik untersucht. Diese Kalküle haben sich in vielen Fragestellungen der diskreten Modellierung als fundamental herausgestellt.

Lernziele: Kenntnis der grundlegenden Modellierungsmethoden und Beherrschen der entsprechenden Techniken. Fähigkeit zur präzisen und formalen Ausdrucksweise sowie der sicheren Argumentation.

Veranstaltungsform

Vorlesung + Übung + Fragestunde (SWS: 3+2+1)
Veranstalter: Prof. Dr. G. Schnitger

Termine

Vorlesung:
  • Dienstag, 12:15 – 13:45 in H VI (Jügelhaus)
  • Donnerstag, 8:00 (s.t.) – 9:30 in H VI (Jügelhaus)
Übungen:
Fragestunden im Lernzentrum mit Tim Schön und Philipp Tertel
  • Montag, 14 bis 16 Uhr
  • Dienstag, 10 bis 12 Uhr

Kontakt

Bei Fragen rund um die Vorlesung helfen Mario Holldack und Hannes Seiwert (Raum 313 bzw. 303 in der RMS 11-15) und natürlich auch alle Tutoren gerne weiter.

Material

  • Hier finden Sie das Skript zur Vorlesung.
  • Die Beamer-Folien zur Vorlesung werden im Laufe des Semesters hier und im Logbuch ergänzt.
  • Hier erscheinen im Laufe der Vorlesung die begleitenden Übungsblätter.
  • Vorlesungsvideos werden ebenfalls im Logbuch ergänzt. Zusätzlich gibt es hier eine Übersicht aller bisher verfügbaren Videos.
  • Kurze Fragen zur Selbstkontrolle zu allen bisherigen Themengebieten gibt's hier. (noch nicht online)

Literaturhinweise

[Logicomix] A. Doxiaidis, C.H. Papadimitriou, A. Papadatos, A. Di Donna. Logicomix: An Epic Search for Truth. Bloomsbury USA, 2009 :  Informationen zu diesem Comic sind hier erhältlich.
[B] A. Beutelspacher. "Das ist o.B.d.A. trivial!" Tipps und Tricks zur Formulierung mathematischer Gedanken.". Vieweg Studium.
[G] D. Grieser. Mathematisches Problemlösen und Beweisen. Springer Verlag, 2013.
[J] S. Jukna. Crashkurs Mathematik für Informatiker. Teubner, 2008.
[KKB] U. Kastens und H. Kleine Büning. Modellierung. Grundlagen und formale Methoden. Hanser, 2005
[LPV] L. Lovasz, J. Pelikan und K. Vesztergombi. Discrete Mathematics. Elementary and Beyond. Springer, 2003.
[D] R. Diestel. Graphentheorie. Springer, 2006 (3. Auflage) :  Informationen zum Buch sind hier erhältlich.
[F-ThI2] D. D. Freydenberger. Skript zur Vorlesung "Theoretische Informatik 2". Goethe-Universität Frankfurt am Main, 2014.
[Zit] Fachbereich Informatik und Mathematik. Goethe-Universität Frankfurt. Hinweise zum Zitieren in schriftlichen Arbeiten im Institut für Informatik
[S-Logik] U. Schöning. Logik für Informatiker. Springer, 2000.

Informationen zu den Übungen

Die Teilnahme an den Übungen und das Bearbeiten der Übungsaufgaben wird für eine erfolgreiche Prüfung unbedingt empfohlen!

Die Übungen finden im wöchentlichen Rhythmus statt, beginnend mit der zweiten Vorlesungswoche (d.h. ab dem 23. Oktober). In der ersten Vorlesungswoche erscheinen das erste Übungsblatt und ein Präsenzblatt, welches in den Gruppentreffen der zweiten Vorlesungswoche besprochen wird. Die Übungsblätter erscheinen wöchentlich, spätestens am Donnerstagmorgen. Die Abgabe erfolgt nach einwöchiger Bearbeitungszeit

  • am darauf folgenden Donnerstag
  • vor Vorlesungsbeginn
  • im Hörsaal.

Eine frühere Abgabe im großen Briefkasten vor Raum 312 (RMS 11-15) ist ebenfalls zulässig. Eine Abgabe per E-Mail ist in Ausnahmefällen bei Mario Holldack und Hannes Seiwert möglich. In diesem Fall fassen Sie Ihre Abgabe bitte in genau einer PDF-Datei zusammen und gestalten Sie den Hintergrund weiß, sodass der Ausdruck gut lesbar ist.

Für einen reibungslosen Ablauf versehen Sie bitte Ihre Abgabe im Kopf der Titelseite gut leserlich mit den folgenden Angaben:

  • den Namen der Veranstaltung („Dismod“)
  • die Nummer des Übungsblattes („Übungsblatt X“)
  • Ihren Namen und Ihre Matrikelnummer,
  • den Namen des Tutors und die Nummer der Übungsgruppe.

Bitte heften Sie mehrseitige Abgaben mittels eines Tackers zusammen. Für nicht getackerte Abgaben können wir nicht sicherstellen, dass sie den Tutor vollständig erreichen.

Bonuspunkte

Durch die in den Übungen gesammelten Übungspunkte können Sie einen Bonus mit einem Maximalgewicht von 15 % für die Klausur erwerben. Um die Bonuspunkte gutgeschrieben zu bekommen, müssen Sie in Ihrer Übungsgruppe mindestens einmal die Lösung einer Aufgabe vorstellen („vorrechnen“). Die Bonuspunkte sind sowohl für die Erst- als auch die Zweitklausur gültig.

Hinweise zum wissenschaftlichen Arbeiten bei Übungsaufgaben

Die Bearbeitung der Übungsblätter in Gruppen ist erlaubt, jedoch müssen Sie Ihre Lösungen eigenständig aufschreiben.

Die Übungsblätter werden so entworfen, dass ihre Bearbeitung mit den Kenntnissen aus der Vorlesung und aus vorangegangenen Übungsblättern möglich ist. Sollten Sie in Ihrer Lösung dennoch andere Quellen (Bücher, Skripte, Internetforen, soziale Netzwerke, Lösungen anderer Studenten, etc.) verwenden, so müssen Sie die entsprechenden Stellen als direkte oder indirekte Zitate kennzeichnen. Orientieren Sie sich hierfür einfach an den Hinweisen zum Zitieren in schriftlichen Arbeiten am Institut für Informatik. Darüber hinaus muss Ihre persönliche Leistung stets deutlich erkennbar sein. Bei direkten Zitaten oder fast unverändert übernommenen Passagen liegt keine persönliche Leistung vor.

Betrugsversuche bzw. Plagiate führen beim erstmaligen Verstoß dazu, dass bei allen Beteiligten die Bonuspunkte des gesamten Übungsblattes verfallen („gelbe Karte“). Beim zweiten Verstoß werden keinerlei Bonuspunkte für die Klausur angerechnet („rote Karte“) und der Vorfall wird dem Prüfungsamt angezeigt. Bitte beachten Sie, dass auch das Ermöglichen von Plagiaten („abschreiben lassen“) einen Betrugsversuch darstellt und geahndet wird.

Übungsgruppen

Zur Teilnahme am Übungsbetrieb ist eine vorherige Anmeldung erforderlich.

Die Anmeldung zu den Übungsgruppen ist abgeschlossen. Welcher Gruppe Sie zugeteilt wurden, können Sie hier erfahren. Für eine nachträgliche Anmeldung kontaktieren Sie bitte Hannes Seiwert.

Folgende Übungsgruppen werden angeboten:

       Gruppe 1   Mo, 8 -10 Uhr   NM 103    Lukas Maurer
       Gruppe 2   Mo, 14 -16 Uhr   NM 103    Paul Zügel
       Gruppe 3   Mo, 14 -16 Uhr   NM 123    Fabian Vogel
       Gruppe 4   Di, 8 -10 Uhr   NM 125    Ngọc Minh Đỗ
       Gruppe 5   Di, 10 -12 Uhr   NM 113    Lisa Wilhelmi
       Gruppe 6   Di, 10 -12 Uhr   NM 114    Elizaveta Kovalevskaya
       Gruppe 7   Di, 10 -12 Uhr   NM 103    Simon Lööck
       Gruppe 8   Mo, 8 -10 Uhr    NM 114    Alexander Ciupka
       Gruppe 9   Di, 14 -16 Uhr *   NM 102    Carina Pfaff
       Gruppe 10   Di, 16 -18 Uhr   NM 123    Tim Frommknecht
       Gruppe 11   Mi, 10 -12 Uhr   NM 123    Nils Werner
       Gruppe 12   Mi, 10 -12 Uhr   NM 125    Robin Krause
       Gruppe 13   Mi, 12 -14 Uhr   NM 125    Martin Ludwig
       Gruppe 14   Do, 10 -12 Uhr   NM 113    Timo Mainusch
       Gruppe 15   Do, 10 -12 Uhr   NM 114    Tim Koglin
       Gruppe 16   Do, 10 -12 Uhr   NM 103    Ehud Cseresnyes
       Gruppe 17   Do, 12 -14 Uhr   NM 103    Vincent Kühn
        Gruppe 18     Fr, 11 -13 Uhr      NM 125      Adrian Musella

* Der Termin Dienstag 14 -16 (Gruppe 9) wird an Tagen, an denen die STO-Vorlesung (Einführung in das Studium) stattfindet, auf 16 -18 Uhr verschoben! Das betrifft den 7.11.17 und den 9.1.18.

Prüfungsklausur

Klausur-Termine

  • Erstklausur: 15.02.2018, 9:00 s.t. (Ort: H V und H VI im Jügelhaus)
  • Zweitklausur: 29.03.2018, 9:00 s.t. (Ort: wird noch bekanntgegeben)

Die Klausur dauert 120 Minuten. Bitte Studienausweis (falls das keine Goethe-Card ist, dann zusätzlich einen amtlichen Lichtbildausweis) mitbringen.

Zur Teilnahme an der Klausur ist eine vorherige Anmeldung erforderlich.

Anmeldung

Die Anmeldung zur Klausur muss spätestens zwei Wochen vor der Klausur erfolgen.
Abmeldungen sind bis eine Woche vor der Klausur möglich.

Die Art der Anmeldung hängt von Ihrem Studiengang ab:

  • Informatik, Bioinformatik, Wirtschaftsinformatik, Mathematik, Geografie, Physik mit Nebenfach Informatik: Die Anmeldung erfolgt per QIS/LSF.
  • Lehramt: Die Anmeldung erfolgt per E-Mail an Hannes Seiwert. Die Mail muss die folgenden Informationen enthalten: Name, Vorname, Matrikelnummer, Geburtsdatum, Studiengang, Datum der Klausur. Bei erfolgreicher Anmeldung erhalten Sie eine Bestätigungsmail.
  • Sonstige: Die Anmeldung erfolgt beim Prüfungsamt Informatik.

Benotung

Bei einem Ergebnis von x % in der Klausur und y % in den Übungen wird die folgende Note vergeben
(z = x + 0,15 y):

Note Prozentpunkte
1.0 z ≥ 95%
1.3 95% > z ≥ 90%
1.7 90% > z ≥ 85%
2.0 85% > z ≥ 80%
2.3 80% > z ≥ 75%
2.7 75% > z ≥ 70%
3.0 70% > z ≥ 65%
3.3 65% > z ≥ 60%
3.7 60% > z ≥ 55%
4.0 55% > z ≥ 50%