Inhalt

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

Neuigkeiten

2005/08/11 19:00: Einsichtnahme ist nach Anmeldung bei Prof. Madlener per Mail möglich bis Dienstag 16.8. Die Anmeldung muss bis Montag, 15.8. erfolgt sein.

2005/08/11 13:00: Die vorläufigen Klausurergebnisse hängen am schwarzen Brett neben 34/420.

2005/08/08 13:00: Die vorläufigen Klausurergebnisse kommen nicht vor Mittwoch, 10.8., abends.

2005/08/08 9:30: Einsichtnahme zur Abschlussklausur, Donnerstag 11.8. 15:15-16:45 Uhr, Raum 36-265

2005/07/29 11:00: Entgegen anderer Gerüchte umfasst der Stoff der Klausur alles zwischen Normalformen der Aussagenlogik und Resolutionsverfahren der Prädikatenlogik.

2005/07/29 11:00: Klausurtermin: Dienstag 2.8., Audimax 42-115, Beginn 14:30 Uhr, Dauer 2 Stunden

2005/07/28 08:00: Folien 138-298 verfügbar, 4 auf eine Seite-Versionen der Folien verfügbar.

2005/07/26 15:50: Lösungsvorschlag Blatt 11 verfügbar.

2005/07/15 16:40: Klausurtermin: Dienstag 2.8., 14-17 Uhr Audimax 42/115

2005/06/22 18:00: Letzte Gelegenheit zur Anmeldung zur 1. Abschlussklausur für nicht PAS-Anmeldungen, d.h. Wirtschaftsingenieure, Lehramtler mit NF Informatik, u.a.

Ehemalige Neuigkeiten gibt es auch noch.

Allgemeines

• Semester: SS 2005
• Dozent: Prof. Dr. K. Madlener
• Betreuer:
  • Bernd Strieder Sprechzeiten n.V.: Di 10:00-12:00, Mi 10:00-12:00, Do: 14:00-16:00

Vorlesung

• Eintrag im Vorlesungsverzeichnis:
  • 2 Std. Vorlesung
    Mi. 11.45-13.15 Uhr, 52-207
    1 Std. Übung
    n.V., s. Aushang
    Beginn: 27.04.05
  • 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.
  • Mathematik für Informatiker I,II oder HM 1-3.
  • Leistungsnachweis nach erfolgreicher Teilnahme an Übungen und Abschlussklausur.
  • Pflichtveranstaltung im Grundstudium "Informatik" und "Technoinformatik".
• Weitere Literatur: (BibTeX-File)
• Folien: 1 bis 137 138 bis 284 Folien 4 auf einer Seite PDF Folien 4 auf einer Seite Postscript komprimiert 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: 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.

Termin Zwischenklausur: Samstag, 4.6.2005, 13:00 Uhr, HS 46/215 + 46/220. Dauer 90 min.

Anmeldung zur Zwischenklausur bis Di, 31.05.2005 12:00 Uhr. Die Anmeldung ist abgeschlossen.

Das vorläufige Ergebnis der Zwischenklausur steht fest.

Das endgültige Ergebnis der Zwischenklausur steht fest. Zugriff war jeweils nur aus dem Netz der Uni möglich (bis 21.06.). Die Klausur wurde auf 35 Punkte entsprechend 30% des Gesamtergebnisses normiert. Die Einsichtnahme findet am Montag, 13.06. 11:45-13:15, Raum 36-265 statt. Bitte Studierendenausweis und Personalausweis oder Reisepass mitbringen. Die parallel stattfindende Sprechstunde wird nach Bedarf verschoben. Die Einsichtnahme für die GDP Zwischenklausur findet gleichzeitig dort statt.

Die Anmeldung zur Abschlußklausur 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.

Erste Abschlussklausur: Dienstag 2.8., Audimax 42-115, Beginn 14:30 Uhr, Dauer 2 Stunden

