Theorie der Programmiersprachen
Wintersemester 2009/2010
|
Vorlesung: Theorie der Programmiersprachen |
||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
SWS (V/Ü/P) |
2/2/0 | |||||||||||||||
|
Voraussetzungen |
Interesse an formalen Fragen. | |||||||||||||||
|
Inhalt |
|
|||||||||||||||
|
Literatur |
Uwe Schöning: Logik für Informatiker, Spektrum Verlag. |
|||||||||||||||
|
Termine |
|
Links |
||||||||||||||