Informatik 1 Kapitel 13: β-Reduktion, Variablenbindung & Substitution erklärt 🧠

Lerne in diesem Video aus dem Informatik 1 Kurs der Universität Tübingen alles Wichtige zu β-Reduktion, Variable Capture, Substitution und Namens-Pool – verständlich erklärt von Torsten Grust.

Informatik 1 Kapitel 13: β-Reduktion, Variablenbindung & Substitution erklärt 🧠
Informatik 1 Kapitel 13: β-Reduktion, Variablenbindung & Substitution erklärt 🧠

About this video

Video lecture, part of the "Informatik 1" course, U Tübingen, winter semester 2020/21. Read by Torsten Grust.

Tags and Topics

Browse our collection to discover more content in these categories.

Video Information

Views

1.2K

Likes

27

Duration

46:23

Published

Feb 14, 2021

User Reviews

4.5
(1)
Rate:

Related Trending Topics

LIVE TRENDS

Related trending topics. Click any trend to explore more videos.

Trending Now