Einsichtnahme zur Abschlussklausur, Donnerstag 11.8. 15:15-16:45 Uhr, Raum 36-265, Ausweise nicht vergessen

Übungen

• Anmeldung
• Hörsaalübung: Freitag 13:45-15:15 HS 11/262 ab 29.04.
• Abgabetermin Dienstag 9:30 in den Kästen im Geb. 34 4. Stock im Treppenhaus zu Geb. 32 hin. Gruppennummern beachten und auf die Abgaben schreiben. Die Abgaben haben zu zweit zu erfolgen. Rückgabe in der Hörsaalübung.
• Übungsblätter: Blatt 1, Blatt 2, Blatt 3, Blatt 4, Blatt 5, Blatt 6, Blatt 7, Blatt 8, Blatt 9, Blatt 10, Blatt 11,
• Lösungen von Aufgaben, die in der Hörsaalübung nicht vollständig vorgerechnet wurden: Aufgabe 4, Aufgabe 9, Aufgabe 10, Aufgabe 13, Aufgaben 14-17, Aufgabe 20.2, Aufgabe 21, Aufgaben 24-28, Aufgabe 31, Aufgaben 34-37, Aufgaben 38-41, Aufgaben 47-49,
• Sprechzeiten der Hiwis zu den Korrekturen:
  • Mo: 10:00-11:30 11-260 Sebastian Thelen,
  • Mo 11:45-13:15 36-265 Katharina Gwinner (Korrekturkürzel KG),
  • Di 10:00-11:30 34-420 Johannes Kloos (Korrekturkürzel: J-K Ligatur, Schreibschrift K).
  Bei Fragen zur Korrektur sollte möglichst der Korrigierende befragt werden. Die Sprechzeiten dienen dazu, alle Fragen zur Korrektur, und alle weiteren in der Hörsaalübung noch offen gebliebenen Fragen zu beantworten. Die Hiwi-Sprechzeiten sollen so ablaufen, dass alle, die noch Fragen haben, sich zu Beginn der Sprechzeit treffen, damit nicht dasselbe Problem mehrfach gelöst werden muss.
• Die Übungsblätter werden zur Vorlesung auf diese Seite gestellt. Abgabe ist in der folgenden Vorlesungswoche dienstags 9:30 Uhr im 4. Stock zwischen Geb. 32 und 34. Rückgabe ist freitags darauf in der Hörsaalübung

Ehemalige Neuigkeiten

2005/07/19 18:30: Folien 138-284 verfügbar, Übungsblatt 11 verfügbar.

2005/07/15 16:40: Lösungsvorschlag Blatt 9 verfügbar.

2005/07/12 17:30: Folien 138-269 verfügbar, Übungsblatt 10 verfügbar.

2005/07/08 17:30: Lösungsvorschlag Blatt 8 verfügbar.

2005/07/07 15:00: Die Sprechstunde am Montag. 11. Juli 10:00 wird auf 9:30 vorverlegt.

2005/07/06 10:45: Folien 138-244 verfügbar.

2005/07/05 13:30: Lösungsvorschlag Aufgabe 31 verfügbar.

2005/06/29 11:00: Übungsblatt 8 und 9 verfügbar. Blatt 9 wird erst am 15.7. in der Übung behandelt, ist aber mit dem Stoff vom 29.6. schon zu bearbeiten.

2005/06/29 10:00: Folien 1-137 und 138-225 verfügbar.

2005/06/21 19:00: Übungsblatt 7 und Folien 1-198 verfügbar.

2005/06/21 14:00: Lösungsvorschläge zu Aufgabe 20.1 und 21 verfügbar.

2005/06/15 11:15: Folien 1 bis 183 verfügbar.

2005/06/13 15:30: Die Hinweise zur Anmeldung zur Abschlussklausur beachten! Termin 22.06.

2005/06/13 15:30: Das endgültige Ergebnis der Zwischenklausur nach der Einsichtnahme steht fest. Aufgabe 6.2 wurde nach Unstimmigkeiten durch ein Missverständnis bei der Korrektur nochmal korrigiert und einige weitere Punkte vergeben.

