Uni-Logo Institut für Informatik

Programmiersprachenkonzepte WS 2012/2013

Allgemeines

Dozent: Dr. Jutta Göers
Übungsleiter: Dr. Jutta Göers,
Tutor: Christoph Wassmuth
Vorlesung:  Mi 12:15-13:45; Raum 31/449a
Do 9:00-9:45; Raum 31/E05
Beginn: Mittwoch, 10.10.2012
Übungen:  Do 8.15 - 9:00; Raum 31/E05
Klausur: voraussichtlich 31.1.2013, 8:30 - 10:00

Vorlesung

Folien

Datum Inhalt PDF
10.10.12 Allgemeines, Motivation, Inhaltsübersicht Kapitel 0
11.10.12 Geschichte der Programmiersprachen / Sprachparadigmen Kapitel 1
17.10.12 Berechenbarkeit Kapitel 2
18.10.12 Programmierumgebungen/Sprachwerkzeuge Kapitel 3
24.10.12 Funktionale Sprachen: Einführung, pure Lisp Kapitel 4, Teil 1
25.10.12 impure LISP (1) Kapitel 4, Teil 2, euz.lisp, myemptylistp.lisp, mylistlength.lisp
31.10.12 impure LISP (2), I/O-Funktionen Kapitel 4, Teil 2 (Rest), Teil 3
1.11.12 impure LISP (3), math., Charakter-, String-, Listenfunktionen siehe Übungsblock 4
7.11.12 impure LISP (4): I/O, Matrizen Kapitel 4, Teil 3 (Rest): I/O (Rest), Teil 4: Matrizen
8.11.12 impure LISP (5): Strukturen, Klassen/Objekte Kapitel 4, Teil 5: Strukturen, CLOS
14.11.12 weitere Features funktionaler Sprachen Kapitel 4, Teil 6
Imperative Sprachen: v.-Neumann-Rechner, Variablen (1) Kapitel 5, Teil 1
15.11.12 Imperative Sprachen: Variablen (2) Kapitel 5, Teil 2
21.11.12 Imperative Sprachen: Binding, Typen(1) Kapitel 5, Teil 3
Variablen, Standardtypen in Pascal Block7-1
22.11.12 Imperative Sprachen: Speicher-Bindung, Typen (2) Kapitel 5, Teil 4
28.11.12 Imperative Sprachen: komplexe Typen Kapitel 5, Teil 5
komplexe Datentypen in Pascal (1) Block7-2
29.11.12 komplexe Datentypen in Pascal (2), Ein-/Ausgabe Block7-3, datei_I_O.pas
Kontrollstrukturen in Pascal Block7-4
5.12.12 Imperative Sprachen: Blöcke (1) Kapitel 5, Teil 6
6.12.12 Imperative Sprachen: Tail Recursion Kapitel 5, Teil 7
Variante Records, packed array, FILE-Typ in Pascal Block 7-5
12.12.12 Imperative Sprachen: Kontrollstrukturen Kapitel 5, Teil 8
Imperative Sprachen: strukturiertes Programmieren Kapitel 5, Teil 9
13.12.12 Imperative Sprachen: strukturiertes Programmieren (2) Kapitel 5, Teil 10
19.12.12 Logische Sprachen: Einführung, Wissensbasis, Unifikation, Backtracking Kapitel 6, Teil 1
20.12.12 Logische Sprachen: Prädikatenlogik 1. Stufe, Resolutionsverfahren Kapitel 6, Teil 2
9.1.13 Logische Sprachen: Listen in Prolog (1) Kapitel 6, Teil 3, anhaengen.pl, myreverse.pl, mydelete.pl (1.Fassung)
10.1.13 Logische Sprachen: mydelete.pl (2.Fassung, mit Cut), Cut, Arithmetik in Prolog, Tracen/Debuggen in Prolog,
16.1.13 Logische Sprachen: Listen in Prolog (2) Kapitel 6, Teil 4,menge.pl, mypermutation.pl, sortiert.pl
Logische Sprachen: Anwendungen endliche Automaten
17.1.13 Logische Sprachen: Anwendungen natürliche Sprachen, satz.pl
logisches Schließen, lieblingslokal.pl (mit doppelten), lieblingslokal.pl (ohne doppelte), lieblingslokal.pl (durch Permutation)
23.1.13 Logische Sprachen: Anwendungen Robotik, bloecke1.pl, bloecke2.pl, bloecke3.pl
24.1.13 Logische Sprachen: Anwendungen Expertensysteme, wissen.pl
Sprachen der 4. Generation Kapitel 7
Zusammenfassung Folien
31.1.13 Klausur (8:15-9:45)


Übung

Hier werden die Folien der Übungen, die Aufgabenblätter und eine Woche später Musterlösungen veröffentlicht.

Datum Übungsblock Aufgabenblatt Musterlösung
11.10.12Block 1 Blatt 1 s. Übungsblock 2
18.10.12 Block 2 Blatt 2 s. Übungsblock 3,
Lösung A zu Aufg.2 - Compiler erkennt Endlosschleife nicht,
Lösung B zu Aufg.2 - Compiler erkennt Endlosschleife
25.11.12 Block 3 Blatt 3 s. Übungsblock 4
1.11.12 Block 4 Blatt 4 s. Übungsblock 5
8.11.12 Block 5 Blatt 5 s. Übungsblock 6
15.11.12 Block 6 Blatt 6 s. Übungsblock 7
22.11.12 Block 7 Blatt 7 s. Übungsblock 8
29.11.12 Block 8 Blatt 8 s. Übungsblock 9, makler1.pas, makler2.pas, Lösungen zu Aufg. 2.2
6.12.12 Block 9 Blatt 9 s. Übungsblock 10, maklerFeld.pas
13.12.12 Block 10 Blatt 10 s. Übungsblock 11, maklerListe.pas
Pointer in Pascal
20.12.12 Block 11 Blatt 11 s. Übungsblock 12, aufgabe2b.pl
Handhabung SWI-Prolog
10.1.13 Block 12 Blatt 12 s. Übungsblock 13
17.1.13 Block 13 Blatt 13 s. Übungsblock 14
vordefinierte Klauseln (assert, retract, abolish, usw.)
24.1.13 Block 14 Blatt 14 auf Anfrage
(Datei-)I/O in Prolog


Literatur

Bücher werden in der Vorlesung bekanntgegeben.

Online-Handbücher:
Lisp:
Common Lisp: A Gentle Introduction to Symbolic Computation
Common Lisp: The Language
Internetseite zu clisp

Pascal:
Home-Page von freepascal
alles zum Pascal ISO-Standard 7185

Prolog:
Home-Page von SWI-Prolog
Learn Prolog now! (Prologkurs auf englisch)
W.F.Clocksin, C.S.Mellish: Programming in Prolog, Springer-Verlag