Inhalt

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

Neuigkeiten

Ehemalige Neuigkeiten gibt es auch noch.

Allgemeines

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

Vorlesung

• Eintrag im Vorlesungsverzeichnis:
  • 2 Std. Vorlesung
    Mi. 11.45-13.15 Uhr, 52-207
    1 Std. Übung
    n.V., s. Aushang
    Beginn: 2007-04-18
  • 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 Folien 4 pro Seite zum Drucken: 1-298
  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.

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.

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)

Termin Semestralklausur: 2007-05-24 17:30 Uhr Hörsaal 46-215 Einlass ab ca. 17:15 Uhr, bitte pünktlich erscheinen! Dauer 1 Stunde.

Die Anmeldung zur Semestralklausur erfolgt durch Anmeldung zu den Übungen.

Fragestunde zur Zwischenklausur Di, 2007-05-15, 17:00 Uhr Raum 11-243

Die Semestralklausur ist außergewöhnlich schlecht ausgefallen, hier ein Link zum vorläufigen Ergebnis. Die Grenze zur Zulassung zur Abschlussklausur wurde auf 8,5 Punkte abgesenkt. Bei weniger als 15 Punkten ist eine deutliche Steigerung der Leistung erforderlich, um die Abschlussklausur bestehen zu können.

Die Einsichtnahme zur Semestralklausur findet statt am 2007-06-06 ab 17:00h in Raum 48-208

Nach der Einsichtnahme wurde bei den Aufgaben 4.1,, 4.2 und 4.4 das Bewertungsschema leicht geändert, und ein konsistenter Fehler in der Korrektur von Aufgabe 4.4 beseitigt. Dies hat in vielen Fällen zu einer Erhöhung der Punktzahl geführt. Einige sind so auch noch über 8,5 Punkte gekommen. Siehe hier

Zum Termin der ersten Abschlussklausur im August, wird es die Möglichkeit geben, durch eine weitere Semestralklausur die Zulassung zu der zweiten oder einer späteren Abschlussklausur zu erwerben, falls die Zulassung im Bereich der Übungen erreicht wird. Die betreffenden wurden per EMail angeschrieben.

Alle, die die 2. Semestralklausur mitschreiben wollen, mögen sich bitte bis zum Freitag, den 6. Juli, persönlich bei Bernd Strieder anmelden. Falls wegen der Unklarheiten Übungsblätter verpasst wurden, wird es auch dafür Lösungen geben, der Stoff muss dennoch nachgeholt werden, da er Voraussetzung für die nachfolgenden Inhalte ist.

Der Stoff der 2. Semestralklausur umfasst die Aussagenlogik und die Syntax und Semantik der Prädikatenlogik bis Folie 189.

Termin 2. Semestralklausur: siehe erste Abschlussklausur.

1. Abschlussklausur

Die Anmeldung zur Abschlussklausur für Angehörige des FB Informatik ist innerhalb der gegebenen Fristen im PAS zu machen. Diejenigen, für die das nicht möglich ist, melden sich bitte persönlich bis zum 22.06. bei Bernd Strieder in Geb. 34 Zimmer 421 an.

Der Stoff der Abschlussklausur umfasst den gesamten Stoff der Vorlesung.

Termin erste Abschlussklausur: 2007-08-07, Mensa I und II, Beginn 9:00 Uhr. Die Teilnehmer der 2. Semestralklausur werden gebeten, an den Tischreihen entlang der Fensterfront zum Uni-Wohngebiet hin Platz zu nehmen, also rechts von der Treppenaufgängen zu den Mensaausgaben gesehen. Bitte rechtzeitig erscheinen, Ausweise nicht vergessen! Die Semestralklausuren werden früher eingesammelt, die Teilnehmer der Semestralklausur müssen aber bis zum Ende bleiben, um eine faire Klausur für alle zu ermöglichen.

Das Ergebnis der Abschlussklausur ist hier abrufbar, und hängt am schwarzen Brett neben Raum 34/420.

Die Teilnehmer der Semestralklausur wurden persönlich per EMail informiert. Es waren 11 Punkte von 59 erreichbaren erforderlich, 1 von 3 Teilnehmern hat bestanden.

Einsichtnahme zur Abschlussklausur und Semestralklausur 2, Donnerstag, 2007-08-16 ab 14:00 in 36-265. Ausweise nicht vergessen!

2. Abschlussklausur

Anmeldungen für Studierende eines Studiengangs des FB Informatik melden sich per PAS an. Teilnehmer anderer Studiengänge melden sich bitte bis zum 12.10. persönlich oder per EMail bei Bernd Strieder an.

Übungen

• Anmeldung
• 1. Mo, 11:45 - 13:15 36-265 Jean-Marc Hengen
  2. Di, 15:30 - 17:00 13-222 Mathias Nissler
  3. Do, 15:30 - 17:00 11-262 Sebastian Thelen
  4. Fr, 13:45 - 15:15 11-262 Bernd Strieder
  • Mi (02.05.2007), 17:00 - 18:30, 48-438 Ausweichtermin für Di 2007-05-01.
  • Mi (23.05.2007), 17:00 - 18:30, 48-438 Ausweichtermin für Do 2007-05-17.
  • Mi (13.06.2007), 17:00 - 18:30, 48-438 Ausweichtermin für Do 2007-06-07.
  • Di 24.07.2007, 15:30 - 17:00, 48-210 Hörsaalübung für Blatt 12.
  • Di 31.07.2007, 15:30 - 17:00, 48-210 Hörsaalübung für Blatt 13 und Fragestunde zur Klausur.
• Abgabetermin mittwochs bis 10 Uhr in den Kasten neben Raum 34/401.4. Die Abgaben haben zu zweit zu erfolgen. Die Namen und Gruppennummern sind auf die Abgaben schreiben.
• Die Übungsblätter werden immer zur Vorlesung auf diese Seite gestellt:
  Blatt 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13,

Bis einschließlich Blatt 13 sind 365 P erreichbar, es wird linear normiert, so dass 240 P 100% entsprechen, zur Zulassung sind also auf volle Punkte gerundet 120 P erforderlich.

Punktestand und fehlende Punkte zur Zulassung: Stand nach Blatt 11 (Es sind nur die aufgeführt, bei denen die Zulassung noch erreichbar ist.)

Punktestand : Stand nach Blatt 13 (Es sind nur die aufgeführt, die genügend Punkte erreicht haben.)

Ehemalige Neuigkeiten