Informatik 1

(53 Einträge)

Vorlesung Informatik 1, 1. Stunde

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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

preview Play
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