UnivIS
Information system of Friedrich-Alexander-University Erlangen-Nuremberg © Config eG 
FAU Logo
  Collection/class schedule    module collection Home  |  Legal Matters  |  Contact  |  Help    
search:      semester:   
 
 Layout
 
printable version

  
 
 Also in UnivIS
 
course list

lecture directory

  
 
events calendar

job offers

furniture and equipment offers

  
 

  Grundlagen der Logik in der Informatik (GLoIn) [Import]

Lecturer
Prof. Dr. Lutz Schröder

Details
Vorlesung
Präsenz
2 cred.h, ECTS studies, ECTS credits: 5
für Anfänger geeignet, Frühstudium, geeignet als Schlüsselqualifikation, Sprache Deutsch und Englisch
Time and place: Fri 12:15 - 13:45, H7 (außer Fri 19.11.2021); single appointment on 19.11.2021 12:15 - 13:45, C1 - Chemikum

Fields of study
PF INF-BA 3
PF I2F-BA 3
PF WINF-BA 3
WPF DS-BA 3

ECTS information:
Title:
Logic in Computer Science

Credits: 5

Prerequisites
Proficiency in German

Contents
Aussagenlogik:

  • Syntax und Semantik

  • Automatisches Schließen: Resolution

  • Formale Deduktion: Korrektheit, Vollständigkeit

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: 244
www: https://www8.cs.fau.de/teaching/WS21/gloin

Verwendung in folgenden UnivIS-Modulen
Startsemester WS 2021/2022:
Grundlagen der Logik in der Informatik (GLoIn)

Department: Department of Digital Humanities and Social Studies (DHSS)
UnivIS is a product of Config eG, Buckenhof