|
|
Institut für Informatik |
Programmiersprachenkonzepte WS 2010/2011 |
| Dozent: | Dr. Jutta Göers | |
| Übungsleiter: | Dr. Jutta Göers, | |
| Tutoren: | Michael Meese, Christoph Wassmuth | |
| Vorlesung: |
Mi 14:15-15:45; Raum 31/449a Do 9:00-9:45; Raum 31/E05 Beginn: Mittwoch, 20.10.2010 |
|
| Übungen: |
Do 8.15 - 9:00 |
|
| Klausur: | voraussichtlich 9.2.2011, 14:00 - 16:00 |
| Datum | Inhalt | ||
|---|---|---|---|
| 20.10.10 | Allgemeines | Kapitel 0.pdf | |
| Geschichte der Programmiersprachen (1) | Kapitel 1-1.pdf | ||
| 21.10.10 | Geschichte der Programmiersprachen (2) | Kapitel 1-2.pdf | |
| 27.10.10 | Berechenbarkeit | Kapitel 2.pdf | |
| 28.10.10 | Programmierumgebungen/Sprachwerkzeuge | Kapitel 3.pdf | |
| 3.11.10 | Funktionale Sprachen, LISP (1) | Kapitel 4-1.pdf | |
| 4.11.10 | Funktionale Sprachen, LISP (1) | siehe 3.11.10 | |
| 10.11.08 | Funktionale Sprachen: impure LISP (1) | Kapitel 4-2.pdf | |
| 11.11.08 | impure LISP (2): math. Funktionen, Funktionen auf Sequenzen | siehe Übungsblock 4 | |
| 17.11.08 | Funktionale Sprachen: impure LISP (3): I/O | Kapitel 4-3.pdf | |
| 18.11.08 | Funktionale Sprachen: impure LISP (4): I/O, Matrizen | Kapitel 4-3.pdf (Rest), Kapitel 4-4.pdf | |
| 24.11.08 | ausgefallen | ||
| 25.11.08 | impure LISP: Matrizen (2) | Kapitel 4-4+5.pdf | |
| 1.12.10 | weitere Features funktionaler Sprachen | Kapitel 4-6.pdf | |
| Imperative Sprachen: v.-Neumann-Rechner, Variablen | Kapitel 5-1.pdf | ||
| 2.12.10 | Imperative Sprachen: Typen, Typ-Bindung | Kapitel5-2.pdf | |
| 8.12.10 | Imperative Sprachen: Speicher-Bindung, komplexe Typen | Kapitel5-3.pdf | |
| Pascal: Set-Typ, Record-Typ, Ein-/Ausgabe | siehe Übungsblock 7 | ||
| 9.12.10 | Imperative Sprachen: Blöcke (1) | Kapitel5-4.pdf | |
| 15.12.10 | Imperative Sprachen: Blöcke (2) | Kapitel5-5.pdf | |
| Kontrollstrukturen | Kapitel5-6.pdf | ||
| Strukturierte Programmierung (1) | Kapitel5-7.pdf | ||
| 16.12.10 | Strukturierte Programmierung (2) | Kapitel5-8.pdf | |
| 5.1.11 | Rest Strukturiertes Programmierung | (siehe Folien 16.12.) | |
| Logische Sprachen: Einführung | Kapitel 6-1.pdf | ||
| Unifikation | Kapitel 6-2.pdf | ||
| 6.1.11 | Backtracking | Kapitel 6-3.pdf | |
| Prädikatenlogik | Kapitel 6-4.pdf | ||
| 12.1.11 | Resolutionsverfahren | Kapitel 6-5.pdf | |
| Listen in Prolog (1) | Kapitel 6-6.pdf | ||
| 13.1.11 | Listen in Prolog | mydelete.pl | |
| 19.1.11 | Listen in Prolog (2): Anwendung im Graphen | Kapitel6-7.pdf, mylast.pl, mysortiert.pl, mypermutation.pl | |
| Anwendung mit Listen: Logeleien(1) | Kapitel6-8.pdf | ||
| Anwendung mit Listen: Logeleien(2) | Kapitel6-9.pdf, einstein.pl | ||
| 26.1.11 | KI-Anwendungen: Linguistik | endl. Automat,Grammatik, sprache.pl | |
| KI-Anwendungen: Robotik | Roboterbewegungspläne | ||
| 27.1.11 | KI-Anwendungen: Expertensysteme | Botanik-System, wissen.pl | |
| 2.2.11 | Sprachen der 4. Generation | Kapitel 7.pdf | |
| Nachtrag: objektorientierte Zerlegung | OOA/OMT | ||
| 3.2.11 | Wiederholung, Zusammenfassung | Zusammenfassung.pdf | |
| 9.2.11 | Klausur (14:00-16:00) |
| Datum | Übungsblock | Aufgabenblatt | Musterlösung |
|---|---|---|---|
| 21.10.10 | Block 1 | Blatt 1 | s. Übungsblock 2 |
| 28.10.10 | Block 2 | Blatt 2 | s. Übungsblock 3; aufg2_2.java |
| 4.11.10 | Block 3 | Blatt 3 | s. Übungsblock 4 |
| 11.11.10 | Block 4 | Blatt 4 | s. Übungsblock 5 |
| 18.11.10 | Block 5 | Blatt 5 | s. Übungsblock 6 |
| 25.11.08 | Block 6 | Blatt 6 | Lösungen |
| 2.12.10 | Block 7 | Blatt 7 | Lösungen |
| 9.12.10 | Block 8a, Block 8b | Blatt 8 | siehe Block 9, kfz.pas |
| 16.12.10 | Block 9, Block 9b | Blatt 9 | siehe Block 10, kfzerweitert.pas |
| 6.1.11 | Block 10, Einführung Prolog | Blatt 10 | siehe Block 11, kfzListe.pas |
| 13.1.11 | Block 11, Prolog: Cut, Arithmetik | Blatt 11 | siehe Block 12 |
| 20.1.11 | Block 12, Prolog: Eingabe,Ausgabe, Datei-I/O | Blatt 12 | siehe Block 13 |
| 27.1.11 | Block 13 | Blatt 13 | siehe Block 14 | 3.2.11 | Block14 |
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