| Nr. | Art | Termine | Raum | Veranstalter |
|---|---|---|---|---|
| 8101 | V4 | Mo 11:45 - 13:15 | Sem-Ü1 | M. Hanus |
| Do 10:00 - 11:30 | Sem-Ü1 | |||
| 8095 | Ü2 | Mi 16:00 - 18:00 | Sem-Ü2 | M. Hanus, K. Höppner |
Studierende im Hauptstudium beider Informatik-Studiengänge (Dipl.-Inf. und Dipl.-Ing.) sowie Studierende mit Nebenfach Informatik
Grundstudium
In dieser Vorlesung werden grundlegende Prinzipien heutiger Programmiersprachen vorgestellt. Dabei steht die praktische Anwendung von Sprachkonzepten zur Lösung von Softwareproblemen im Vordergrund.Bei der Programmierung kommt es weniger darauf an, irgendein Programm zu schreiben, das eine gegebene Aufgabe löst. Vielmehr muß das Programm so geschrieben sein, daß es verständlich und damit wartbar ist, und es muß auch an neue Anforderungen leicht anpaßbar sein. Daher ist es wichtig, die für die Problemstellung geeigneten Programmiersprachen und Sprachkonstrukte zu verwenden. Leider gibt es nicht die für alle Probleme gleich gut geeignete universelle Programmiersprache. Daher ist es wichtig zu wissen, welche Sprachkonzepte für welche Problemstellungen geeignet sind. Diese Vorlesung soll hierzu einen Beitrag leisten, indem ein Überblick über wichtige Sprachkonzepte moderner Programmiersprachen gegeben wird. Dadurch werden die Studentinnen und Studenten in die Lage versetzt, sich einerseits schnell in unbekannte Programmiersprachen einzuarbeiten (da viele Konzepte in den verschiedenen Sprachen immer wieder vorkommen), andererseits sollen sie verschiedene Sprachen und Sprachkonzepte aufgrund ihrer Eignung für ein Softwareproblem kritisch beurteilen können.
Kurzübersicht
- Grundlagen (Syntax- und Semantikbeschreibung, abstrakte Datentypen, Ausdrücke, Deklarationen, Bindungen, Blockstruktur)
- Imperative Sprachen (Variablen, Datentypen, Kontrollabstraktion, Ausnahmebehandlung, Prozeduren)
- Sprachmechanismen zur Programmierung im Großen (Module, Schnittstellen, Objekte, Vererbung, Generizität)
- Funktionale Programmiersprachen (referentielle Transparenz, Funktionen höherer Ordnung, Auswertungsstrategien, Typsysteme)
- Logische Programmiersprachen (Resolution, Unifikation, Constraints, Datenbanksprachen)
- Sprachkonzepte zur nebenläufigen und parallelen Programmierung (Synchronisationskonzepte, Semaphore, Monitore, Message passing, Linda, CCP)
Die begleitenden praktischen Übungen werden überwiegend in der Sprache Java durchgeführt, jedoch kommen auch andere Sprachen wie z.B. Haskell oder Prolog zum Einsatz.
- Appleby/VandeKopple: Programming Languages: Paradigm and Practice. McGraw-Hill, 1997
- Sethi: Programming Languages: Concepts and Constructs. Addison-Wesley, 1989
- Ghezzi/Jazayeri: Programming Language Concepts 2/E. John Wiley & Sons, 1987
- Arnold/Gosling: The Java Programming Language. Addison-Wesley, 1996
- Flanagan: Java in Nutshell. O'Reilly, 1999
- Meyer: Object-oriented Software Construction. Prentice Hall, 1997
- Bird/Wadler: Introduction to functional programming. Prentice Hall, 1988
- Hinze: Einführung in die praktische Programmierung mit Miranda. Teubner, 1992
- Thompson: Haskell - The Craft of Functional Programming. Addison-Wesley, 1996
- Sterling/Shapiro: The Art of Prolog. MIT Press, 1991
- Hanus: Problemlösen mit Prolog. Teubner, 1987