Electures-Portal - Guest

Informatik I - WS 2007

• Informatik I
  • 1. Intro
    • 1.1. Intro
  • 2. Scheme
    • 2.1. Scheme
  • 3. Cases
    • 3.1. Cases
  • 4. Daten
    • 4.1. Daten
  • 5. Rekursion
    • 5.1. Rekursion
  • 6. Mathematische Exkursion
    • 6.1. Relationen
    • 6.2. Ordnungen
    • 6.3. Induktive Definition
  • 7. Türme von Hanoi / let
    • 7.1.
  • 8. Prozeduren als Daten
    • 8.1. Prozeduren als Daten
  • 9. Zeitabhängige Modelle
    • 9.1. Zeitabhängige Modelle
  • 10. Bäume
    • 10.1. Bäume
  • 11. Abstrakte Datentypen
    • 11.1. Abstrakte Datentypen
  • 12. Terme
    • 12.1. Terme
  • 13. Berechenbarkeit und Aufwandsabschätzung
    • 13.1. Berechenbarkeit und Aufwandsabschätzung
  • 14. Zuweisungen und Zustand
    • 14.1. Zuweisungen und Zustand
  • 15. Objektorientiertes Programmieren
    • 15.1. Objektorientiertes Programmieren
  • 16. Der Lambda-Kalkül
    • 16.1. Der Lambda-Kalkül
  • 17. Interpretation
    • 17.1. Interpretation