Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus

Literatur zur Vorlesung Grundlagen der Programmierung im Sommersemester 2000

Skript Grundlagen der Programmierung - Berechenbarkeit, Maschinen, Sprachen, Jürgen Avenhaus, Universität Kaiserslautern
Skripte können vormittags im Sekretariat (34/417) zum regulären Preis von 15,- DM gekauft werden.
Kopien der Folien werden in dem Semesterapparat in der Informatikbibliothek zur Verfügung gestellt. Ein zweiter Ordner befindet sich bei der Fachschaft Informatik.
Sperschneider, Hammer: Theoretische Informatik. Eine problemorientierte Einführung.
In der Lehrbuchsammlung der Zentralbibliothek finden sich unter der Signatur L inf 31 mehrere Exemplare dieses Buchs. Des Weiteren steht ein Exemplar im Semesterapparat der Bereichsbibliothek Informatik.
Weitere Literatur wird in der Vorlesung bekannt gegeben. Man vergleiche auch entsprechende Verweise im Skript.

Letzte Änderung: Wednesday, 26-Oct-05 08:59:15 GMT
www-aven@informatik.uni-kl.de