Informatik 1
(53 Einträge)
Vorlesung Informatik 1, 1. Stunde


Title: | Vorlesung Informatik 1, 1. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Dienstag, 16. Oktober 2018 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2018-10-16 |
Subjects: | Informatik, Vorlesung, Parkplatz-Problem, Programmieren mit Funktionen, Leibniz-Prinzip, |
Identifier: | UT_20181016_001_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 2. Stunde


Title: | Vorlesung Informatik 1, 2. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Dienstag, 16. Oktober 2018 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2018-10-16 |
Subjects: | Informatik, |
Identifier: | UT_20181016_002_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 3. und 4. Stunde


Title: | Vorlesung Informatik 1, 3. und 4. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Dienstag, 23. Oktober 2018 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2018-10-23 |
Subjects: | Informatik, Vorlesung, Scheme, Ausdrücke, Auswertung, Abstraktion, DrRacket, Präfixnotation, Read-Eval-Print-Loop (REPL), Literale, |
Identifier: | UT_20181023_001_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 5. Stunde


Title: | Vorlesung Informatik 1, 5. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Donnerstag, 25. Oktober 2018 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2018-10-25 |
Subjects: | Informatik, Vorlesung, Scheme, Notation, Identifier, define, Lambda-Abstraktion, lambda, |
Identifier: | UT_20181025_001_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 6. Stunde


Title: | Vorlesung Informatik 1, 6. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Donnerstag, 25. Oktober 2018 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2018-10-25 |
Subjects: | Informatik, Vorlesung, Scheme, Funktionen, define, Kommentar, Semikolon, Signatur, |
Identifier: | UT_20181025_002_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 7. Stunde


Title: | Vorlesung Informatik 1, 7. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Dienstag, 30. Oktober 2018 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2018-10-30 |
Subjects: | Informatik, Vorlesung, Testfälle, check-expect, check-within, Konstruktionsanleitung, |
Identifier: | UT_20181030_001_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 8. Stunde


Title: | Vorlesung Informatik 1, 8. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Dienstag, 30. Oktober 2018 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2018-10-30 |
Subjects: | Informatik, Vorlesung, |
Identifier: | UT_20181030_002_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 9. Stunde


Title: | Vorlesung Informatik 1, 9. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Dienstag, 06. November 2018 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2018-11-06 |
Subjects: | Informatik, Vorlesung, Scheme, Reduktionsregeln, |
Identifier: | UT_20181106_001_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 10. Stunde


Title: | Vorlesung Informatik 1, 10. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Dienstag, 06. November 2018 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2018-11-06 |
Subjects: | Informatik, Vorlesung, Lexikalische Bindung, |
Identifier: | UT_20181106_002_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 11. Stunde


Title: | Vorlesung Informatik 1, 11. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Donnerstag, 08. November 2018 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2018-11-08 |
Subjects: | Informatik, Vorlesung, Fallunterscheidung, cond, Signatur one-of, Reduktion von cond, Binäre Fallunterscheidungen, |
Identifier: | UT_20181108_001_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 12. Stunde


Title: | Vorlesung Informatik 1, 12. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Donnerstag, 08. November 2018 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2018-11-08 |
Subjects: | Informatik, Vorlesung, Fallunterscheidung, Zusammengesetzte Daten, |
Identifier: | UT_20181108_002_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 13. Stunde


Title: | Vorlesung Informatik 1, 13. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Dienstag, 13. November 2018 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2018-11-13 |
Subjects: | Informatik, Vorlesung, Zusammengesetzte Daten, Datendefinition für Record, |
Identifier: | UT_20181113_001_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 14. Stunde


Title: | Vorlesung Informatik 1, 14. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Dienstag, 13. November 2018 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2018-11-13 |
Subjects: | Informatik, Vorlesung, Algebraische Eigenschaften, |
Identifier: | UT_20181113_002_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 15. Stunde


Title: | Vorlesung Informatik 1, 15. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Donnerstag, 15. November 2018 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2018-11-15 |
Subjects: | Informatik, Vorlesung, Geocoding Service, Geocoding, Prädikat mit Signatur, Signatur location, |
Identifier: | UT_20181115_001_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 16. Stunde


