Logik
Wintersemester 2014/2015
Lehrbeauftragter: |
Prof. Dr. Till Mossakowski |
Wochenstunden: |
2 SWh Vorlesung, 2 SWh Übung |
Zuhörerkreis: |
Bachelor CV, INF, IngIF, WIF, 1. Semester |
Voraussetzungen: |
keine |
Prüfung: |
durch Klausur am 16. Februar 2015, 13:3015:30 Uhr |
Unbenoteter Schein: |
durch Klausur am 16. Februar 2015, 13:3015:30 Uhr |
Klausuranmeldung: |
über das Onlineportal HISQIS ,
vom 1. Dezember 2014 bis 18. Januar 2015.
|
Inhalt:
Ausdrücke, semantische Äquivalenz, Normalformen,
Verfahren zur (Semi-)Entscheidbarkeit des Erfüllbarkeitsproblems
in der Aussagen- und Prädikatenlogik,
theoretische Grundlagen der logischen Programmierung,
Ausblick auf weitere informatikrelevante Logiken.
Literatur:
Jon Barwise und John Etchemendy:
Sprache, Beweis und Logik.
Mentis-Verlag, 2005, ISBN: 978-3-89785-440-6.
(siehe auch hier).
Software:
Zum Buch gehören die Programme Tarski's World, Fitch, Boole und Submit
(siehe auch hier).
Die Software läuft auf den Plattformen Linux, Windows sowie Mac (auch Mac mit Intel-Prozessor).
Übungen:
Zu den Übungen gibt es Übungsblätter und Übungsaufgaben aus dem Buch.
-
Es müssen zu Beginn jeder Übung Aufgaben votiert werden. Damit zeigt der/die Studierende dem Übungsleiter, dass er/sie bereit ist,
bei Aufforderung zu den votierten Aufgaben vorzutragen (Lösungsvorschläge werden diskutiert, sie müssen nicht gleich perfekt richtig sein).
-
Lösungen bestimmter (nicht aller) Aufgaben können über das Programm Submit automatisch bewertet
und eingereicht werden (Näheres dazu finden Sie im internen Bereich).
Zulassung zur Klausur:
-
Für die Zulassung zur Klausur sind folgende Leistungen zu erbringen:
-
Mindestens 2/3 der Übungsaufgaben müssen am Ende des Semesters votiert worden sein.
-
Mindestens zweimal pro Semester muss man in den Übungen vorgetragen haben.
-
Mindestens 50 % der Programmieraufgaben (ab Übung 2) müssen am Ende des Semesters über Submit eingereicht worden sein.
-
Votierungen und Einreichungen über Submit sind und zählen vollkommen unabhängig voneinander.
-
Zulassungen, die in vergangenen Semestern erreicht wurden, gelten grundsätzlich nicht für diese Vorlesung.
-
Die in dieser Vorlesung erreichte Zulassung gilt für die Teilnahme an der Prüfungsklausur (benotete Leistung)
oder an der Scheinklausur (unbenotete Leistung).
-
Die Zulassung für die Teilnahme an der Scheinklausur (unbenotete Leistung) gilt nur
für dieses Wintersemester und für das folgende Sommersemester.
Gelingt es nicht, eine dieser beiden Klausuren zu bestehen, verfällt die Zulassung zur Teilnahme an der Scheinklausur.
-
Den Studierenden, die die Zulassung zur Klausur erworben haben,
ist das per E-Mail bestätigt worden.
Im Zweifelsfalle wenden Sie sich bitte per E-Mail an uns.
Klausur:
am Montag, dem
16. Februar 2015,
von 13:30 bis 15:30 Uhr
in den Räumen G26-H1 und G29-307.
Damit pünktlich begonnen werden kann, sind die Plätze spätestens 15 Minuten
vor Beginn einzunehmen.
Es sind keine Hilfsmittel zugelassen,
Papier und Schreibutensilien sind mitzubringen.
Die Aufteilung der Studenten
auf die Räume ist folgende.
- G26-H1:
Benotete Leistung (Prüfung) für Studenten der INF, IngIF, WIF.
- G29-307:
Benotete Leistung (Prüfung) für Studenten der CV.
Unbenotete Leistung (Schein) für Studenten der CV, INF, IngIF, WIF.
Aktuelle Informationen:
-
Den Studierenden, die die Zulassung zur Klausur erworben haben,
ist das per E-Mail bestätigt worden.
Im Zweifelsfalle wenden Sie sich bitte per E-Mail an uns.
-
Bei Fragen und Problemen wenden Sie sich bitte per E-Mail an
(logik (at) iws.cs.uni-magdeburg.de).
Folien:
Teil 1,
Teil 2,
Teil 3,
Teil 4,
Teil 5,
Teil 6,
Teil 7,
Teil 8,
Teil 9,
Teil 10,
Teil 11,
Teil 12,
Teil 13,
Teil 14.
Übungsaufgaben:
(Die Aufgabennummern beziehen sich auf das Buch Sprache, Beweis und Logik.)
-
Übung 1 (43. KW): Aufgaben 2 bis 9, 12, 13 aus Kapitel 1.
-
Übung 2 (44. KW): Aufgaben 1 bis 5, 7, 16, 22 bis 25 aus Kapitel 2.
-
Übung 3 (45. KW): Aufgaben 3, 4 (mittels vollständiger Induktion!),
6, 7, 9, 11, 14, 16, 21, 22, 25 aus Kapitel 3.
-
Übung 4 (46. KW): Aufgaben 2, 8, 14, 17, 22, 23, 27, 30, 31, 39, 40 aus Kapitel 4.
-
Übung 5 (47. KW): Aufgaben 5.11, 5.20 sowie 3, 4, 9, 10, 28, 29, 36, 39 aus Kapitel 6.
-
Übung 6 (48. KW): Aufgaben 7.6, 7.12, 7.13, 7.21, 7.32 sowie 8.18, 8.19, 8.20, 8.24, 8.51, 8.52.
-
Übung 7 (49. KW): Aufgaben 1, 2, 6, 11, 14, 16, 17 aus Kapitel 9.
-
Übung 8 (50. KW): Aufgaben 1, 3, 4, 6, 7, 9, 11, 19, 21, 31 aus Kapitel 10.
-
Übung 9 (51. KW): Aufgaben 3, 4, 5, 10, 16, 18, 37, 39, 40 aus Kapitel 11.
-
Übung 10 (2./3. KW): Aufgaben 3, 9, 11, 12, 29, 31, 35, 39, 43,
44, 45, 50 aus Kapitel 13.
-
Übung 11 (3./4. KW):
Aufgaben 2, 3, 4 (Fitch-Beweis nur auf Papier), 5, 6, 7, 9, 10, 11, 12,
aus Kapitel 17 von Band 2.
-
Übung 12 (4./5. KW):
Aufgaben 18, 25, 31, 32 (Beweis nur auf Papier), 35, 38, 43 aus Kapitel 17 sowie
Aufgaben 23, 24, 25, 26 aus Kapitel 13 (dabei jeweils Beweis oder Gegenbeipspiel nur auf Papier,
bei den Beweisen unbedingt eine Übersicht der Beweisregeln benutzen).
-
Übung 13 (5./6. KW): Aufgaben 2, 3, 4, 7, 8, 18 aus Kapitel 18
Zur Lehreseite der Forschungsgruppe Theoretische Informatik
Webmaster