Inhalt

• Neuigkeiten
• Allgemeines
• Vorlesung
• Folien/Vorbereitung
• Übungen
• Klausuren
• Ehemalige Neuigkeiten

Neuigkeiten

Ehemalige Neuigkeiten gibt es auch noch.

Allgemeines

• Semester: SS 2010
• Dozent: Prof. Dr. K. Madlener
• Betreuer: Reiner Hüchting

Vorlesung

• Eintrag im Vorlesungsverzeichnis:
  • 2 Std. Vorlesung
    mittwochs, 11:45 Uhr bis 13:15 Uhr, HS 52-207. Beginn: 14.04.2010
    2 Std. Übung
    Termine werden noch bekanntgegeben.
  • Siehe KIS-Seiten zur Vorlesung bzw. zur Übung
  • Aussagen- und Prädikatenlogik, logische Kalküle, Vollständigkeits- und Kompaktheitssätze sowie Anwendung in der Informatik.
  • Schöning: Logik für Informatiker.
    Nissanke: Introductory Logic and Sets for Computer Scientists.
    Kreuzer, Kühling: Logik für Informatiker
  • Mathematik für Informatiker I,II oder HM 1-3.
  • Leistungsnachweis nach erfolgreicher Teilnahme an Übungen und Abschlussklausur.
  • Pflichtveranstaltung im Grundstudium "Bachelor Informatik", "Diplom Informatik", "Diplom-Technoinformatik", "WI Richtung Informatik".
• Weitere Literatur: (BibTeX-File)

Folien/Vorbereitung

• Folien zum Lesen am Rechner:
  • 1-26
  • 27-74
  • 75-137
  • 138-226
  • 227-298
• Das Skript zur Vorlesung.
• Übungsklausur von Jan Bormann.
• Übungsklausur zur Abschlussklausur von Jan Bormann.
• Zusammenfassung der Kalküle aus der Vorlesung.

Übungen

• Übungstermine:

  Gruppe	Termin	Raum	Übungsleiter
  1	Do 11:45 - 13:15 Uhr	48-379	Florian Furbach
  2	Do 13:45 - 15:15 Uhr	48-462	Jan Bormann
  3	Do 15:30 - 17:00 Uhr	11-262	Florian Furbach
  4	Do 17:15 - 18:45 Uhr	48-462	Jan Bormann
  5	Fr 08:00 - 09:30 Uhr	48-379	Susanne Göbel
  6	Fr 10:00 - 11:30 Uhr	11-262	Peter Zeller
  7	Fr 11:45 - 13:15 Uhr	11-260	Susanne Göbel
  8	Fr 13:45 - 15:15 Uhr	11-262	Peter Zeller

• Außerdem gibt es Montags um 13:45 Uhr in 46-280 eine Fragestunde.
• Die Anmeldung für die Übungsgruppen wird nach der ersten Vorlesung im PAS möglich sein, bitte rechtzeitig Zugang registrieren!
• Die Übungen beginnen am Donnerstag, den 15.04.2010.
• Abgaben zu den Übungen bitte zu zweit.
• Die Übungsblätter werden jeweils Mittwochs möglichst bald nach der Vorlesung auf diese Seite gestellt.

Blatt 1	Lösung
Blatt 2	Lösung
Blatt 3	Lösung
Blatt 4	Lösung
Blatt 5	Lösung
Blatt 6	Lösung
Blatt 7	Lösung
Blatt 8	Lösung
Blatt 9	Lösung
Blatt 10	Lösung
Blatt 11	Lösung
Blatt 12	Lösung
Blatt 13

Klausuren

Generell: An einer Klausur kann im Allgemeinen nur nach rechtzeitiger Anmeldung teilgenommen werden. Es sind keine Hilfsmittel erlaubt, außer Schreibutensilien. Lösungen mit nicht dokumentenechten Stiften, z.B. Bleistift, werden in der Einsichtnahme nicht mehr angesehen. Zur Klausur sind ein Lichtbildausweis und der Studierendenausweis mitzubringen. Die Aktivierung von tragbaren elektronischen Geräten, z.B. Handys, Armbanduhren mit Sonderfunktionen, während der Klausur, muss als Täuschungsversuch geahndet werden. Einsichtnahmen zählen als Teil der Klausur.

