Institut für Informatik | |
Programmiersprachenkonzepte WS 2012/2013 |
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 |
Datum | Inhalt | ||
---|---|---|---|
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) |
Datum | Übungsblock | Aufgabenblatt | Musterlösung |
---|---|---|---|
11.10.12 | Block 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 |
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