Seminar Programmiersprachen
Das Seminar "Programmiersprachen" gehoert zum Modul M-Inf_PS, kann aber auch im Bachelor-Studiengang NWI/BIG/KOI als individuelle Ergaenzung belegt werden.
Im Seminar wollen wir uns mit Programmiersprachen beschaeftigen,
die unterschiedlichen Paradigmen der Programmierung angehoeren.
Generell unterscheidet man imperative, objektorientierte, funktionale
und logische Programmierung. Daneben gibt es das weite Feld der
anwendungsspezifischen Sprachen (domain specific languages, DSLs),
die ihre eigenen, spezifischen Programmiertechniken aufweisen.
Mit Haskell und Java hat man bereits im ersten Studienjahr drei
der allgemeinen Paradigmen kenengelernt.
Uns interessieren nun das vierte Paradigma, die logische Programmierung,
und Sprachen, die mehrere Paradigmen verbinden.
Haskell und Java (in Grundzuegen) werden vorausgesetzt. Auf dem Programm stehen
(1) logische Programmierung in Prolog,
(2) logisch-funktionale Programmierung in Curry,
(2) objektorientiert-funktionale Programmierung in Scala.
Die Auswahl der betrachteten Sprachen kann darueberhinaus besondere Sprachkenntnisse aus dem Teilnehmerkreis beruecksichtigen.
Vorkenntnisse in Haskell und Java (auch aus der parallel laufenden Vorlesung zur OO-Programmierung)
Wird in der ersten Sitzung bekanntgegeben
| Frequency | Weekday | Time | Format / Place | Period |
|---|
| Module | Course | Requirements | |
|---|---|---|---|
| 39-M-Inf-PS Programming Languages Programmiersprachen | Seminar Programmiersprachen | Study requirement
|
Student information |
The binding module descriptions contain further information, including specifications on the "types of assignments" students need to complete. In cases where a module description mentions more than one kind of assignment, the respective member of the teaching staff will decide which task(s) they assign the students.
| Degree programme/academic programme | Validity | Variant | Subdivision | Status | Semester | LP | |
|---|---|---|---|---|---|---|---|
| Bioinformatik und Genomforschung / Bachelor | (Enrollment until SoSe 2011) | Individueller Ergänzungsber | Wahl | 4. 6. | 2 | unbenotet | |
| Kognitive Informatik / Bachelor | (Enrollment until SoSe 2011) | Individueller Ergänzungsb | Wahl | 4. 6. | 2 | unbenotet |
Aktive regelmaessige Teilnahme und Vortrag