Inhalt

• Neuigkeiten
• Allgemeines
• Vorlesung
• Klausuren
• Übungen
• Ehemalige Neuigkeiten

Neuigkeiten

Ehemalige Neuigkeiten gibt es auch noch.

Allgemeines

• Semester: SS 2008
• Dozent: Prof. Dr. K. Madlener
• Betreuer:
  • Bernd Strieder Sprechzeiten n.V.

Vorlesung

• Eintrag im Vorlesungsverzeichnis:
  • 2 Std. Vorlesung
    mittwochs, 11:45 Uhr bis 13:15 Uhr, HS 52-207. Beginn: 2008/04/09
    2 Std. Übung
    Beginn: ab Donnerstag 2008/04/17 regelmäßig
  • Siehe KIS-Seite zur Vorlesung
  • 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: 1-298 (zum Betrachten am Bildschirm) 1-298 (zum Ausdrucken, 4 pro Seite)
  TeX-File zum Selektieren und Zusammenstellen der Folien nach Bedarf: printable.tex (Auf einem nicht zu alten teTeX-System einfach "pdflatex printable.tex" aufrufen, wenn die Folien als log.pdf im selben Verzeichnis liegen. Weitere Hilfe mit "texdoc pdfpages".)
• Das Skript zur Vorlesung.

Übungen

• Übersicht über die Gruppen und Anmeldungen: siehe PAS , Anmeldungen nicht vor der ersten Vorlesung, bitte rechtzeitig Zugang registrieren!
  
Die Übungen beginnen am Donnerstag, 2008/04/17.
• Abgaben zu den Übungen bitte zu zweit.

• Hörsaalübungen: zu Blatt 12: 2008/07/17, zu Blatt 13: 2008/07/24, jeweils donnerstags, 13:45-15:15 Raum 13-222.

  Blatt 13 wird nur noch für diejenigen korrigiert, die noch Punkte zur Zulassung brauchen. Die Rückgabe erfolgt zu den Hörsaalübungen.

• Die Übungsblätter werden möglichst bald nach der Vorlesung auf diese Seite gestellt:
  Blatt 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 , 10 , 11 , 12 , 13 , 22 ,

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: Mindestens einmal Vorstellung der Lösung einer Aufgabe 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.

130 Punkte aus den Übungen sind zur Zulassung zur Abschlussklausur erforderlich. Am 2008/07/02 wurden diejenigen, die 130 Punkte rechnerisch noch erreichen können informiert. Dabei kann es sein, dass auch angeschrieben wurde, wer die Zulassung schon hat, aber ansonsten ganz normal am Übungsbetrieb teilgenommen hat.

Liste derer, die am 2008/07/22 die 130 Punkte erreicht hatten.

In den letzten Jahren erbrachte Studienleistungen werden jeweils anerkannt.

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)

Anmeldung zur Semestraklkausur(Aufsichtsarbeit) durch Anmeldung zu den Übungen

Termin Semestralklausur: Mittwoch 2008/05/28 17:15-18:45 HS 46-215

Der ursprüngliche Termin für die Semestralklausur wurde um einen Tag verschoben, damit nicht die Übung am Dienstag 2008/05/07 verschoben werden muss, und das betreffende Übungsblatt vollständig besprochen ist.

Die Anmeldung zur ersten Semestralklausur erfolgt durch Anmeldung zu den Übungen, wer noch nicht angemeldet ist, soll sich möglichst bald bei Bernd Strieder melden.

Bitte überprüfen Sie folgende Liste mit den zu den Übungen angemeldeten, unterschieden danach, ob die Semestralklausur im letzten Jahr bestanden wurde, oder nicht. Da der Platz knapp sein wird, werden alle, die die Semestralklausur schon bestanden haben, gebeten nicht nochmals teilzunehmen.

Ergebnis der 1. Semestralklausur: hier

Einsichtnahme: Mittwoch, 4.6., 17:15 HS 46-215

Termin 2. Semestralklausur: siehe erste Abschlussklausur

Es gibt entgegen eventueller anders lautender Vermutungen keine Stoffeingrenzung für die 2. Semestralklausur, aber eine kürzere Dauer und einfachere Aufgaben im Vergleich zur Abschlussklausur.

Anmeldung 2. Semestralklausur bis 2008/07/22 persönlich bei Bernd Strieder oder per EMail

1. Abschlussklausur

Termin: Dienstag, 2008/07/29, ab 09:00 bis ca. 11:00, Hörsaal 42-115 (Audimax)

Termin Einsichtnahme: Montag, 2008/08/04, ab 17:15-18:45 Uhr, Raum 36-265. In begründeten Ausnahmefällen Einsichtnahme nach Anmeldung bis 2008/08/15.

Endergebnis 2. Semestral- und 1. Abschlussklausur

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

2. Abschlussklausur

Termin: 2008/10/17, HS 42-115, 13:30 bis ca. 15:15 Uhr.

Vorläufiges Ergebnis 2. Abschlussklausur

Einsichtnahme: Mittwoch, 2008/11/12, 17:00 Uhr Raum 34/420, bitte Familiennamen A-L pünktlich, M-Z ab 17:15, es ist wenig Platz.

Ehemalige Neuigkeiten