Aktuelles

(30.03.2017) Die Punkte für die zweite Klausur finden Sie ab jetzt in koaLA. Die Einsicht findet am Dienstag, den 04.04.2017 um 16:00 in F1.110 (im Gebäude an der Fürstenallee) statt.

(16.03.2017) Die zweite Klausur findet am 24.03.2017 9:00-12:00 Uhr in den Hörsälen L1 und L2 statt. 

(21.02.2017) Die erste Klausur findet am Donnerstag, 23.02.2017 13:00-16:00 Uhr in Gebäude SP statt. Ihren Sitzplatz sollten Sie zuvor in koaLA nachschlagen. 

(10.02.2017) Anzahl Zettel für die Zulassung sowie Punktegrenzen für Bonusschritte wurden unter Prüfungsangelegenheiten hinzugefügt.

(31.01.2017) Übungsgruppe 8 bei Stephanie Freitag findet am 01.02.2017 nicht statt. Bitte verteilen Sie sich auf andere Übungsgruppen.

(20.01.2017) Für Studenten mit 8 ECTS (z.B. Computer Engineering) wird die letzte relevante Vorlesung am 23.01.2017 sein. Der letzte relevante Übungszettel ist Zettel 12. Inhaltlich ist alles bis inklusive Foliensatz "DFAs" relevant.

(20.01.2017) Übung 2 fällt am 30.01.2017 aus. Bitte verteilen Sie sich auf die anderen Montagsübungen.

(22.12.2016) Beachten Sie, dass die Übungen 2 und 9 im neuen Jahr an einigen Terminen in anderen Räumen stattfinden müssen. Die genaueren Änderungen finden Sie weiter unten (unter Allgemeine Informationen/Termine).

Übungsgruppe 4, Montags 14-18 Uhr in NW 854 findet ab sofort nicht mehr statt. Die Teilnehmer dieser Übungsgruppe teilen sich bitte (möglichst gleichmäßig) auf die anderen drei Montagstutorien auf. Eine Ummeldung in koaLA ist nicht erforderlich.

Die Anmeldung zu den Übungsgruppen im koaLA wird am 19.10. freigeschaltet. Damit Sie sich zu einer Gruppe anmelden können müssen Sie sich bis zum 18.10. wenigstens einmal in koaLA eingeloggt haben.

Allgemeine Informationen

  • Dozenten: Prof. Dr. Johannes Blömer, Prof. Dr. Eyke Hüllermeier
  • Übungsorganisation: Sascha Brauer, Kathrin Bujna

Termine

  • Umfang: 4 SWS Vorlesung, 4 SWS Übung
  • Vorlesung: Mo 11:00-13:00 in L1 + Fr 11:00-13:00 in L1
  • Übungsgruppen:
    1 Montag 14-18 Uhr in D1.303
    2 Montag 14-18 Uhr in E2.316  (entfällt am 30.01. ausnahmsweise)
    3 Montag 14-18 Uhr in D1.312
    [ 4 Montag 14-18 Uhr in NW 854 ] entfällt ab dem 12.12.2016
    5 Dienstag 09-13 Uhr in D1.303
    6 Dienstag 09-13 Uhr in D1.312
    7 Mittwoch 09-13 Uhr in D1.303
    8 Mittwoch 09-13 Uhr in D1.312
    9 Mittwoch 09-13 Uhr in O1.258
    10 Donnerstag 14-18 Uhr in D1.303
    11 Donnerstag 14-18 Uhr in D1.312
    12 Donnerstag 14-18 Uhr in O1.258

