= Programmierparadigmen =

Auch diese Seite ist an eine Vorlesung der [Universität|http://www.uni-due.de/] angelehnt. In dieser Vorlesung geht es um die Verschiedenen Konzepte der Programmiersprachen. Die Programmiersprachen die in der Vorlesung besprochen wurden, sind [Prolog|http://www.swi-prolog.org/], [Ruby|http://www.ruby-lang.org/] und [Haskell|http://www.haskell.org/]. Zu den einzelnen Programmiersprachen wird im laufe der Näher eingegangen. Weitere Thema der Veranstalltung sind Grammatiken und [EBNF|Wikipedia:EBNF].

= Syntax und Semantik =

== Grammatiken ==
=== BNF ===
=== EBNF ===
=== Syntaxdiagramme ===
== Axiomatische Semantik ==

= Variablen, Bindung, Typisierung =
== Variablen und Parameter ==
== Sichtbarkeit ==
== Typsysteme: einfache und zusammengesetzte Datentypen ==
== statische und dynamische Typbindung ==

= Ausdrücke, Befehle, Kontrollstrukturen =
== Ausdrücke (expressions) ==

  x + y

== Befehle (statements) ==

  x := x + y  # Zuweisung (assignment-statement)

== Sequenzen und Kontrollstrukturen ==
== Prozeduren und Parameterübergabe ==

= Funktionale Abstraktion =
== Einführung in Haskell ==
== Typinferenz: flexible Typisierung == 

== Ruby ==
== Prolog ==