Illustrationsbild für den Virtuellen Studienplatz

Lehrveranstaltung 64403 (WiSe 25/26)

 
64403 Logik im Wintersemester 2025/2026
grundlegende Überarbeitung: Wintersemester 2025/2026 Umfang: 10.0 ECTS
nächster geplanter Einsatz: -keine Angaben vorhanden- Autorinnen und Autoren
Teilnahmevoraussetzungen Beschreibung
Schließen
Beschreibung
KursbeschreibungDiese Modul gibt einen breiten Einstieg in die Logik. Es werden eine Reihe klassischer und nichtklassischer Logiken vorgestellt, deren formale Syntax und Semantik eingeführt, Modellierung mit diesen Logiken diskutiert und formale Eigenschaften analysiert. Insbesondere beschäftigt sich dieses Modul mit Grundlagen zu Aussagenlogik und der Prädikatenlogik erster Stufe, die beide eine vielfache Anwendungen in Mathematik und Informatik haben. Weiterhin diskutieren wir Modallogiken und andere nicht-klassische Logiken, die insbesondere in Bereichen der Künstlichen Intelligenz Anwendung finden.
Termine
Veranstaltungsbeginn: 01.10.2025
Moodle Umgebungen
Betreuung
Betreuende Liste der Campus Standorte bzw. Studienzentren

Irrtümer und nachträgliche Datenänderungen vorbehalten.


Seite erstellt in 0,7s  |  7.6.25,15:46 im Sommersemester 2025  |  realisiert durch das LVU-System
FernUni-Logo FernUniversität in Hagen, 58084 Hagen, Telefon: +49 2331 987-01, E-Mail: fernuni@fernuni-hagen.de