2005/06/09 16:45: Das Ergebnis der Zwischenklausur steht fest.

2005/06/09 16:45: Es gibt jetzt ein TeX-File, mit dem man die Folien selektiv bearbeiten kann, z.B. Seiten auswählen, 4 auf eine Seite, etc.

2005/06/09 10:45: Die Übung am Freitag, 10.6. findet statt. Themen: Vertiefung, Wiederholung des bisherigen Stoffs.

2005/06/08 10:45: Folien 1 bis 163 verfügbar.

2005/06/02 18:30: Die Abgabe von Übungsblatt 5 wird wegen der Korrektur der Klausuren um eine Woche nach hinten verschoben. Die Abgabe ist also am 14.6. um 9:30.

2005/06/02 18:30: Die Hinweise zur Klausur beachten!

2005/06/01 14:30: Übungsblatt 5 verfügbar.

2005/06/01 14:15: Folien 1 bis 136 verfügbar.

2005/05/31 13:30: Musterlösungen Aufgaben 10,13,14 bis 17 verfügbar. Es gibt auch Neuigkeiten zur Zwischenklausur.

2005/05/27 09:00: Problem bei der Anmeldung zur Zwischenklausur beseitigt, es können pro Raum 60 statt 30 teilnehmen.

2005/05/25 11:30: Folien 1 bis 94 verfügbar.

2005/05/24 19:20: Übungsblatt 4 verfügbar.

2005/05/24 16:30: Anmeldung zur Zwischenklausur möglich.

2005/05/10 17:45: Regelung der Hiwi-Sprechzeiten.

2005/05/13 16:30: Lösungen für Aufgabe 4 und 9 verfügbar.

2005/05/11 12:30: Übungsblatt 3 verfügbar.

2005/05/10 17:45: Folien 1 bis 74 verfügbar.

2005/05/06 15:45: Punkte aus den Übungen dienen nur zur Orientierung. Für die Abschlussnote zählen nur die Leistungen aus den Klausuren. Die Teilnahme am Übungsbetrieb wird ausdrücklich empfohlen.

2005/05/06 15:45: Termin Zwischenklausur: Samstag, 4.6.2005, 13:00 Uhr, HS 46/215 + 46/220. Weitere Details folgen später.

2005/05/03 14:45: Die Hiwi-Sprechzeit Donnerstag 10:00 Uhr wird auf Dienstag 10:00 Uhr verschoben. Raum ist 34/420.

2005/05/03 11:45: Die Abgabe des ersten Übungsblatts ist ausnahmsweise einen Tag länger möglich, bis morgen, Mittwoch, 04.05., zum Ende der Vorlesung.

2005/04/29 10:30: Die Hörsaalübung heute 13:45 findet statt. Es werden weitere in Logik einführende Themen behandelt.

2005/04/28 14:15: Neues zu den Übungen: Abgabetermin dienstags statt mittwochs. Auch WI-Informatik ist jetzt als Studiengang bei der Anmeldung möglich. Die Anmeldung ist bis Dienstag 3.5.2005 9:00 Uhr möglich.

2005/04/27 17:35: Der HTML-Fehler auf der Anmeldungsseite, der bei der letzten Änderung eingebaut wurde, ist wieder beseitigt. Anmelden sollte wieder gehen.

2005/04/27 15:15: Die Hörsaalübung wird verlegt auf Freitag, 13:45-15:15 HS 11-262.

2005/04/27 14:30: In den Folien wurde die Gewichtung der Klausuren korrigiert. Die Übungen gehen höchstens als Bonus von 10 Punkten ein, das ist aber noch nicht entschieden. 100% sind allein mit den Klausuren zu erreichen.

2005/04/27 14:30: Das 1. Übungsblatt enthält einen Fehler im letzten Satz von Aufgabe 3. Ab sofort ist ein korrigiertes Exemplar verfügbar