Logik für Informatiker

Transkript

1 Logik für Informatiker Viorica Sofronie-Stokkermans

2 0. Organisatorisches Kontakt: Viorica Sofronie-Stokkermans Raum B 225 Sprechstunde: Montag: 16:00 (Anmeldung über ) Übung Markus Bender mbender@uni-koblenz.de Raum B 224

3 Webseite Webseite: sofronie/logik-ss-2014/ Alle relevante Information auf der Webseite Folien Weitere Materialien Termine usw. Übung mbender/ss14logic.html Newsgroup: infko.logik KLIPS: s (bitte melden Sie sich in KLIPS an!)

4 Vorlesung 3 Stunden/Woche Termine: Dienstag, 16:00 s.t.-18:00, Raum M 001. Donnerstag, 16:00 s.t.-18:00, Raum D 028, am 24.04, 15.05, , 26.06, 10.07, 24.07, 31.07

5 Übungen 1 Stunde/Woche 4 Gruppen erste Übung: 24/ , 8:00/9:00 s.t.: 55 min. Do: A 213; Fr: G 409

6 Übungsblätter Wöchentlich: Theorie + Aufgaben Es werden voraussichtlich 12 Übungsblätter erscheinen. Die Übungsblätter werden Freitags gegen 16:00 auf der Seite der Vorlesung veröffentlicht.

7 Übungsblätter: Abgabe Abgabegruppen Die Bearbeitung erfolgt im Regelfall in Abgabegruppen zu je 3 Studierenden (über Ausnahmen entscheiden wir bei Bedarf). Sie können sich unter bis einschließlich in Abgabegruppen organisieren. Die endgültige Einteilung in Gruppen wird am von uns bekannt gegeben. Mitglieder einer Abgabegruppe müssen nicht die selbe Übungsgruppe besuchen. Wer keine Abgabegruppe hat, kann keine Übungsblätter einreichen und somit die Zulassung zur Klausur nicht erlangen. Jedes Mitglied einer Abgabegruppe soll in der Lage sein, die Lösungen an der Tafel zu präsentieren.

8 Übungsblätter: Abgabe Bei Problemen in der Gruppe besteht die Möglichkeit die Gruppe zu wechseln. Vorgehen: an mit allen Mitgliedern der aktuellen Gruppe im CC. Kurze Begründung, was das Problem ist, und warum ein Wechsel gewünscht wird. Falls es einen Wunsch für die neue Gruppe gibt, diesen auch nennen. Gruppenwechsel werden nach Abgabe des aktuellen Aufgabenblattes aktiv (inkl. Anpassung der Rechte im svn).

9 Übungsblätter: Abgabe Die Abgabe erfolgt per Subversion (SVN). Einige Infos dazu finden Sie hier: mbender/ss14logic.html Falls Sie am Anfang die physische Abgabe auf Papier bevorzugen, steht im Raum B 222 (Vorraum zu den Räumen B 223 und B 224) im Regal eine Box bereit, in der Sie Ihre Lösungen hinterlassen können. Abgabeformate sind pdf-dateien (generiert, oder als Scan/Foto einer handschriftlichen Lösung), für die Lösungen des theoretischen Teils, und Prolog-Dateien, für die Lösungen der Programmieraufgaben. Termin: Im Allgemeinen ist der Termin zur fristgerechten Abgabe der Lösungen Punkt 15:00 Uhr am Freitag nach der Ausgabe. Die spezifischen Fristen werden aber auf den Übungsblättern angegeben.

10 1 Übungsblätter: Korrektur Abgaben werden korrigiert Die Korrektur finden Sie im Allgemeinen spätestens am Abend des Dienstages nach der Abgabe im Verzeichnis comments in Ihrem Gruppenverzeichnis im svn. Daneben finden Sie allgemeinen Anmerkungen im Verzeichnis allgroups/comments im svn. Den aktuellen Punktestand können Sie ebenfalls im Verzeichnis allgroups/comments im svn einsehen. Aus Gründen des Datenschutzes enthält die Datei keinen Namen, sondern lediglich die Punktzahl für ein Pseudonym. Sie erhalten Ihr Pseudonym am per . Zugriffsrechte werden am aktiv Bei Fragen zur Korrektur, wenden Sie sich bitte an Ihren Korrektor.

