Aussagenlogik Prädikatenlogik Vorlesung “Logik” Wintersemester 2015/16 Universität Duisburg-Essen Barbara König Übungsleitung: Dennis Nolte, Dr. Harsh Beohar Barbara König Logik 1 Aussagenlogik Prädikatenlogik Barbara König Logik 2 Aussagenlogik Prädikatenlogik Das heutige Programm: Organisatorisches Vorstellung Ablauf der Vorlesung und der Übungen Prüfung & Klausur Literatur & Folien Einführung und Motivation: Logik in der Informatik Inhalt der Vorlesung Grundbegriffe der Aussagenlogik Barbara König Logik 3 Aussagenlogik Prädikatenlogik Wer sind wir? Dozentin: Prof. Barbara König Raum LF 264 E-Mail: barbara [email protected] Sprechstunde: nach Vereinbarung Web-Seite: www.ti.inf.uni-due.de/teaching/ws201516/logik/ Barbara König Logik 4 Aussagenlogik Prädikatenlogik Wer sind wir? Übungsleitung: Dennis Nolte Raum LF 263 E-Mail: [email protected] Übungsleitung: Dr. Harsh Beohar Raum LF 265 E-Mail: [email protected] Barbara König Logik 5 Aussagenlogik Prädikatenlogik Vorlesungstermine Vorlesungstermin: Mittwoch, 8:30 – 10:00 Uhr, im Raum LB 107 Barbara König Logik 6 Aussagenlogik Prädikatenlogik Termine der Übungsgruppen/Tutorien Übungsgruppen (zur Besprechung der Übungsblätter): Gruppe 1 2 3 (englisch) 4 5 6 7 Tag Mittwoch Donnerstag Donnerstag Donnerstag Donnerstag Freitag Freitag Uhrzeit 16:00–18:00 10:00–12:00 10:00–12:00 12:00–14:00 14:00–16:00 8:00–10:00 12:00–14:00 Raum LE 105 LC 137 LF 226 LE 120 LE 105 LF 035 LE 120 Die Anzahl und die Termine der Gruppen können sich noch ändern! Barbara König Logik 7 Aussagenlogik Prädikatenlogik Hinweise zu den Übungen Die Übungen und Tutorien beginnen in der dritten Vorlesungswoche am Mittwoch, den 4. November. Bitte versuchen Sie, sich möglichst gleichmäßig auf die Übungen zu verteilen. Besuchen Sie die Übungen! Diesen Stoff kann man nur durch regelmäßiges Üben erlernen. Auswendiglernen hilft nicht besonders viel. Die Übungsblätter werden jeweils am Mittwoch der Vorwoche ins Netz gestellt. Das erste Übungsblatt wird am 28.10. bereitgestellt. Barbara König Logik 8 Aussagenlogik Prädikatenlogik Hinweise zu den Übungen Abgabe der gelösten Aufgaben bis Mittwoch der folgenden Woche, 16:00 Uhr. Einwurf in den Briefkasten neben dem Raum LF 259 oder Abgabe per Moodle. Bitte geben Sie auf Ihrer Lösung deutlich die Vorlesung, Ihren Namen, Ihre Matrikelnummer und Ihre Gruppennummer an. Elektronische Abgaben sind nur als PDF zulässig! Bitte benennen Sie Dateien nach folgendem Schema (um eine eindeutige Namenswahl zu gewährleisten): <vorname>-<nachname>-<matrnr>-<blattnr>.pdf Es sind keine Gruppenabgaben erlaubt, nur Einzelabgaben. Barbara König Logik 9 Aussagenlogik Prädikatenlogik Hinweise zu den Übungen Wir verwenden Moodle, um: die Aufgabenblätter zur Verfügung zu stellen, die Hausaufgaben elektronisch (nur PDF!) abzugeben und um Diskussionsforen bereitzustellen. Moodle-2-Plattform an der Universität Duisburg-Essen: http://moodle2.uni-due.de/ (siehe auch Link auf der Webseite) Bitte legen Sie dort einen Zugang an (falls noch nicht vorhanden) und tragen Sie sich in den Kurs “Logik (WS 2015/16)” (Ingenieurwissenschaften → Informatik und Angewandte Kognitionswissenschaft) ein. Bitte mit Uni-Kennung anmelden! Zugangsschlüssel: . . . Barbara König Logik 10 Aussagenlogik Prädikatenlogik Prüfung Klausur am Ende des Semesters. Voraussichtlicher Termin: Mittwoch, 24. Februar 2016, 8:30-10:30 Uhr Anmeldung über das Prüfungsamt Wenn Sie 50% der Übungspunkte erzielt haben, so erhalten Sie einen Bonus für die Klausur. (Für das Vorrechnen in der Übung gibt es 10 Extrapunkte.) Auswirkung: Verbesserung um eine Notenstufe; z.B. von 2,3 auf 2,0 Bonuspunkte aus dem WS 2014/15 (oder früher) gelten nicht mehr! Barbara König Logik 11 Aussagenlogik Prädikatenlogik Literatur Die Vorlesung basiert im Wesentlichen auf folgendem Buch: Uwe Schöning: Logik für Informatiker. Spektrum, 2000. Weitere relevante Bücher: Jon Barwise, John Etchemendy: Language, Proof, and Logic. Seven Bridges Press, 2000. Auf Deutsch: Sprache, Beweis und Logik, Band I – Aussagenund Prädikatenlogik. mentis, 2005. Kreuzer, Kühling: Logik für Informatiker, Pearson, 2006. Barbara König Logik 12 Aussagenlogik Prädikatenlogik Literatur Einführende/unterhaltsame Literatur: Douglas R. Hofstadter: Gödel, Escher, Bach: An Eternal Golden Braid. Basic Books, 1999. Auf Deutsch: Gödel, Escher, Bach: Ein Endloses Geflochtenes Band. dtv, 1991. Barbara König Logik 13 Aussagenlogik Prädikatenlogik Folien Folien werden im Web bereitgestellt, regelmäßig aktualisiert, im Wesentlichen den Folien des letzten Semesters (WS 14/15) entsprechen Ein eigenes Skript gibt es – neben dem Buch von Schöning – nicht. Barbara König Logik 14
© Copyright 2024 ExpyDoc