Anmeldung zu Übungsgruppen

  • Die Anmeldung zu den Übungsgruppen findet ausschließlich über koaLA statt!
  • Die Anmeldung wird im Laufe der ersten Vorlesungswoche freigeschaltet.
  • Ihre Übungsgrupen-Auswahl in PAUL wird ignoriert. Die Eintragung in die Übungsgruppen, die Sie in PAUL vorgenommen haben, gilt NICHT als Übunsgruppenanmeldung. Diese Anmeldung müssen Sie in koaLA vornehmen.
  • Wer eine Übung besucht, in die er nicht in koaLA eingeteilt ist, wird vom Tutor aufgefordert werden, den Raum zu verlassen, falls die Anzahl der Teilnehmer zu groß ist.

Vorlesungsmaterial und Übungszettel

Vorlesungsfolien

Beweismaterial

Hausübungsblätter

Präsenzübungsblätter

Probeklausur

Ziel der Probeklausur ist es, Ihnen einen Eindruck über den Umfang und die Aufgabenart einer typischen Klausur zu vermitteln. Dies ist keine Sammlung zusätzlicher Übungsaufgaben. Es werden, wie auch bei Heim- und Präsenzübungen, keine Beispiellösungen veröffentlicht.

Organisation

Vorlesungen

  • In der Vorlesung wird der Stoff anhand von Folienpräsentationen erklärt und mit zusätzlichen Beispielen weiter veranschaulicht.

Übungen

  • In den Übungen präsentieren Studenten Lösungen für Hausaufgaben. Außerdem werden Lösungen für Präsenzaufgaben in Kleingruppen erarbeitet. Neben der Vorgehensweise bei der Lösung wird auch das korrekte Formulieren einer Lösung besprochen.
  • Da der Vorlesungsstoff in den Übungen nur sehr eingeschränkt wiederholt werden kann, ist eine gute Vorbereitung der Übungen durch Nacharbeiten des Vorlesungsstoffes und Beschäftigung mit Hausaufgaben und Präsenzaufgaben notwendig.

Auftretende Probleme

  • Sollten im Laufe des Semester Probleme entstehen, so wenden Sie sich zunächst an Ihre Übungsgruppenleitung. Sollte das Problem dadurch nicht gelöst werden können, so wenden Sie sich bitte an die Mitarbeiter für die Übungsbetreuung (siehe oben).
  • Bei Problemen mit dem Studium an sich können Sie sich an die Studienberatung oder Ihren Mentor wenden.

Hausaufgaben

  • Aufgabenzettel werden immer Freitags auf dieser Seite veröffentlicht. Die Aufgaben auf diesen Zetteln sind innerhalb der angegebenen Frist schriftlich (leserlich!) zu lösen und abzugeben.
  • Für die Lösung sind Gruppen mit 3-4 Mitgliedern zu bilden. Wichtig dabei: Lösungen zu Aufgabenzetteln können nur in den Gruppen abgegeben werden, in denen wenigstens eines der Gruppenmitglieder angemeldet ist.
  • Die Abgabe der Korrekturaufgaben ist in der Regel jeweils spätestens Montags um 14 Uhr in den gekennzeichneten Fächern der orangefarbenen Schränke im D3-Flur. Bitte geben Sie auf Ihrer Lösung die Namen ALLER Gruppenmitglieder an, die an der Lösung beteiligt waren!
  • Die Aufgaben werden von den Übungsleitern korrigiert. Typische Fehler werden in den Übungen angesprochen und Lösungen vorgestellt, soweit nötig. Sollten Probleme mit der Korrektur auftreten, haben Sie eine Woche ab dem Tag der allgemeinen Rückgabe Zeit, diese Probleme zu beseitigen. Eine Anpassung der erzielten Punkte ist nach Ablauf dieser Woche nicht mehr möglich.

Prüfungsangelegenheiten

Anmeldung

  • Die Anmeldung zu den Klausuren erfolgt über PAUL. Details über den Beginn der Anmeldephase für die erste und zweite Klausur können auch PAUL entnommen werden.
  • Die Anmeldung einer mündlichen Ersatzprüfung, anstelle der Wiederholung einer zwei mal nicht bestandenen Klausur, ist nicht an diese Anmeldephasen gebunden, sondern kann jederzeit direkt beim Prüfungssekretatriat stattfinden. Beachten Sie dabei, dass Sie erst nach der Anmeldung einen Termin für die mündliche Prüfung erhalten. In jedem Fall sollten Sie sich vor Ihrem dritten Versuch mit einem der Dozenten in Verbindung setzen!

