Grundlagen der Logik in der Informatik (GLoIn) [Import]
- Lecturer
- Prof. Dr. Lutz Schröder
- Details
- Vorlesung
2 cred.h, ECTS studies, ECTS credits: 5
für Anfänger geeignet, Frühstudium, geeignet als Schlüsselqualifikation, Sprache Deutsch oder Englisch
Time and place: Thu 8:30 - 10:00, H11
- Fields of study
- PF INF-BA 3
PF I2F-BA 3
PF WINF-BA 3
- ECTS information:
- Title:
- Logic in Computer Science
- Credits: 5
- Prerequisites
- Proficiency in German
- Contents
- Aussagenlogik:
Prädikatenlogik erster Stufe:
Syntax und Semantik
Automatisches Schließen: Unifikation, Resolution
Quantorenelimination
Anwendung automatischer Beweiser
Formale Deduktion: Korrektheit, Vollständigkeit
- Literature
- Schöning, U.: Logik für Informatiker.
Heidelberg: Spektrum Akademischer Verlag, 2000
Barwise, J., and Etchemendy, J.: Language, Proof and Logic;
CSLI, 2000. Huth, M., and Ryan, M.: Logic in Computer Science; Cambridge
University Press, 2000.
- Additional information
- Expected participants: 331
www: https://www8.cs.fau.de/WS18:gloin
- Assigned lectures
- UE: Intensivübung zu Grundlagen der Logik in der Informatik
-
Lecturer: Ulrich Dorsch
Time and place: Thu 18:15 - 19:45, 02.133-113
- UE: Übungen zu Grundlagen der Logik in der Informatik
-
Lecturers: PD Dr. Sergey Goncharov, Christoph Rauch
www: https://www8.cs.fau.de/WS18:gloin
- Verwendung in folgenden UnivIS-Modulen
- Startsemester WS 2018/2019:
- Grundlagen der Logik in der Informatik (GLoIn)
- Department: Interdisziplinäres Zentrum Digitale Geistes- und Sozialwissenschaften
|
|