Logik in der Informatik (SS 2005)
Inhalt
- Aussagenlogik
- Prädikatenlogik
- Modallogiken
- Logische Grundlagen der Logikprogrammierung und deduktiver Datenbanken
- Modelltheorie und Beweistheorie, Vorwärts- und Rückwärtsschließen, automatisiertes Beweisen;
- Anwendungen verschiedener Logiken in der Informatik
Organisation
- Umfang: 2 SWS (Vorlesung) + 2 SWS (Übung) bzw. 7,5 ECTS-Kreditpunkte
- Vorlesung: Prof. Dr. Stefan Conrad
- Übung: Johanna Vompras
Verwendbarkeit der Veranstaltung:
- als Teil (Hälfte) eines Wahlpflichtmodul oder Schwerpunktmodul der Theoretischen Informatik im Bachelor- (und Master-) Studiengang Informatik
- Nebenfach Informatik für einige andere Studiengänge
Literatur
Diese Liste stellt nur eine Auswahl dar!
- S. Conrad: A Logic Primer.
Kapitel 2 in J. Chomicke, G. Saake (eds.),
Logics for Databases and Information Systems,
Kluwer Academic Publisher, 1998. - U. Schöning: Logik für Informatiker.
5. Auflage, Spektrum Akad. Verlag, 2000. - J. Dassow: Logik für Informatiker.
B.G. Teubner Verlag, 2005. - S. Ceri, G. Gottlob, L. Tanca: Logic Programming and Databases.
Springer-Verlag, 1990.