= 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 ==