Video | Version | |
---|---|---|
Begrüßung | 02.10.2020 | Feedforward |
19.10.2020 | Feedforward | |
Aussagenlogik: Belegungen, Wahrheitstafeln | 19.10.2020 | Feedforward |
Prädikatenlogik: Strukturen, Terme und Formeln | 19.10.2020 | Feedforward |
Prädikatenlogik: Belegungen, Gültigkeit von Formeln | 19.10.2020 | Feedforward |
Weitere Materialien |
---|
Skript zur Vorlesung Grundzüge der mathematischen Logik |