Informatik 1

(38 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