Vorlesung Logik Wintersemester 2016/17 Universität Duisburg-Essen

Transkript

1 Vorlesung Logik Wintersemester 2016/17 Universität Duisburg-Essen Barbara König Übungsleitung: Dennis Nolte, Harsh Beohar Barbara König Logik 1

2 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 Barbara König Logik 2

3 Wer sind wir? Dozentin: Prof. Barbara König Raum LF barbara Sprechstunde: nach Vereinbarung Web-Seite: Barbara König Logik 3

4 Wer sind wir? Übungsleitung: Dennis Nolte Raum LF Übungsleitung: Dr. Harsh Beohar Raum LF Barbara König Logik 4

5 Vorlesungstermine Vorlesungstermin: Mittwoch, 8:30 10:00 Uhr, im Raum LB 107 Barbara König Logik 5

6 Termine der Übungsgruppen/Tutorien Übungsgruppen (zur Besprechung der Übungsblätter): Gruppe Tag Uhrzeit Raum 1 Mittwoch 16:00 18:00 LE Donnerstag 10:00 12:00 LE Donnerstag 12:00 14:00 LE Donnerstag 12:00 14:00 LC (engl.) Donnerstag 16:00 18:00 LE Freitag 08:30 10:00 LF Freitag 12:00 14:00 LE 120 Barbara König Logik 6

7 Hinweise zu den Übungen Die Übungen und Tutorien beginnen in der dritten Vorlesungswoche am Mittwoch, den 2. 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 bereitgestellt. Barbara König Logik 7

8 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 8

9 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: (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 2016/17) (Ingenieurwissenschaften Informatik und Angewandte Kognitionswissenschaft) ein. Bitte mit Uni-Kennung anmelden! Zugangsschlüssel:... Barbara König Logik 9

10 Prüfung Klausur am Ende des Semesters. Voraussichtlicher Termin: Mittwoch, 22. 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. Auswirkung: Verbesserung um eine Notenstufe; z.b. von 2,3 auf 2,0 Bonuspunkte aus dem WS 2015/16 (oder früher) gelten nicht mehr! Barbara König Logik 10

11 Literatur Die Vorlesung basiert im Wesentlichen auf folgendem Buch: Uwe Schöning: Logik für Informatiker. Spektrum, Weitere relevante Bücher: Jon Barwise, John Etchemendy: Language, Proof, and Logic. Seven Bridges Press, Auf Deutsch: Sprache, Beweis und Logik, Band I Aussagenund. mentis, Kreuzer, Kühling: Logik für Informatiker, Pearson, Barbara König Logik 11

12 Literatur Einführende/unterhaltsame Literatur: Douglas R. Hofstadter: Gödel, Escher, Bach: An Eternal Golden Braid. Basic Books, Auf Deutsch: Gödel, Escher, Bach: Ein Endloses Geflochtenes Band. dtv, Barbara König Logik 12

13 Folien Folien werden im Web bereitgestellt, regelmäßig aktualisiert, im Wesentlichen den Folien des letzten Semesters (WS 15/16) entsprechen Ein eigenes Skript gibt es neben dem Buch von Schöning nicht. Barbara König Logik 13