Uni des Saarlandes
FR Informatik
Programmiersysteme
Vorlesungen
Programmierung WS00


Hauptseite
Anmeldung
Literatur
Übungen
Klausuren
Mailingliste
Software
Skript

Literatur: Programmierung

Grundausstattung

Skript zur Vorlesung.

Die Vorlesung und das Skripts gehen davon aus, daß Sie sich die Details der Programiersprache Standard ML selbstständig aneignen. Dazu empfehlen wir das Lehrbuch

Jeffrey Ullman: Elements of ML Programming (ML97 edition). Prentice-Hall 1998.

Online-Dokumente zu Standard ML

Unix

Als kleine Einführung in das Betriebssystem Unix kann folgende Dokumente dienen:

Emacs

Zum Editor Emacs gibt es zwar kaum Bücher, dafür sind aber alle wichtigen Manuals online zu finden:

Die Reference Card bietet eine nützliche Übersicht über die wichtigsten Emacs-Kommandos.

Einige Bücher über Programmierung und ML

Programmierung im Allgemeinen

Es gibt viele interessante Lehrbücher zu diesem Thema, einige eher praktisch, andere eher theoretisch. Hier ist eine Auswahl:

Computer aus Hardware-Sicht

Mathematisches Grundwissen

Wenn Sie Schwierigkeiten mit grundlegenden mathematischen Sprech- und Schreibweisen haben, empfehlen wir Ihnen den Kurs Naive Mengenlehre für Mathematiker und Informatiker der FernUniversität Hagen. Der Kurs ist mit einem hervorragenden Lehrtext ausgestattet. Um diesen zu bekommen, können Sie sich als Gasthörer eintragen.

Das erste Kapitel des Lehrbuchs

Harry R. Lewis and Christos H. Papadimitriou. Elements of the Theory of Computation. Prentice Hall, 2nd edition, 1998.

gibt eine ausführliche und relativ leicht verständliche Einführung in mathematischen Sprech- und Schreibweisen.



Gert Smolka, Letzte Änderung: Mon Oct 16 13:11:03 2017.