Home >> Back >> List01

Home

Browsen

Indizes

Semester

Suchen

Themen

Information

Kontakt

Links

Service

Impressum

Dokumentenliste mit 42 Einträgen   Vorlesung Informatik 1, 58. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Zeiger; Box; Zelle; quotient+remainder; make-phase-advancer; Parameter; Bindungen; Closure; Sharing; equal?; Gleichheit; eq?; Selbheit; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2009-02-12 Type: video Duration: 00:42:42.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 57. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Zuweisung; Mutation; Kartenspiel; create-hand; Seiteneffekt; append-to-hand!; remove-last-card!; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2009-02-12 Type: video Duration: 00:41:21.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 56. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Ampel; Globaler Zustand; advance-state!; Zeiger; Zustand kapseln; Substitutionsmodell; make-phase-advancer; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2009-02-10 Type: video Duration: 00:43:57.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 55. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Zuweisungen; Zustand; Ampel; Ampelphase; next-phase; set!; begin; advance-phase!; Abstraktion; Bindung; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2009-02-10 Type: video Duration: 00:42:23.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 54. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Programmierung; Schrittweise Verfeinerung; Daten; Schnittstelle; apartment; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2009-02-05 Type: video Duration: 00:36:48.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 53. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Programmierung; Schrittweise Verfeinerung; Textformatierung; reformat; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2009-02-05 Type: video Duration: 00:51:57.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 52. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Programmierung; Textformatierung; reformat; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2009-02-03 Type: video Duration: 00:38:43.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 51. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Programmierung; Textformatierung; reformat; Große Fallunterscheidungen; Testfälle; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2009-02-03 Type: video Duration: 00:37:29.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 46. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Lambda-Kalkül; Sprache; Freie Variablen; Gebundene Variablen; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2009-01-22 Type: video Duration: 00:45:03.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 44. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Mathematische Logik; Modelltheorie; Beweistheorie; Logische Kalküle; Sequenzenkalkül; Aussagenlogik; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2009-01-20 Type: video Duration: 00:43:23.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 43. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Suchbäume; Beobachtungskontext; Logische Kalküle; Logik; Wahrheit; Elementare Aussagen; Zusammengesetzte Aussagen; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2009-01-20 Type: video Duration: 00:41:10.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 42. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Syntax; Semantik; Funktionen; Gleichungen; Terme; Äquivalenz; Äquivalenzrelationen; Halbordnung; Kongruenzrelation; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2009-01-15 Type: video Duration: 00:46:11.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 41. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Formalisierung; Suchbäume; Signatur; Terme; Algebren; Mehrsortige Algebren; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2009-01-15 Type: video Duration: 00:46:51.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 40. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Suchbäume; Implementierung; Schnittstelle; Schnittstellenbeschreibung; Suchbaum-Schnittstelle; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2009-01-13 Type: video Duration: 00:44:35.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 39. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Suchbäume; Suchbaumeigenschaft; search-tree-insert; Entartete Suchbäume; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2009-01-13 Type: video Duration: 00:41:17.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 38. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Suchbäume; Suchbaum; Datendefinition; Recorddefinition; Vertrag; let; letrec; factorial; search-tree-member?; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2009-01-08 Type: video Duration: 00:43:31.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 37. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Binäre Bäume; Binärbaum; Knoten; depth; node-count; Suchbäume; Suchbaumeigenschaft; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2009-01-08 Type: video Duration: 00:42:26.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 35. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Bilder; Modell; Ansicht; on-redraw; on-tick-event; on-key-event; on-mouse-event; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2008-12-16 Type: video Duration: 00:43:30.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 34. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Bilder; Teachpack world.ss; bewegte Bilder; Einsteins Zunge; combined; Modell; Ansicht; big-bang; on-tick-event; Stimmungsindex; Animation; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2008-12-11 Type: video Duration: 00:41:34.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 33. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; check-expect; Prozeduren; Äquivalenz; Teachpack image.ss; Bilder; line; overlay; above; beside; Kombinatoren; clip; pad; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2008-12-11 Type: video Duration: 00:49:32.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 32. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Prozedurfabriken; compose; repeat; Identität; Curry; Schönfinkel; curry; uncurry; Zeitabhängige Modelle; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2008-12-09 Type: video Duration: 00:43:45.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 31. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Listen; list-fold; concatenate; list-length; anonyme Prozeduren; filter; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2008-12-09 Type: video Duration: 00:44:11.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 28. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Abstraktion; Higher-Order-Prozeduren; map-list; anonyme Prozeduren; Listen; list-fold; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2008-12-02 Type: video Duration: 00:43:47.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 27. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Akkumulatoren; endrekursiver Aufruf; tail call; Rekursion; Iteration; Fakulutät; umgedrehte Liste; Higher-Order-Programmierung; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2008-12-02 Type: video Duration: 00:41:15.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 26. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Akkumulator; Fakultätsfunktion; rekursiver Aufruf; Kontext; Loch; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2008-11-27 Type: video Duration: 00:41:56.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 25. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Akkumulatoren; Liste; invert; append-element; Laufzeit; rekursiver Aufruf; Zwischenergebnisse; invert-helper; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2008-11-27 Type: video Duration: 00:45:17.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 24. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; lokale Variablen; let; Backtracking; Rekursion über Zahlen; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2008-11-25 Type: video Duration: 00:42:19.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 23. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Listen; list; make-pair; concatenate; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2008-11-25 Type: video Duration: 00:42:32.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 22. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Parametrische Polymorphie; Polymorphie; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2008-11-20 Type: video Duration: 00:40:18.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 21. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Listen; Rekursion; Prozeduren mit Listen; Parametrische Polymorphie; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2008-11-20 Type: video Duration: 00:43:02.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 20. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Listen; leere Liste; Paare; Gürteltiere; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2008-11-18 Type: video Duration: 00:41:21.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 12. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Datenanalyse; gemischte Daten; predicate; Konstruktionsanleitung; Verzweigung; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2008-11-04 Type: video Duration: 00:42:14.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 11. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; gemischte Daten; Prädikate; Vertragsvariablen; string->number; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2008-11-04 Type: video Duration: 00:44:36.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 10. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; zusammengesetzte Daten; Konstruktionsanleitung; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2008-10-30 Type: video Duration: 00:42:48.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 9. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; zusammengesetzte Daten; Konstruktor; Selektoren; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2008-10-30 Type: video Duration: 00:39:02.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 8. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Record-Definitionen; Konstruktionsanleitung; zusammengesetzte Daten; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2008-10-28 Type: video Duration: 00:13:53.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 7. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Codeabdeckung; Records; Konstruktor; Selektoren; zusammengesetzte Daten; define-record-procedures; Prädikate; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2008-10-28 Type: video Duration: 00:44:31.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 6. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Zeichenketten; Verzweigungen; binäre Verzweigungen; syntaktischer Zucker; abgeleitete Form; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2008-10-23 Type: video Duration: 00:43:40.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 5. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Prozeduren; Konstruktionsanleitung; Substitutionsmodell; Fallunterscheidungen; Literale; Booleans; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2008-10-23 Type: video Duration: 00:40:50.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 4. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Teilprobleme; Strukturerhaltung; lexikalische Bindung; Substitutionsmodell; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2008-10-21 Type: video Duration: 00:46:15.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 3. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; REPL (read-eval-print-loop); Lambda-Abstraktion; Prozeduren; Applikation; Kurzbeschreibung; Vertrag für Prozeduren; Testfälle; Hilfezentrum; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2008-10-21 Type: video Duration: 00:48:10.0 Rights: lesen Sie mehr... embedded standalone Vorlesung Informatik 1, 2. Stunde Creator: Klaeren, Herbert (author); Sperber, Michael (author); Subject: Informatik; Vorlesung; DrScheme; Präfixschreibweise; Ausdrücke; Klammerung; Rundungsfehler; Literale; Bezeichner; Abstraktion mit Lambda; Prozeduren; Abstract: anzeigen... Publisher: ZDV Universität Tübingen Contributor: ZDV Universität Tübingen (producer); Date: 2008-10-16 Type: video Duration: 00:43:21.0 Rights: lesen Sie mehr... embedded standalone

Anforderungen: Firefox 1.x, Microsoft IE 6.x, Windows MediaPlayer 6.4, Realplayer 10 oder jeweils höher Stand: 22. Mai 2013 , Kontakt: timmsmaster@zdv.uni-tuebingen.de   © 2005 ZDV Universität Tübingen