Title: | Vorlesung Informatik 1, 16. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Donnerstag, 15. November 2018 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2018-11-15 |
Subjects: | Informatik, Vorlesung, geocoder, geocode-error, Signatur mixed, Prädikate, |
Identifier: | UT_20181115_002_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 17. Stunde


Title: | Vorlesung Informatik 1, 17. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Dienstag, 20. November 2018 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2018-11-20 |
Subjects: | Informatik, Vorlesung, Geocoding, match, |
Identifier: | UT_20181120_001_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 18. Stunde


Title: | Vorlesung Informatik 1, 18. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Dienstag, 20. November 2018 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2018-11-20 |
Subjects: | Informatik, Vorlesung, Pattern Matching, Geocode, let, |
Identifier: | UT_20181120_002_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 19. Stunde


Title: | Vorlesung Informatik 1, 19. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Donnerstag, 22. November 2018 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2018-11-22 |
Subjects: | Informatik, Vorlesung, Geocoder, Polymorphe Signaturen, Parametrisch polymorphe Prozeduren, |
Identifier: | UT_20181122_001_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 20. Stunde


Title: | Vorlesung Informatik 1, 20. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Donnerstag, 22. November 2018 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2018-11-22 |
Subjects: | Informatik, Vorlesung, Polymorphie, Polymorphe Paare, |
Identifier: | UT_20181122_002_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 21. Stunde


Title: | Vorlesung Informatik 1, 21. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Dienstag, 27. November 2018 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2018-11-27 |
Subjects: | Informatik, Vorlesung, Polymorphe Listen, Listen, list-of, Listenkonstruktion, Prädikate, Selektoren, |
Identifier: | UT_20181127_001_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 22. Stunde


Title: | Vorlesung Informatik 1, 22. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Dienstag, 27. November 2018 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2018-11-27 |
Subjects: | Informatik, Vorlesung, Listen, Funktionen auf Listen, Summe der Elemente, Pattern Matching, |
Identifier: | UT_20181127_002_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 23. Stunde


Title: | Vorlesung Informatik 1, 23. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Donnerstag, 29. November 2018 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2018-11-29 |
Subjects: | Informatik, Vorlesung, Listen, Funktionen auf Listen, list-sum, list-length, concatenate, |
Identifier: | UT_20181129_001_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 24. Stunde


Title: | Vorlesung Informatik 1, 24. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Donnerstag, 29. November 2018 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2018-11-29 |
Subjects: | Informatik, Vorlesung, Listen, Funktionen auf Listen, |
Identifier: | UT_20181129_002_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 25. Stunde


Title: | Vorlesung Informatik 1, 25. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Dienstag, 04. Dezember 2018 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2018-12-04 |
Subjects: | Informatik, Vorlesung, Funktionen auf Listen, sorted?, Rekursion, Natürliche Zahlen, Bedingte algebraische Eigenschaften, Fakultätsfunktion, |
Identifier: | UT_20181204_001_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 26. Stunde


Title: | Vorlesung Informatik 1, 26. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Dienstag, 04. Dezember 2018 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2018-12-04 |
Subjects: | Informatik, Vorlesung, Rekursive Funktionen, natürliche Zahlen, factorial, unfactorial, Reduktionsprozesse, |
Identifier: | UT_20181204_002_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 27. Stunde


Title: | Vorlesung Informatik 1, 27. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Donnerstag, 06. Dezember 2018 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2018-12-06 |
Subjects: | Informatik, Vorlesung, Rekursive Funktionen, Assoziativgesetz, Akkumulator, Akkumulierendes Argument, fac-worker, wrapper, Iterativer Berechnungsprozess, |
Identifier: | UT_20181206_001_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 28. Stunde


Title: | Vorlesung Informatik 1, 28. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Donnerstag, 06. Dezember 2018 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2018-12-06 |
Subjects: | Informatik, Vorlesung, Akkumulierendes Argument, Akkumulator, rev, Iterative Listenumkehr, backwords, |
Identifier: | UT_20181206_002_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 29. Stunde


