14 - Theorie der Programmierung/ClipID:11620 vorhergehender Clip nächster Clip

Schlüsselworte: Church Rosser Strip Lemma Redex Markiert Unmarkiert
Aufnahme Datum 2019-06-17

Kurs-Verknüpfung

Theorie der Programmierung

Lehrende(r)

Prof. Dr. Lutz Schröder

Zugang

IdM-Anmeldung

Sprache

Deutsch

Einrichtung

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Produzent

MultiMediaZentrum

Format

Vorlesung

Typ

universitäre Vorlesung

Nächstes Video

15 - Theorie der Programmierung
Schröder, Lutz
Prof. Dr. Lutz Schröder
2019-06-24
IdM-Anmeldung
16 - Theorie der Programmierung
Schröder, Lutz
Prof. Dr. Lutz Schröder
2019-06-27
IdM-Anmeldung
17 - Theorie der Programmierung
Schröder, Lutz
Prof. Dr. Lutz Schröder
2019-07-01
IdM-Anmeldung
18 - Theorie der Programmierung
Schröder, Lutz
Prof. Dr. Lutz Schröder
2019-07-04
IdM-Anmeldung
19 - Theorie der Programmierung
Schröder, Lutz
Prof. Dr. Lutz Schröder
2019-07-08
IdM-Anmeldung

Mehr Videos aus der Kategorie "Technische Fakultät"

2 - Computer Vision
2024-04-25
IdM-Anmeldung
geschützte Daten  
4 - Artificial Intelligence II
2024-04-25
Frei
freie Daten  
2 - Schaltungstechnik
2024-04-24
IdM-Anmeldung
geschützte Daten  
3 - Human-centered mechatronics and robotics
2024-04-25
Studon
geschützte Daten  
2 - Cognitive Neuroscience for AI Developers
2024-04-24
IdM-Anmeldung
geschützte Daten  
2 - Mechatronic components and systems (UE)
2024-04-25
Studon
geschützte Daten