|
|
Wirtschaftsinformatik (Bachelor of Science) >>
|
Grundlagen der Logik in der Informatik (GLoIn)- Dozent/in
- Prof. Dr. Lutz Schröder
- Angaben
- Vorlesung
2 SWS, ECTS-Studium, ECTS-Credits: 2,5
für Anfänger geeignet, Frühstudium, geeignet als Schlüsselqualifikation, Sprache Deutsch oder Englisch
Zeit und Ort: Do 8:30 - 10:00, HH (außer Do 27.11.2014, Do 29.1.2015); Einzeltermine am 27.11.2014, 29.1.2015 8:30 - 10:00, HG
- Studienfächer / Studienrichtungen
- PF INF-BA-S 3
PF INF-BA 3
PF I2F-BA 3
PF WINF-BA 3
- ECTS-Informationen:
- Title:
- Foundations of Logic and Logic Programming
- Credits: 2,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.
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 278
www: https://www8.cs.fau.de/WS14:gloin
- Zugeordnete Lehrveranstaltungen
- UE: Intensivübung zu Grundlagen der Logik in der Informatik
-
Dozent/in: Dr. Sergey Goncharov
- Verwendung in folgenden UnivIS-Modulen
- Startsemester WS 2014/2015:
- Grundlagen der Logik für Informatiker (GLoIn)
- Institution: Lehrstuhl für Informatik 8 (Theoretische Informatik)
|
 |
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|