Title: | Vorlesung Informatik 1, 29. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Dienstag, 11. Dezember 2018 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2018-12-11 |
Subjects: | Informatik, Vorlesung, Funktionen höherer Ordnung, |
Identifier: | UT_20181211_001_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 30. Stunde


Title: | Vorlesung Informatik 1, 30. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Dienstag, 11. Dezember 2018 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2018-12-11 |
Subjects: | Informatik, Vorlesung, Higher-order functions, map, filter, anonyme Funktion, Listenfaltung, |
Identifier: | UT_20181211_002_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 31. Stunde


Title: | Vorlesung Informatik 1, 31. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Donnerstag, 13. Dezember 2018 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2018-12-13 |
Subjects: | Informatik, Vorlesung, |
Identifier: | UT_20181213_001_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 32. Stunde


Title: | Vorlesung Informatik 1, 32. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Donnerstag, 13. Dezember 2018 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2018-12-13 |
Subjects: | Informatik, Vorlesung, Higher-order functions, Teachpack universe, big-bang, Funktionsfabriken, |
Identifier: | UT_20181213_002_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 33. Stunde


Title: | Vorlesung Informatik 1, 33. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Dienstag, 18. Dezember 2018 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2018-12-18 |
Subjects: | Informatik, Vorlesung, Higher-order functions, Komposition von Funktionen, Exponentiation, Pointless Style, |
Identifier: | UT_20181218_001_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 34. Stunde


Title: | Vorlesung Informatik 1, 34. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Dienstag, 18. Dezember 2018 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2018-12-18 |
Subjects: | Informatik, Vorlesung, Higher-order functions, Currying, curry, |
Identifier: | UT_20181218_002_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 35. Stunde


Title: | Vorlesung Informatik 1, 35. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Donnerstag, 20. Dezember 2018 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2018-12-20 |
Subjects: | Informatik, Vorlesung, Higher-order functions, Differenzenquotient, diffquot, Charakteristische Funktionen einer Menge, |
Identifier: | UT_20181220_001_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 36. Stunde


Title: | Vorlesung Informatik 1, 36. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Donnerstag, 20. Dezember 2018 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2018-12-20 |
Subjects: | Informatik, Vorlesung, Higher-order functions, set-insert, Charakteristische Funktionen zur Repräsentation von Mengen, |
Identifier: | UT_20181220_002_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 37. Stunde


Title: | Vorlesung Informatik 1, 37. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Dienstag, 08. Januar 2019 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2019-01-08 |
Subjects: | Informatik, Vorlesung, Streams, verzögerte Auswertung, |
Identifier: | UT_20190108_001_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 38. Stunde


Title: | Vorlesung Informatik 1, 38. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Dienstag, 08. Januar 2019 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2019-01-08 |
Subjects: | Informatik, Vorlesung, Stream, |
Identifier: | UT_20190108_002_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 39. Stunde


Title: | Vorlesung Informatik 1, 39. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Donnerstag, 10. Januar 2019 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2019-01-10 |
Subjects: | Informatik, Vorlesung, Binärbäume, Baum, Knoten, Wurzel, Blatt, |
Identifier: | UT_20190110_001_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 40. Stunde


Title: | Vorlesung Informatik 1, 40. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Donnerstag, 10. Januar 2019 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2019-01-10 |
Subjects: | Informatik, Vorlesung, Binärbäume, Tiefe, btree-depth, |
Identifier: | UT_20190110_002_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 41. Stunde


Title: | Vorlesung Informatik 1, 41. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Dienstag, 15. Januar 2019 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2019-01-15 |
Subjects: | Informatik, Vorlesung, Binärbäume, pretty printing, |
Identifier: | UT_20190115_001_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 42. Stunde


Title: | Vorlesung Informatik 1, 42. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Dienstag, 15. Januar 2019 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2019-01-15 |
Subjects: | Informatik, Vorlesung, Binärbäume, btree-fold, new btree-depth, new btree-size, btree-mirror, |
Identifier: | UT_20190115_002_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 43. Stunde


