Theorie der Programmiersprachen
Wintersemester 2010/2011
|
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 |
|||||||||||||||||||