Homepage der Universität Tübingen
Home >> Browser
Home
Browsen
Indizes
Semester
Suchen
Themen
Information
Kontakt
Links
Service
Impressum
 
/Universität Tübingen
 
  An-Institute
  Interfakultäre Einrichtungen
  Juristische Fakultät
  Mathematisch-Naturwissenschaftliche Fakultät
  Informatik
  Vorlesung Informatik 1 WiSe 2008-2009
  Medizinische Fakultät
  Philosophische Fakultät
  Wirtschafts- und Sozialwissenschaftliche Fakultät
  Zentrale Einrichtungen
  Zentrum für Datenverarbeitung
 
/Universität Tübingen/Mathematisch-Naturwissenschaftliche Fakultät/Informatik/Vorlesung Informatik 1 WiSe 2008-2009 (58 Dokumente)
 
Vorlesung Informatik 1, 1. Stunde
Creator:Klaeren, Herbert (author); Sperber, Michael (author);
Subject:Informatik; Vorlesung; Computer; Ingenieurwissenschaft; Informatik-Prozess; Abstraktion; Softwareentwickler;
Abstract:anzeigen...
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2008-10-16
Type:video
Duration:00:38:40.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
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, 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, 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, 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, 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, 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, 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, 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, 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, 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, 13. Stunde
Creator:Klaeren, Herbert (author); Sperber, Michael (author);
Subject:Informatik; Vorlesung; Natürliche Zahlen; Peano-Axiome; Induktionsaxiom;
Abstract:anzeigen...
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2008-11-06
Type:video
Duration:00:45:23.0
Rights:lesen Sie mehr...
embedded standalone
Vorlesung Informatik 1, 14. Stunde
Creator:Klaeren, Herbert (author); Sperber, Michael (author);
Subject:Informatik; Vorlesung; Natürliche Zahlen; Peano-Axiome; Vollständige Induktion; Gaußsche Summenformel; Endliche Folgen; Folgeninduktion; Terme;
Abstract:anzeigen...
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2008-11-06
Type:video
Duration:00:44:20.0
Rights:lesen Sie mehr...
embedded standalone
Vorlesung Informatik 1, 15. Stunde
Creator:Klaeren, Herbert (author); Sperber, Michael (author);
Subject:Informatik; Vorlesung; Vollständige Induktion; Werteverlaufsinduktion; Noethersche Induktion; Emmy Noether; Terme; Operationsalphabet; Polnische Notation;
Abstract:anzeigen...
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2008-11-11
Type:video
Duration:00:42:12.0
Rights:lesen Sie mehr...
embedded standalone
Vorlesung Informatik 1, 16. Stunde
Creator:Klaeren, Herbert (author); Sperber, Michael (author);
Subject:Informatik; Vorlesung; Terme; Eindeutige Termzerlegung; Polnische Notation; Präfixnotation; Infixnotation; Umgekehrte polnische Notation (UPN); Postfixnotation; Kantorowitsch-Baum;
Abstract:anzeigen...
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2008-11-11
Type:video
Duration:00:31:45.0
Rights:lesen Sie mehr...
embedded standalone
Vorlesung Informatik 1, 17. Stunde
Creator:Klaeren, Herbert (author); Sperber, Michael (author);
Subject:Informatik; Vorlesung; Terminduktion; Strukturelle Induktion; Syntax; Semantik; Algebra; Universelle Algebra; Algebren;
Abstract:anzeigen...
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2008-11-13
Type:video
Duration:00:43:57.0
Rights:lesen Sie mehr...
embedded standalone
Vorlesung Informatik 1, 18. Stunde
Creator:Klaeren, Herbert (author); Sperber, Michael (author);
Subject:Informatik; Vorlesung; Algebren; Termalgebra; Homomorphismus; Restklassenhomomorphismus;
Abstract:anzeigen...
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2008-11-13
Type:video
Duration:00:44:01.0
Rights:lesen Sie mehr...
embedded standalone
Vorlesung Informatik 1, 19. Stunde
Creator:Klaeren, Herbert (author); Sperber, Michael (author);
Subject:Informatik; Vorlesung; Homomorphismen; Restklassenhomomorphismus; Rekursion; Endliche Folgen;
Abstract:anzeigen...
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2008-11-18
Type:video
Duration:00:46:45.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, 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, 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, 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, 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, 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, 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, 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, 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, 29. Stunde
Creator:Klaeren, Herbert (author); Sperber, Michael (author);
Subject:Informatik; Vorlesung; Rekursive Definitionen; Rekursion; Gutartige Rekursion; Bösartige Rekursion; Homomorphismen; Peano-Algebra; Exponentialfunktion;
Abstract:anzeigen...
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2008-12-04
Type:video
Duration:00:40:31.0
Rights:lesen Sie mehr...
embedded standalone
Vorlesung Informatik 1, 30. Stunde
Creator:Klaeren, Herbert (author); Sperber, Michael (author);
Subject:Informatik; Vorlesung; Induktion; Rekursive Funktionen; Folgen; cat; Assoziativität; Wortinduktion; Zwischenwerte; Invariante;
Abstract:anzeigen...
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2008-12-04
Type:video
Duration:00:44:49.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, 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, 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, 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, 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, 36. Stunde
Creator:Klaeren, Herbert (author); Sperber, Michael (author);
Subject:Informatik; Vorlesung; Raymond Smullyan; Kurt Gödel; Gödelscher Unvollständigkeitssatz; Paradoxon des Lügners; Gebrauch; Erwähnung; Selbstbezügliche Sätze; Diagonalisierung; Unvollständigkeitsresultat;
Abstract:anzeigen...
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2008-12-18
Type:video
Duration:00:56:07.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, 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, 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, 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, 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, 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, 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, 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, 45. Stunde
Creator:Klaeren, Herbert (author); Sperber, Michael (author);
Subject:Informatik; Vorlesung; Logischer Kalkül; Sequenzenkalkül SC1; Wahrheit; Beweistheorie; Modelltheorie; Negationsoperation; Konsistenz; Korrektheit; Vollständigkeit;
Abstract:anzeigen...
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2009-01-22
Type:video
Duration:00:46:53.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, 47. Stunde
Creator:Klaeren, Herbert (author); Sperber, Michael (author);
Subject:Informatik; Vorlesung; Lambda-Kalkül; Reduktionskalkül; Substitution; Reduktionsregeln;
Abstract:anzeigen...
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2009-01-27
Type:video
Duration:00:40:19.0
Rights:lesen Sie mehr...
embedded standalone
Vorlesung Informatik 1, 48. Stunde
Creator:Klaeren, Herbert (author); Sperber, Michael (author);
Subject:Informatik; Vorlesung; Lambda-Kalkül; Reduktionsregeln; Beta-Redex; Äquivalenz; Normalform; Church-Rosser-Eigenschaft; Boolesche Werte; Natürliche Zahlen; Church-Numerale;
Abstract:anzeigen...
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2009-01-27
Type:video
Duration:00:44:47.0
Rights:lesen Sie mehr...
embedded standalone
Vorlesung Informatik 1, 49. Stunde
Creator:Klaeren, Herbert (author); Sperber, Michael (author);
Subject:Informatik; Vorlesung; Lambda-Kalkül; Boolesche Werte; Natürliche Zahlen; Church-Numerale; Rekursion; Fixpunktsatz; Fixpunktkombinator; Y-Kombinator;
Abstract:anzeigen...
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2009-01-29
Type:video
Duration:00:45:07.0
Rights:lesen Sie mehr...
embedded standalone
Vorlesung Informatik 1, 50. Stunde
Creator:Klaeren, Herbert (author); Sperber, Michael (author);
Subject:Informatik; Vorlesung; Lambda-Kalkül; Fixpunktsatz; Rekursion; Fakultätsfunktion; Auswertungsstrategien; Linksaußen-Reduktion; Linksinnen-Reduktion; Schwache Kopfnormalform; Call-by-name; Call-by-value; Programmiersprachen; Strikte Programmiersprachen; Nicht-strikte Programmiersprachen; Haskell;
Abstract:anzeigen...
Publisher:ZDV Universität Tübingen
Contributor:ZDV Universität Tübingen (producer);
Date:2009-01-29
Type:video
Duration:00:43:49.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, 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, 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, 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, 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, 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, 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, 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
 
Anforderungen: Firefox 1.x, Microsoft IE 6.x, Windows MediaPlayer 6.4, Realplayer 10 oder jeweils höher
Stand: 23. November 2014 , Kontakt: timmsmaster@zdv.uni-tuebingen.de
 
© 2005 ZDV Universität Tübingen