 |
| Vorlesung Informatik 2, 31. Stunde |
|
| Creator: | Klaeren, Herbert (author); Sperber, Michael (author); |
| Subject: | Informatik; Vorlesung; Angewandter Lambda-Kalkül mit Zustand; Reduktionsregeln; SECDH-Maschine; Auswertungsregeln; |
| Publisher: | ZDV Universität Tübingen |
| Contributor: | ZDV Universität Tübingen (producer); |
| Date: | 2009-06-25 |
| Type: | video |
| Duration: | 00:41:37.0 |
| Rights: | lesen Sie mehr... |
|
|
|
|
|
|
 | |
|
 |
| Vorlesung Informatik 2, 30. Stunde |
|
| Creator: | Klaeren, Herbert (author); Sperber, Michael (author); |
| Subject: | Informatik; Vorlesung; Angewandter Lambda-Kalkül mit Zustand; Adressen; Reduktionsregeln; Reduktion; |
| Publisher: | ZDV Universität Tübingen |
| Contributor: | ZDV Universität Tübingen (producer); |
| Date: | 2009-06-23 |
| Type: | video |
| Duration: | 00:46:21.0 |
| Rights: | lesen Sie mehr... |
|
|
|
|
|
|
| |
|
 |
| Vorlesung Informatik 1, 48. Stunde |
|
| Creator: | Klaeren, Herbert (author); Sperber, Michael (author); |
| Subject: | Informatik; Vorlesung; Lambda-Kalkül; Reduktionsregeln; Beta-Redex; Äquivalenz; Normalform; Church-Rosser-Eigenschaft; Boolesche Werte; Natürliche Zahlen; Church-Numerale; |
| Abstract: | anzeigen... |
| Publisher: | ZDV Universität Tübingen |
| Contributor: | ZDV Universität Tübingen (producer); |
| Date: | 2009-01-27 |
| Type: | video |
| Duration: | 00:44:47.0 |
| Rights: | lesen Sie mehr... |
|
|
|
|
|
|
| |
|
 |
| Vorlesung Informatik 1, 47. Stunde |
|
| Creator: | Klaeren, Herbert (author); Sperber, Michael (author); |
| Subject: | Informatik; Vorlesung; Lambda-Kalkül; Reduktionskalkül; Substitution; Reduktionsregeln; |
| Abstract: | anzeigen... |
| Publisher: | ZDV Universität Tübingen |
| Contributor: | ZDV Universität Tübingen (producer); |
| Date: | 2009-01-27 |
| Type: | video |
| Duration: | 00:40:19.0 |
| Rights: | lesen Sie mehr... |
|
|
|
|
|
|
| |
|
|