Informatik 1

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