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

  
 
Module Description Sheet (PDF)

  
 
 Also in UnivIS
 
course list

lecture directory

  
 
events calendar

job offers

furniture and equipment offers

  
 

Modallogik (ML)7.5 ECTS
(englische Bezeichnung: Modal Logic)

Modulverantwortliche/r: Lutz Schröder
Lehrende: Lutz Schröder

Start semester: SS 2022Duration: 1 semesterCycle: unregelmäßig
Präsenzzeit: 56 Std.Eigenstudium: 169 Std.Language: Deutsch und Englisch

Lectures:

Empfohlene Voraussetzungen:

It is recommended to finish the following modules before starting this module:

Grundlagen der Logik in der Informatik (WS 2021/2022)

Inhalt:

  • Relationale Modallogiken

  • Ausdrücksstärke

  • Aximoatisierung und Vollständigkeit

  • Entscheidbarkeit und Komplexität

  • Programmverifikation mittels dynamischer und temporaler Logiken

  • Modaler mu-Kalkül

  • Koalgebraische Logik

Lernziele und Kompetenzen:


Fachkompetenz
Wissen
Die Studierenden geben grundlegede Definitionen, Axiomatisierungen und Resultate aus der Metatheorie der Modallogik wieder.
Anwenden
Die Studierenden führen beispielhaft Beweise in modallogischen Deduktionssystemen und wenden modallogische Schlussfolgerungsalgorithmen korrekt an. Sie instanziieren gängige Vollständigkeitskritierien auf konkrete Modallogiken.
Analysieren
Die Studierenden teilen Logiken gemäß ihrer metalogischen Eigenschaften wie Axiomatisierbarkeit, Entscheidbarkeit oder Komplexität ein; sie wählen für gegebene Anwendungszwecke geeignete Logiken aus.
Erschaffen
Die Studierenden führen selbständig metatheoretische Beweise über Modallogiken.
Lern- bzw. Methodenkompetenz
Die Studierenden erarbeiten selbständig formale Beweise.
Sozialkompetenz
Die Studierenden arbeiten in Kleingruppen erfolgreich zusammen.

Literatur:

Sally Popkorn, First Steps in Modal Logic, 314 pages, Cambridge University Press, 1994.
Patrick Blackburn, Maarten de Rijke and Yde Venema, Modal Logic, 554 pages, Cambridge University Press, 2001.
Alexander Chagrov and Michael Zakharyashev, Modal Logic, 605 pages, Oxford University Press, 1997.

Weitere Informationen:

Keywords: Logik, Semantik, Deduktion, Programmverifikation
www: https://www8.cs.fau.de/teaching/ml/

Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:
Das Modul ist im Kontext der folgenden Studienfächer/Vertiefungsrichtungen verwendbar:

  1. Artificial Intelligence (Master of Science)
    (Po-Vers. 2021s | TechFak | Artificial Intelligence (Master of Science) | Gesamtkonto | Wahlpflichtmodulbereich | Symbolic Artificial Intelligence | Modallogik)
  2. Data Science (Bachelor of Science)
    (Po-Vers. 2020w | Vertiefungsrichtungen | Datenbanken und Wissensrepräsentation (DW) | Modallogik)
  3. Data Science (Bachelor of Science)
    (Po-Vers. 2020w | Vertiefungsrichtungen | Nicht gewählte Vertiefungsrichtungen | Modallogik)
  4. Data Science (Bachelor of Science)
    (Po-Vers. 2022s | Gesamtkonto | Vertiefungsrichtungen | Datenbanken und Wissensrepräsentation (DW) | Modallogik)
  5. Data Science (Bachelor of Science)
    (Po-Vers. 2022s | Gesamtkonto | Vertiefungsrichtungen | Nicht gewählte Vertiefungsrichtungen | Modallogik)
  6. Informatik (Bachelor of Science)
    (Po-Vers. 2009s | TechFak | Informatik (Bachelor of Science) | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung Theoretische Informatik | Modallogik)
  7. Informatik (Bachelor of Science)
    (Po-Vers. 2009w | TechFak | Informatik (Bachelor of Science) | Gesamtkonto | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung Theoretische Informatik | Modallogik)
  8. Informatik (Bachelor of Science)
    (Po-Vers. 2022w | TechFak | Informatik (Bachelor of Science) | Gesamtkonto | Wahlpflichtbereich (Wahlpflichtmodule aus mind. 2 Vertiefungsrichtungen) | Vertiefungsrichtung Theoretische Informatik | Modallogik)
  9. Informatik (Master of Science)
    (Po-Vers. 2010 | TechFak | Informatik (Master of Science) | Gesamtkonto | Wahlpflichtbereich | Säule der theoretisch orientierten Vertiefungsrichtungen | Vertiefungsrichtung Theoretische Informatik | Modallogik)
  10. Mathematik (Bachelor of Science)
    (Po-Vers. | NatFak | Mathematik (Bachelor of Science) | Module des Nebenfachs | Nebenfach Informatik | Vertiefungsmodule | Vertiefungsrichtung Theoretische Informatik | Modallogik)
  11. Mathematik (Bachelor of Science)
    (Po-Vers. 2019w | NatFak | Mathematik (Bachelor of Science) | weitere Module der Bachelorprüfung | Module des Nebenfachs | Nebenfach Informatik | Vertiefungsmodule | Vertiefungsrichtung Theoretische Informatik | Modallogik)

Studien-/Prüfungsleistungen:

Modallogik (Prüfungsnummer: 984981)

(englischer Titel: Modal logic)

Prüfungsleistung, mündliche Prüfung, Dauer (in Minuten): 30, benotet, 7.5 ECTS
Anteil an der Berechnung der Modulnote: 100.0 %
weitere Erläuterungen:
Die Note der Prüfungsleistung setzt sich zu 50% aus dem Ergebnis einer 30-minütigen mündlichen Prüfung am Semesterende und zu 50% aus der Note für die Bearbeitung von fünf Übungsblättern zusammen.
Prüfungssprache: Deutsch und Englisch

Erstablegung: SS 2022, 1. Wdh.: WS 2022/2023
1. Prüfer: Lutz Schröder

UnivIS is a product of Config eG, Buckenhof