UnivIS
Informationssystem der Friedrich-Alexander-Universität Erlangen-Nürnberg © Config eG 
FAU Logo
  Sammlung/Stundenplan    Modulbelegung Home  |  Rechtliches  |  Kontakt  |  Hilfe    
Suche:      Semester:   
ACHTUNG: seit 15.06.2022 werden Lehrveranstaltungen nur noch über Campo verwaltet. Diese Daten in UnivIS sind nicht mehr auf aktuellem Stand!
 
 Darstellung
 
Druckansicht

 
 
Informatik (Bachelor of Arts (2 Fächer)) >>

  Grundlagen der Logik in der Informatik (GLoIn(A))

Dozent/in
Prof. Dr. Lutz Schröder

Angaben
Vorlesung
Präsenz
2 SWS, ECTS-Studium, ECTS-Credits: 5
für Anfänger geeignet, Frühstudium, geeignet als Schlüsselqualifikation, Sprache Deutsch und Englisch
Zeit und Ort: Do 10:15 - 11:45, H11

Studienfächer / Studienrichtungen
PF INF-BA 3 (ECTS-Credits: 5)
PF I2F-BA 3 (ECTS-Credits: 5)
PF INF-BA 1 (ECTS-Credits: 5)
PF WINF-BA 3 (ECTS-Credits: 5)
WPF DS-BA 3 (ECTS-Credits: 5)

ECTS-Informationen:
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.

Zusätzliche Informationen
Erwartete Teilnehmerzahl: 507
www: https://www8.cs.fau.de/teaching/WS22/gloin

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

Institution: Lehrstuhl für Informatik 8 (Theoretische Informatik)
UnivIS ist ein Produkt der Config eG, Buckenhof