Zulassungsvoraussetzungen

Um zur Klausur zugelassen zu werden müssen folgende Voraussetzungen erfüllt sein:

  • In mindestens 75% der Heimübungszettel (10 bei 10 ECTS, 9 bei 8 ECTS) jeweils wenigstens 20% der Punkte erreicht.

Klausurtermine

  1. Klausur: 23.02.2017, 13-16 Uhr in der Sporthalle (Gebäude SP)
  2. Klausur: 24.03.2017, 09-12 Uhr in Hörsälen L1 und L2

Dauer

  • Studiengänge mit 10 ECTS: 180 Minuten
  • Studiengänge mit 8 ECTS: 150 Minuten
  • Studiengänge mit 5 ECTS: 90 Minuten

Klausurthemen nach Studiengängen

  • Bachelorstudiengang Informatik mit 10 ECTS: Der gesamte Vorlesungsinhalt ist klausurrelevant
  • Studiengänge mit 8 ECTS (wie zum Beispiel Computer Engineering): Alle Themen bis einschließlich DFAs (alle Vorlesungen bis einschließlich 23.01.2017, Übungszettel bis inklusive Zettel 12).

Noten-Bonus für Klausuren

Für beide Klausuren kann ein zusätzlicher Bonus durch eine Mindestpunktzahl aus den Hausaufgaben erworben werden. Der Bonus verbessert die Prüfungsnote um eine oder zwei Noten-Teilstufen gegenüber der Klausurnote, wenn die Klausur bestanden ist.

Für einen Bonus sind folgende Voraussetzungen zu erfüllen:

  • Klausurnote 4.0 oder besser und
  • mindestens 60% der Gesamtpunkte aus den Hausaufgaben (264 bei 10 ECTS, 231 bei 8 ECTS) für eine Notenstufe als Bonus (Verbesserung um eine Teilnote, z.B. von 2,7 auf 2,3) und
  • mindestens 80% der Gesamtpunkte aus den Hausaufgaben (352 bei 10 ECTS, 308 bei 8 ECTS) für zwei Notenstufen als Bonus (Verbesserung um zwei Teilnoten, z.B. von 2,7 auf 2,0).

Im Rahmen von früheren Vorlesungen erworbene Bonusstufen werden NICHT gewertet.

Hilfsmittel

  • ein DIN A4 Blatt
  • beidseitig in der eigenen Handschrift beschrieben
  • mit Namen und Matrikelnummer
  • keine Kopien
  • Für nicht Deutsch-Muttersprachler zusätzlich: ein Wörterbuch ohne handschriftliche Eintragungen.

Die Nutzung weiterer Hilfsmittel wird als Täuschungsversuch gewertet!

Klausurvorbereitung im LZI

Das Lernzentrum Informatik bietet eine Sprechstunde zur Klausurvorbereitung an. Informationen dazu finden Sie auf den Seiten des LZI.

Literatur

Bücher zur Vorlesung und weiterführende Literatur

  • Kastens, Kleine Büning: Modellierung - Grundlagen und formale Methoden, Hanser (2014) (Aktuelle Fehlerliste)
  • Goos: Vorlesungen über Informatik, Band 1, Springer (2005)
  • Scheurer: Foundations of Computing: System Development With Set Theory and Logic, Addison-Wesley (1994)
  • Velleman: How to Prove It: A Structured Approach, Cambridge University Press (2006)
  • Steger: Diskrete Strukturen 1. Kombinatorik, Graphentheorie, Algebra[Taschenbuch], Springer Verlag Deutschland