Funktionale Programmierung
LVA 185.A05, VU 2.0, ECTS 3.0

Fortgeschrittene funktionale Programmierung

(zweistŁndige Vorlesung mit Übung; angeboten regelmäßig in Sommersemestern)

Haben Sie Interesse an einem geförderten Auslandsstudium?

Informationen zu Fördermöglichkeiten finden Sie hier.

 

Die LVA 185.A05 Fortgeschrittene funktionale Programmierung wird zur Zeit regelmäßig im Sommersemester eines Studienjahrs angeboten.

Aktuelle Abhaltung

Zurückliegende Abhaltungen

Weitere allgemeine Informationen

Topics and Goals

The course is concerned with advanced concepts and principles of functional programming and their applications, which the participants shall learn and conceive in depth and to use and apply competently and adequately in known as well as in new application scenarios. The lecture part of the course stretches from functional programming principles to quality assurance, advanced languages concepts, and applications. Regularly assigned exercises of the tutorial part of the course provide the opportunity of an hands-on experience of applying the concepts and principles to problems of suitable kind, size and complexity to deepen their understanding in theory and practice.

Prerequisites

Basic knowledge of the functional programming style as imparted e.g. in the course LVA 185.A03 Funktionale Programmierung is mandatory.

Vortragender

Jens Knoop.
Complang
Knoop
   Events
   Teaching/Lehre
      ERASMUS/LLP
      LVA-Stammseiten
         Fkt. Prog.
         Opt. Übers.
         Fortg. fkt. Prog.
         Analyse u. Verifikation
      Lehre 2013 S
      Lehre 2012 W
      Lehre 2012 S
      Lehre 2011 W
      Lehre 2011 S
      Lehre 2010 W
      Frühere Semester
   Research Interests
   Publications
   Professional Activities
   Memberships
   Selected CFPs
   Useful Links
Sitemap
Sprechstunde
Bachelor-LVAs:
Fkt. Programmierung
Master-LVAs:
Opt. Übersetzer
Fortg. fkt. Programmierung
Analyse u. Verifikation
TISS:
TISS
Fakultät für Informatik
Technische Universität Wien
Anfang | HTML 4.01 | letzte Änderung: 2012-07-02 (Knoop)