Inhalt

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

Neuigkeiten

Ehemalige Neuigkeiten gibt es auch noch.

Allgemeines

• Semester: SS 2009
• 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: 2009/04/22
    2 Std. Übung
    Beginn: ab Donnerstag 2009/04/23 regelmäßig
  • 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-298
• Folien zum Drucken (4 pro Seite): 1-298
• Wenn andere Arrangements gewünscht werden, könnte folgende TeX-Datei als Ausgangspunkt hilfreich sein, mit der auch die druckbare Version mit 4 pro Seite erzeugt wird: 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.
• Zusatzfolien zu Kalkülen aus der Vorlesung vom 13.05.2009.

Übungen

• Termine:
  • Do 08:00-09:30 Uhr Raum 44-465 (Jan Bormann)
  • Do 08:00-09:30 Uhr Raum 32-439 (Reiner Hüchting)
  • Do 11:45-13:15 Uhr Raum 46-110 (Florian Furbach)
  • Do 11:45-13:15 Uhr Raum 32-439 (Reiner Hüchting)
  • Do 15:30-17:00 Uhr Raum 11-262 (Florian Furbach)
  • Fr 13:45-15.15 Uhr Raum 11-262 (Jan Bormann)
• 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 23.04.2009.
• Abgaben zu den Übungen bitte zu zweit oder zu dritt.
• Die Übungsblätter werden jeweils Mittwochs möglichst bald nach der Vorlesung auf diese Seite gestellt.
• Blatt 1
• Lösungen zu Blatt 1
• Blatt 2
• Lösungen zu Blatt 2
• Blatt 3
• Lösungen zu Blatt 3
• Blatt 4
• Lösungen zu Blatt 4
• Blatt 5
• Lösungen zu Blatt 5
• Blatt 6
• Lösungen zu Blatt 6
• Blatt 7
• Lösungen zu Blatt 7
• Blatt 8
• Lösungen zu Blatt 8
• Blatt 9
• Lösungen zu Blatt 9
• Blatt 10
• Lösungen zu Blatt 10
• Blatt 11
• Lösungen zu Blatt 11
• Blatt 12
• Lösungen zu Blatt 12

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.

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 Semestralklausur: 29.5.2009, 15:30 bis ca. 16:30 Uhr, Mensa
• Ergebnisse der Semstralklausur
• Die Bestehensgrenze liegt bei 15 Punkten.
• Die Ergebnisse sind nur aus dem Uninetz erreichbar.

1. Abschlussklausur

Termin: Montag, 2009/08/10, ab 11:00 bis ca. 13:00, Hörsaal 42-115 (Audimax)

• Termin: Montag, 10.8.2009, ab 11:00 Uhr bis ca. 13:00 Uhr, Hörsaal 42-115 (Audimax)
• Ergebnisse der Abschlussklausur und der zweiten Semestralklausur (Uni-Intern)
• Termin Einsichtnahme: Freitag, den 21.8.09 um 10 Uhr in 32-439
• Der Notenschlüssel im obigen PDF ist nicht korrekt. Hier sind die korrekten Noten:

  Note:	1,0	1,3	1,7	2,0	2,3	2,7	3,0	3,3	3,7	4,0	5,0
  Punkte:	≥ 35	33 - 34,5	31 - 32,5	29 - 30,5	27 - 28,5	25 - 26,5	23 - 24,5	21 - 22,5	19 - 20,5	17 - 18,5	< 17

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

2. Abschlussklausur

• Termin: 6.10.2009, HS 42-115, Klausurbeginn ist um 13:30 Uhr. Die Dauer beträgt 100 Minuten.
• Einsichtnahme: 29.10.2009, 15 Uhr, 34-420
• Ergebnisse der zweiten Abschlussklausur (Uni-Intern)

Ehemalige Neuigkeiten