 |
| Vorlesung Analysis I, 50. Stunde |
|
| Creator: | Groh, Ulrich (author); |
| Subject: | Mathematik; Analysis; Vorlesung; stetige Funktionen; allgemeine Exponentialfunktion; Potenzfunktion; Dirichlet-Funktion; Zwischenwertsatz; Nullstellensatz; Fixpunktsatz; |
| Abstract: | anzeigen... |
| Publisher: | ZDV Universität Tübingen |
| Contributor: | ZDV Universität Tübingen (producer); |
| Date: | 2012-01-19 |
| Type: | video |
| Duration: | 00:37:26.0 |
| Rights: | lesen Sie mehr... |
|
|
|
|
|
|
 | |
|
 |
| Vorlesung Informatik 1, 50. Stunde |
|
| Creator: | Klaeren, Herbert (author); Sperber, Michael (author); |
| Subject: | Informatik; Vorlesung; Lambda-Kalkül; Fixpunktsatz; Rekursion; Fakultätsfunktion; Auswertungsstrategien; Linksaußen-Reduktion; Linksinnen-Reduktion; Schwache Kopfnormalform; Call-by-name; Call-by-value; Programmiersprachen; Strikte Programmiersprachen; Nicht-strikte Programmiersprachen; Haskell; |
| Abstract: | anzeigen... |
| Publisher: | ZDV Universität Tübingen |
| Contributor: | ZDV Universität Tübingen (producer); |
| Date: | 2009-01-29 |
| Type: | video |
| Duration: | 00:43:49.0 |
| Rights: | lesen Sie mehr... |
|
|
|
|
|
|
| |
|
 |
| Vorlesung Informatik 1, 49. Stunde |
|
| Creator: | Klaeren, Herbert (author); Sperber, Michael (author); |
| Subject: | Informatik; Vorlesung; Lambda-Kalkül; Boolesche Werte; Natürliche Zahlen; Church-Numerale; Rekursion; Fixpunktsatz; Fixpunktkombinator; Y-Kombinator; |
| Abstract: | anzeigen... |
| Publisher: | ZDV Universität Tübingen |
| Contributor: | ZDV Universität Tübingen (producer); |
| Date: | 2009-01-29 |
| Type: | video |
| Duration: | 00:45:07.0 |
| Rights: | lesen Sie mehr... |
|
|
|
|
|
|
| |
|
|