Logik

Wintersemester 2015/2016

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 15. Februar 2016, 10:00–12:00 Uhr
Unbenoteter Schein:	durch Klausur am 15. Februar 2016, 10:00–12:00 Uhr

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), allerdings benutzen wir das Programm „Submit“ nicht. Die Software läuft auf den Plattformen Linux, Windows sowie Mac (auch Mac mit Intel-Prozessor).

Klausur: Eine Möglichkeit zur Klausureinsicht besteht am Freitag, dem 27. Mai 2016, von 12 bis 14 Uhr im Raum G29-018.
Die Wiederholungsklausur ist am 2. August 2016 von 09:00 bis 11:00 Uhr in G16-H5.

Aktuelle Informationen:

Bei Fragen und Problemen wenden Sie sich bitte per E-Mail an (logik (at) 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.

Übungsaufgaben: (Die Aufgabennummern beziehen sich auf das Buch Sprache, Beweis und Logik, der Zugang ist geschützt, siehe oben.)

Übungsblatt 1 (43. KW): Aufgaben 2 bis 9, 12, 13 aus Kapitel 1.
Übungsblatt 2 (44. KW): Aufgaben 1 bis 5, 7, 16, 22 bis 25 aus Kapitel 2.
Übungsblatt 3 (45. KW): Aufgaben 3, 4 (mittels vollständiger Induktion!), 6, 7, 10, 11, 14, 16, 21, 22, 25 aus Kapitel 3.
Übungsblatt 4 (46. KW): Aufgaben 2, 8, 14, 17, 22, 23, 27, 30, 31, 39, 40 aus Kapitel 4.
Übungsblatt 5 (47. KW): siehe hier.
Übungsblatt 6 (48. KW): siehe hier.
Übungsblatt 7 (49. KW): siehe hier.
Übungsblatt 8 (50. KW): siehe hier.
Übungsblatt 9 (51. KW): siehe hier.
Übungsblatt 10 (2. KW): siehe hier.
Übungsblatt 11 (3. KW): siehe hier.
Übungsblatt 12 (4. KW): siehe hier.

Zur Lehreseite der Forschungsgruppe Theoretische Informatik

Webmaster