Title: | Vorlesung Informatik 1, 43. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Donnerstag, 17. Januar 2019 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2019-01-17 |
Subjects: | Informatik, Vorlesung, Binärbäume, Isomorphie, Tiefendurchlauf, depth-first traversal, inorder traversal, preorder traversal, |
Identifier: | UT_20190117_001_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 44. Stunde


Title: | Vorlesung Informatik 1, 44. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Donnerstag, 17. Januar 2019 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2019-01-17 |
Subjects: | Informatik, Vorlesung, Binärbäume, depth-first traversal, Tiefendurchlauf, breadth-first traversal, |
Identifier: | UT_20190117_002_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 45. Stunde


Title: | Vorlesung Informatik 1, 45. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Dienstag, 22. Januar 2019 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2019-01-22 |
Subjects: | Informatik, Vorlesung, Zeichencodierungen, Zeichencodierungen, Huffman-Codes, |
Identifier: | UT_20190122_001_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 46. Stunde


Title: | Vorlesung Informatik 1, 46. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Dienstag, 22. Januar 2019 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2019-01-22 |
Subjects: | Informatik, Vorlesung, Huffman-Codierung, huff-decode, huff-encode, huffman-code, Decoder-Routine, |
Identifier: | UT_20190122_002_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 47. Stunde


Title: | Vorlesung Informatik 1, 47. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Donnerstag, 24. Januar 2019 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2019-01-24 |
Subjects: | Informatik, Vorlesung, Huffman-Codierung, Encoder-Routine, |
Identifier: | UT_20190124_001_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 48. Stunde


Title: | Vorlesung Informatik 1, 48. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Donnerstag, 24. Januar 2019 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2019-01-24 |
Subjects: | Informatik, Vorlesung, Huffman-Code, |
Identifier: | UT_20190124_002_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 49. Stunde


Title: | Vorlesung Informatik 1, 49. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Dienstag, 29. Januar 2019 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2019-01-29 |
Subjects: | Informatik, Vorlesung, Die Macht der Abstraktion, Neue Sprachebene DMdA, |
Identifier: | UT_20190129_001_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 50. Stunde


Title: | Vorlesung Informatik 1, 50. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Dienstag, 29. Januar 2019 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2019-01-29 |
Subjects: | Informatik, Vorlesung, Lambda-Kalkül, Syntax, |
Identifier: | UT_20190129_002_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 51. Stunde


Title: | Vorlesung Informatik 1, 51. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Donnerstag, 31. Januar 2019 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2019-01-31 |
Subjects: | Informatik, Vorlesung, Lambda-Kalkül, freie Variablen, free, gebundene Variablen, bound, Lambda-Kalkül Auswertung, |
Identifier: | UT_20190131_001_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 52. Stunde


Title: | Vorlesung Informatik 1, 52. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Donnerstag, 31. Januar 2019 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2019-01-31 |
Subjects: | Informatik, Vorlesung, Lambda-Kalkül, Lambda-Kalkül Auswertung, |
Identifier: | UT_20190131_002_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 53. Stunde


Title: | Vorlesung Informatik 1, 53. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Dienstag, 05. Februar 2019 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2019-02-05 |
Subjects: | Informatik, Vorlesung, Lambda-Kalkül, Lambda-Kalkül Auswertung, beta-Reduktion, Normalform, Redex, Satz von Church-Rosser, Reduktionsstrategie, |
Identifier: | UT_20190205_001_info1c_0001 |
Rights: | Rechtshinweise |
Vorlesung Informatik 1, 54. Stunde


Title: | Vorlesung Informatik 1, 54. Stunde |
Description: | Vorlesung im WiSe 2018-2019; Dienstag, 05. Februar 2019 |
Creator: | Torsten Grust (author) |
Contributor: | ZDV Universität Tübingen (producer) |
Publisher: | ZDV Universität Tübingen |
Date Created: | 2019-02-05 |
Subjects: | Informatik, Vorlesung, Lambda-Kalkül, Lambda-Kalkül Auswertung, Reduktionsstrategie, Applicative Order, Booleans, Boolean operations, Natürliche Zahlen, |
Identifier: | UT_20190205_002_info1c_0001 |
Rights: | Rechtshinweise |