20 - Modallogik/ClipID:56683 vorhergehender Clip nächster Clip

Aufnahme Datum 2025-07-08

Kurs-Verknüpfung

Modallogik

Lehrende(r)

Prof. Dr. Lutz Schröder

Zugang

Studon

Sprache

Deutsch

Einrichtung

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Produzent

MultiMediaZentrum

Format

Vorlesung

Typ

universitäre Vorlesung

Mehr Videos aus der Kategorie "Technische Fakultät"

12 - Halbleitertechnik III - Leistungshalbleiterbauelemente Übung (HL III - LBE) 2024/2025
2025-02-07
IdM-Anmeldung
geschützte Daten  
9 - Robotics 2 - Exercise 11
2025-02-06
Studon
geschützte Daten  
15 - Informatische Werkzeuge in den Geistes- und Sozialwissenschaften I
2025-02-07
Frei
freie Daten  
30 - Artificial Intelligence I
2025-02-06
Frei
freie Daten  
15 - Grundlagen der Elektrotechnik III
2025-02-06
IdM-Anmeldung
geschützte Daten  
14 - Cyber-physical Systems (Übung), Wintersemester 2024/25
2025-02-07
Studon
geschützte Daten