Arbeitsgruppe
Grundlagen der Informatik
Prof. Dr. K. Madlener

Vorlesung Logik SS'05

Inhalt


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


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


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


Vorlesungen AG Grundlagen der Informatik FB Informatik TU Kaiserslautern

Last Update: Thursday, 11-Aug-05 17:04:00 GMT
strieder@informatik.uni-kl.de

Valid XHTML 1.0!