Homepage |
nach oben |
vorherige |
nächste |
Kontakt
Logik
Pflichtveranstaltungen
1. Semester (ST)
Beschreibung
Einführung in die Aussagenlogik; formale Sprache; Semantik
(Wahrheitswerte); Syntax (Axiome und Schlußregeln); Normalformen;
Hornformeln; aussagenlogische Resolution; Korrektheit
und Vollständigkeit der Aussagenlogik; Einführung in die
Prädikatenlogik 1. Stufe; formale Sprache; Semantik und Syntax;
Normalformen; Herbrand-Theorie; prädikatenlogische Resolution;
Logik-Programmierung; Prolog.
Anmerkungen
Die Logik soll Grundlagen für die Vorlesungen zur
Theoretischen Informatik legen, sie hat aber nicht die
Aufgabe, Grundlagen für sonstige Vorlesungen zu legen.
Mathematische Grundkenntnisse, die nicht zum Vorlesungsstoff gehören
(z. B. aus der Mengenlehre), können nicht
ausführlich erläutert werden.
Je nach ihren Vorkenntnissen müssen Studentinnen und Studenten
evtl. vorhandene Wissenslücken im Selbststudium ausgleichen.
Das gilt natürlich entsprechend auch für andere Vorlesungen.
Voraussetzungen
Möglichst gute mathematische Grundkenntnisse.
Literatur
Clocksin, Mellish: Programming in Prolog Springer Verlag, 1984
Böhme: Einstieg in die mathematische Logik Hanser Verlag, 1981
Schöning: Logik für Informatiker SPEKTRUM Akademischer Verlag, 1995 oder später
Rautenberg: Einführung in die mathematische Logik Vieweg
Verlag, 1996
 |
 |
 |
 |
 |
| Homepage |
nach oben |
vorherige |
nächste |
Kontakt |
Autor: Klaus
Lagally, Stand: 18.01.2001