Logik für Informatiker

Transkript

1 Logik für Informatiker Organisatorisches Markus Bender

2 Themen Allgemeines Klausurzulassung Aufgabenblätter Abgabegruppen Punkte SVN

3 Allgemeines Markus Bender Raum B (in KLIPS hinterlegt) Newsgroup: infko.logik

4 Allgemeines Gruppe 1: Donnerstags 08:00 s.t.-09:00 in G 309 Gruppe 2: Donnerstags 09:00 s.t.-10:00 in G 309 Gruppe 3: Freitags 08:00 s.t.-09:00 in G 409(ausgesetzt) Gruppe 4: Freitags 09:00 s.t.-10:00 in G 409 Bitte in KLIPS sowohl für Vorlesung als auch für Übung registrieren.

5 Klausurzulassung Teilnahme an der Klausur nur mit Zulassung. Zum Erwerb der Zulassung müssen alle der folgenden Bedingungen erfüllt sein: höchstens 3 der Pflichtaufgabenblätter wurden nicht bearbeitet, 50 % der Punkte aus dem Bereich Prolog, 50 % der Punkte aus dem Bereich Aussagenlogik, 50 % der Punkte aus dem Bereich Prädikatenlogik müssen erreicht werden. Zulassungen aus 2013, 2014 und 2015 sind weiterhin gültig. Auch wer schon zur Klausur zugelassen ist, sollte im eigenen Interesse aktiv am Übungsbetrieb teilnehmen.

6 Aufgabenblätter Erscheinen im Allgemeinen Freitags gegen 12:00 Uhr auf der Webseite der Übung, im Verzeichnis allgroups/sheets im svn Abgabefrist ist auf jedem Aufgabenblatt vermerkt. Abgaben erfolgen ausschließlich über svn. Abgaben erfolgen in Abgabegruppen. Abgaben, die nach der Frist eingehen, werden nicht bewertet. Lösungen sind im Allgemeinen eine Stunde nach Ende der Abgabefrist im Verzeichnis allgroups/solutions zu finden.

7 Abgaben Im Regelfall 3 Mitglieder pro Abgabegruppe, über Ausnahmen entscheiden wir bei Bedarf. Bis zum können (und sollten) Sie sich unter lx7le4m3qy in Abgabegruppen organisieren. Wer keine Abgabegruppe hat, kann keine Übungsblätter einreichen und somit die Zulassung zur Klausur nicht erlangen. Mitglieder einer Abgabegruppe müssen nicht die selbe Übungsgruppe besuchen. Jedes Mitglieder einer Abgabegruppe soll die Aufgaben lösen können.

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

9 Punkte Abgaben werden korrigiert. Die Korrektur finden Sie im Allgemeinen spätestens am Morgen des Mittwochs 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/<kennung>/ im svn einsehen. Wenn Sie sich etwas mit einem Browser direkt auf dem Server svn.uni-koblenz.de anschauen, aktualisieren Sie stets die Datei nach Aufruf. Bei Fragen zur Korrektur, wenden Sie sich unter Nennung der Gruppe an

10 SVN Zugriffsrechte werden am aktiv. Informationen zu svn-clients für Ihr Betriebssystem finden Sie im Netz (unter anderem auch auf der Webseite der Übung) Informationen zur Nutzung von svn finden Sie im Netz, (unter anderem auch auf der Webseite der Übung)

11 SVN (Leserechte) : Ihr Verzeichnis im Repository. : Hier erhalten Sie Kommentare zu Ihren Lösungen. : Hier erhalten Sie die aktuellsten Versionen der Aufgabenblätter. : Hier erhalten Sie die aktuellsten Versionen unserer Lösungen. : Hier erhalten Sie allgemeine Kommentare. : Hier sehen Sie Ihren Punktestand.

12 SVN (Lese- und Schreibrechte) : In diesem Verzeichnis liegen ausschließlich Ihre Lösungen (mehr dazu weiter unten). : Dieses Verzeichnis steht Ihnen zur Verfügung um die Arbeit mit den Grupenmitgliedern zu vereinfachen. Sie koennen es frei verwenden - im Rahmen der Veranstaltung.

13 SVN Gültige Abgabeformate sind:.pl-dateien, für Prolog-Wissensbasen.pdf-Datein (generiert, oder als leserlicher/s Scan/Foto einer handschriftlichen Lösung) Die Lösungen haben den Namen solutionxx.pl respektive solutionxx.pdf wobei XX die Nummer des Aufgabenblattes ist. Die Lösungen liegen im Verzeichnis solutions im Verzeichnis Ihrer Abgabegruppe im svn. Beispiel: solution04.pl