Konzepte der Programmierung
Inhaltsverzeichnis
Klausurtermine
Klausur : 24.07.2008, 10 - 12 Uhr, Raum 3.07, 3.04
Nachklausur: 25.09.2008, 10 - 12 Uhr, Raum 5.09, 5.10
Ort, Zeit
Vorlesung: Do 8 -10 Uhr, HS 3.28
Übung: Mo 8 -10 Uhr, SR 1.30 (Gruppe 1)
Mo 10 -12 Uhr, SR 1.30 (Gruppe 2)
Vorlesungsinhalte
- Grundkonzepte von Programmiersprachen und deren zu Grunde liegenden Paradigmen zu verstehen und praktisch umzusetzen,
- Die Systematik der Umsetzung von Modellen in Programme zu verstehen und praktisch durchführen , sowie
- Programme gegenüber ihren Modellen zu verifizieren.
1. Funktionales Programmieren
2. Imperatives Programmieren
3. Logisches Programmieren
Objekt-orientiertes Programmieren
Teilnahmevoraussetzungen
entsprechend der Allgemeinen Modulbeschreibung
Folien
Kapitel 1: Funktionales Programmieren
kapitel1.pdf
(externe Datei)
Kapitel 2: Objektorientierte Programmierung
kapitel2.pdf
(externe Datei)
Kapitel 3: Logisches Programmieren
kapitel3.pdf
(externe Datei)
Übungen
Sonstige Materialien
Sather-K Compiler zum Download
Sie finden unten eine mit gzip komprimierte tar-Datei zur Installation des Sather-K Quellen. Gehen Sie zur Installation wie folgt vor (diese Informationen können sie auch unter README herunterladen):
Diese Version von Sather läuft unter 32-Bit Linux. Sie können Ihr
System auf die entsprechende Version testen, indem Sie
uname -a
aufrufen. Wenn Sie eine 64-Bit Variante installiert haben, dann
erscheint in der Ausgabe unter anderen x86_64. Dieser
Compiler läuft dann nicht.
Zur Installation legen Sie ein Verzeichnis an, in dem der Compiler
installiert werden soll (Standard /opt/sather) und gehen Sie in dieses
Verzeichnis. Dort entpacken sather.tgz durch das Kommando:
tar xvfz ..../sather.tgz .... - Entsprechend dem Pfad zu sather.tgz
Danach finden Sie in diesen Verzeichnis eine Datei sack. Wenn Sie ein
anderes Verzeichnis als /opt/sather gewählt haben, ändern Sie Zeile 9
in sack auf Ihr Installationsverzeichnis.
Es ist günstig, wenn sie die Datei sack in ein Verzeichnis Ihres
Standardsuchpfades kopieren. Die Liste dieser Verzeichnisse erhalten Sie mit:
echo $PATH
Achten Sie darauf, dass die Datei sack ausführbar ist. Sind Sie sich nicht
sicher, so geben Sie
chmod +x sack
ein.
Sather-K Compiler
sather.tgz
(externe Datei)
Installationshinweise
README
(externe Datei)