Programmierung: Vorbereitung der Vorlesung

Wenn Sie vor Beginn der Vorlesung Zeit haben, können Sie sich wie folgt vorbereiten:

Lesen Sie die ersten Kapitel des Vorlesungsskripts.
Installieren Sie Moscow ML und GNU Emacs auf Ihrem Computer (siehe Software). Programmieren Sie mit dem Moscow ML Interpreter.
Neben der Programmiersprache Standard ML verwenden wir die Sprache der Mathematik. Neben elementaren Beweistechniken benötigen wir die Begriffe und Notationen der Mengenlehre. Arbeiten Sie das zweite Kapitel des Skripts und den Lehrtext Naive Mengenlehre durch (siehe Literatur).

Gert Smolka, Letzte Änderung: Do 01 Jan 1970 00:00:00 UTC.