Die Abschlussklausur stellt für modularisierte Studiengänge die Modulprüfung dar. Studierende anderer Fachbereiche erwerben durch Bestehen der Abschlussklausur einen qualifizierten/benoteten Schein.

Folgende Studienleistungen sind Voraussetzung zur Zulassung zur Abschlussklausur: Regelmäßige Mitarbeit in den Übungen, mindestens 50% der Punkte auf die Übungen und mindestens 50% der Punkte der Semestralklausur. Die Punkte auf die Übungen und die Semestralklausur werden nicht auf die Abschlussklausur angerechnet. Die Semestralklausur kann zum Termin der Abschlussklausur wiederholt werden.

Falls Studienleistungen oder Prüfungsleistungen aus gesundheitlichen Gründen nicht erbracht werden können, ist das umgehend unter Vorlage eines ärztlichen Attestes anzuzeigen, damit ggf. rechtzeitig Möglichkeiten für Ersatzleistungen eingerichtet werden können.

Semestralklausur(en)

• Die Anmeldung zur Semestraklkausur (Aufsichtsarbeit) erfolgt durch Anmeldung zu den Übungen
• Termin: Fr, 21.5.2010 ab 15:45 Uhr in 42-115 (Audimax)
• Dauer: 60 Minuten
• Sofern Beweise im Gentzen- oder Hilbertkalkül zu führen sind, werden die entsprechenden Axiome und Regeln angegeben. Es ist also nicht nötig, diese auswendig zu lernen. Dies gilt nicht für F₀, die Nummern der Theoreme aus der Vorlesung müssen jedoch in einem Beweis nicht mit angegeben werden.
• Einsichtnahme: Di, 01.06.2010 ab 15:30 in 34-420.
• Ergebnisse der Semstralklausur
• Die Bestehensgrenze liegt bei 15 Punkten.
• Die Ergebnisse sind nur aus dem Uninetz erreichbar.
• Um an der zweiten Zwischenklausur teilnehmen zu können, ist eine Anmeldung per Mail an huechting@informatik.uni-kl.de erforderlich.

1. Abschlussklausur

• Termin: Dienstag, 10.8.2010, 11:30 Uhr bis ca. 13:30 Uhr, Hörsaal 42-115 (Audimax)
• Zulassungslisten für Abschluss- und zweite Zwischenklausur (Uni-Intern)
• Wer sich auf diesen Listen nicht wiederfindet, ist entweder nicht angemeldet, oder hat die jeweilige Zulassung nicht erreicht. Insbesondere hat man die Zulassung nicht erreicht, wenn man die erste Zwischenklausur nicht bestanden hat oder nicht mindestens 130 Übungspunkte hat. Bitte in jedem Fall zuerst die Anmeldung beim Prüfungsamt überprüfen.
• Die Grenze von 130 Punkten ist ebenfalls Voraussetzung für die zweite Zwischenklausur, da das Erreichen der Zulassung ohne diese Bedingung ohnehin nicht möglich ist.
• Ergebnisse der Abschlussklausur und der zweiten Semestralklausur (Uni-Intern)
• Die Bestehensgrenze der Abschlussklausur liegt bei 32 Punkten. Die genauen Noten bitte im PDF nachsehen.
• Die Bestehensgrenze der zweiten Zwischenklausur liegt bei 23 Punkten.
• Die Ergebnisse sind nur aus dem Uninetz erreichbar.
• Termin Einsichtnahme: Montag, den 23.08.10 um 15 Uhr in 34-420

Scheine für die Zulassung aus der Semestralklausur und den Übungen sind nicht nötig, da Prof. Madlener laut Planung auch im SS 2011 Logik halten wird.

2. Abschlussklausur

• Termin: 21.09.2010, HS 42-115, 14:00 Uhr bis ca. 16:00 Uhr.
• Einsichtnahme: 15.10.2010, 10 Uhr, 34-420
• Ergebnisse der zweiten Abschlussklausur (Uni-Intern)

Ehemalige Neuigkeiten