2 - Modallogik/ClipID:56665 previous clip next clip

Recording date 2025-04-29

Course

Modallogik

Lecturer

Prof. Dr. Lutz Schröder

Via

Studon

Language

German

Organisational Unit

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Producer

MultiMediaZentrum

Format

lecture

Type

university lecture

Up next

3 - Modallogik
Schröder, Lutz
M. Sc. Jonas Forster
2025-05-05
Studon
4 - Modallogik
Schröder, Lutz
Prof. Dr. Lutz Schröder
2025-05-06
Studon

More clips in this category "Technische Fakultät"

5 - Nonlinear Control Systems - Lecture 04
2025-05-09
Studon
protected  
4 - Handhabungs- und Montagetechnik
2025-05-09
Studon
protected  
2 - Materialien für Regenerative Energieanwendungen - Thermoelektrika
2025-05-09
Studon
protected  
4 - HOM I
2025-05-09
IdM-login
protected  
4 - Einführung in die Algorithmik: Auflösen von Rekurrenzen, Master-Theorem
2025-05-09
IdM-login
protected  
2 - Kommunikationselektronik
2025-05-09
Studon
protected