11 1 Scheinvergabe Klausur Bestimmt alleine die Note für den Schein. Hauptklausur: Voraussichtlich in der ersten Woche nach Vorlesungsende. Nachklausur: Voraussichtlich am Ende des Semesters (September).

12 1 Scheinvergabe Klausurzulassung: An Haupt-/Nachklausur kann teilnehmen, wer die folgenden Bedingungen erfüllt: Mindestens 9 der 12 Übungsblättern wurden bearbeitet. Mindestens 50 % der zu erreichenden Punkte in den Übungsblättern der ersten Hälfte der Vorlesung (Beweise und Aussagenlogik, ohne Prolog). Mindestens 50 % der zu erreichenden Punkte in den Übungsblättern der zweiten Hälfte der Vorlesung (Prädikatenlogik, ohne Prolog). Mindestens 50 % der zu erreichenden Punkte aus dem Bereich Prolog.

13 1 Scheinvergabe Klausurzulassung: Zulassung aus dem Sommersemester 2013 sind weiterhin gültig; es ist aber sehr ratsam aktiv am Übungsbetrieb teilzunehmen, auch wenn man bereits zugelassen ist.

14 1 Scheinvergabe Klausurzulassung: Zulassung aus dem Sommersemester 2013 sind weiterhin gültig; es ist aber sehr ratsam aktiv am Übungsbetrieb teilzunehmen, auch wenn man bereits zugelassen ist. Wenn Sie die Veranstaltung in einem früheren Semester besucht haben und die Bedingungen für die Klausurzulassung nicht erfüllt haben, und jetzt an der Haupt-/Nachklausur teilnehmen wollen, müssen Sie die Zulassung ebenfalls erlangen. Wenn Sie die Veranstaltung in einem früheren Semester besucht haben und die Bedingungen für die Klausurzulassung erfüllt haben, und jetzt an der Haupt-/Nachklausur teilnehmen wollen, müssen Sie die Zulassung nicht mehr erlangen.

15 1 Scheinvergabe Vorbereitung für Klausur Übungen 10 normale Übungszettel + 2 Übungszettel mit Wiederholungsaufgaben (Aufgabentypen, die in der Klausur vorkommen können) 1: Voraussichtlich in der Woche nach den Pfingstferien 2: Voraussichtlich in der vorletzten Semesterwoche Die Aufgaben werden in der Übungsstunde besprochen. Frage- und Antwortstunde In der letzten Vorlesung ( ).

16 1 ECTS Hintergrund: Laut alter PO wurde Logik für Informatiker (als 4V+2Ü Veranstaltung) mit 8 ECTS Punkten angeboten. Dieses Semester wird es nach neuer PO angeboten (als 3V+1Ü Veranstaltung) mit 6 ECTS Punkten. die Studierenden in der neuen PO erhalten 6 ECTS die Studierenden in der alten PO erhalten 8 ECTS (für die 2 ECTS Differenz könnte z.b. eine zusätzliche Hausaufgabe und/oder eine zusätzliche Prüfungsaufgabe gestellt werden.) Details werden Anfang Juni bekanntgegeben.

17 1 Literatur zur Vorlesung Skriptum von U. Furbach Ulrich Furbach Logic for Computer Scientists obermaie/script.htm Buch von U. Schöning Uwe Schöning Logik für Informatiker 5. Auflage, Spektrum Akademischer Verlag Buch von M. Fitting Melvin Fitting First-Order Logic and Automated Theorem Proving 2. Auflage, Springer-Verlag