Veröffentlichung 45_2010 - Philipps-Universität Marburg
Veröffentlichung 45_2010 - Philipps-Universität Marburg
Veröffentlichung 45_2010 - Philipps-Universität Marburg
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Modulbezeichnung Logik<br />
Leistungspunkte 9<br />
Inhalt • Aussagenlogik (Syntax und Semantik, äquivalente Umformungen und<br />
Normalformen, Erfüllbarkeitstests, Beweiskalküle, Adäquatheit und<br />
Vollständigkeit)<br />
• Prädikatenlogik (Syntax und Semantik, Unentscheidbarkeit,<br />
äquivalente Umformungen und Normalformen, optional: Hornformeln<br />
und Resolution, Beweiskalküle, Adäquatheit und Vollständigkeit,<br />
Unifikation)<br />
• Anwendungen, z.B.: Logik-Programmierung, SAT-Algorithmen,<br />
Modale und Temporale Logik<br />
Qualifikationsziel Die Studierenden sollen<br />
• Einsicht in die Problematik der algorithmischen Behandlung von<br />
Fragen der Logik erhalten,<br />
• den Aufbau eines logischen Systems verstehen,<br />
• die Ausdrucksfähigkeit eines logischen Systems verstehen,<br />
• Strukturen der Logik in der Informatik erkennen<br />
• mathematische Arbeitsweisen einüben (Entwickeln von mathematischer<br />
Intuition und deren formaler Begründung, Schulung des<br />
Abstraktionsvermögens, Beweisführung),<br />
• in den Übungen ihre mündliche Kommunikationsfähigkeit durch<br />
Einüben der freien Rede vor einem Publikum und bei der Diskussion<br />
Lehr- und Lernformen,<br />
Veranstaltungstypen<br />
Voraussetzungen für<br />
die Teilnahme<br />
Verwendbarkeit des<br />
Moduls<br />
Voraussetzungen für<br />
die Vergabe von<br />
Leistungspunkten<br />
verbessern<br />
Vorlesung 4 SWS, Übung 2 SWS<br />
Kompetenzen, die in den Modulen Mathematik I oder Lineare Algebra<br />
vermittelt werden<br />
• Grundmodul, Pflichtmodul im Bachelorstudiengang Informatik<br />
• Aufbaumodul im Bachelor/Masterstudiengang Mathematik und<br />
Wirtschaftsmathematik<br />
Die Modulprüfung besteht aus einer Klausur. Für die Modulprüfung ist<br />
das Lösen und die Präsentation von Übungsaufgaben<br />
Zulassungsvoraussetzung.<br />
Noten Note der Abschlussklausur<br />
Turnus des Angebots In jedem Wintersemester<br />
Arbeitsaufwand Präsenzzeit 90 Std., Selbststudium 180 Std.<br />
Dauer des Moduls 1 Semester<br />
Modulverantwortliche Prof. Welker, Prof. Gumm<br />
Literatur M.Huth und M.Ryan: Logic in Computer Science, Cambridge Univ.<br />
Press 2004.<br />
M. Ben-Ari: Mathematical Logic for Computer Science, Springer 2001.<br />
Uwe Schöning, Logik für Informatiker, Spektrum Verlag 2005.<br />
Richard Lassaignem Michel de Rougemont, Logic and Complexity,<br />
Springer, 2004.<br />
Modulhandbuch Bachelor Wirtschaftsmathematik 34