Kategorie:Programmierung

Aus Infostudium Wiki

Inhaltsverzeichnis 1 Java 2 Verifikation 3 Haskell 4 Prolog 5 Klausuren 6 Übungsblätter 7 Weblinks

Java

• Kategorie Java
• Installation in Windows
• Installation in Linux
• Hinweise für Umsteiger
• Fehlermeldungen
• Aufgaben / Beispiele
• Literatur

Verifikation

• Hoare-Kalkül
• Terminierung
• Schleifeninvariante
• Tipps

Haskell

• Haskell
• Endrekursion
• Seiteneffekt
• Auswertung
• Datentypen
• Listen
• Bäume
• Funktionen höherer Ordnung
• Quicksort
• Currying
• Zusammenfassung
• Wichtige Funktionen für die Klausur
• Allgemeinste Typen
• Vergleich
• Fibonacci

Prolog

• Prolog
• Einführung
• Substitution und Unifikation
• Clash Failure
• Occur Failure
• Gleichheit
• SLD-Baum
• Listen
• Fibonacci
• Zusammenfassung

Klausuren

Klausur Programmierung I

Alte Klausuren

• http://www-users.rwth-aachen.de/Martin.Weusten/index.php?id=uni_info#progra

Übungsblätter

• Programmierung I - Blatt 1
• Programmierung I - Blatt 11

Weblinks

• Haskell (Uni Erlangen) SS2005