Modulkatalog Studiengang: IB Wirtschaftsinformatik Bachelor

FI Server [fi.cs.hm.edu] Modulkatalog Studiengang: IB
Wirtschaftsinformatik Bachelor
Logik
Fakultät 07 für Informatik und Mathematik
Modulverantwortlich:
Ruckert Martin
Dozenten:
Ruckert Martin
Angebot:
Nach Ankündigung
Credits:
5
Semesterwochenstunden:
4
Sprachen:
Deutsch, Englisch
Lehrform:
Seminaristischer Unterricht mit Übungen
Aufwand:
40 Präsenzstunden Vorlesung, 20 Präsenzstunden Übung, 35 Stunden Vor-/Nachbereitung der
Übungen, 55 Stunden Nachbereitung der Vorlesung und Prüfungsvorbereitung
Voraussetzungen:
Grundkenntnisse in Analysis, Linearer Algebra und Theoretischer Informatik, z.B. durch
erfolgreiche Teilnahme an den Modulen IF-I-B-101, IF-I-B-103, IF-I-B-205
Ziele:
Die Studenten sollen in die Lage versetzt werden, Axiomensysteme zusammen mit
Kalkülen formaler Schlussregeln als Universalkonstruktionen für mathematische oder
maschinenorientierte Beweismethoden zu verstehen.
Inhalt:
Pflicht: Aussagenlogik, Prädikatenlogik 1. Stufe, Prädikatenlogik höherer Stufe,
Querverbindungen zu Automatentheorie und Formale Sprachen.
Optional: Entscheidbarkeit, Modale und Temporale Logik, Programmverifikation
Leistungen:
Benotete schriftliche Prüfung (90 Minuten)
Medien:
Tafel
Literatur:
Schöning: Logik für Informatiker. Spektrum Akad. Verlag
Börger: Berechenbarkeit, Komplexität, Logik. Vieweg
Kröger: Temporal Logic of Programs. Springer
Studien- und Prüfungsordnung:
Code:
IF-WI-B-31-34-108
Seite 67, generiert: 06.02.2013, 15:00 Uhr http://fi.cs.hm.edu/fi/rest/public/modul/program/ib.pdf