![](/fileadmin/template/main/images/depend_logo.png)
Uni des Saarlandes
Informatik
Hauptseite
Termine
Service
Skript
Quizfragen
Notizen
Software
Literatur
Prüfungen
Anmeldung
CMS
Programmierung 1: Skripts
Wir werden das Skript von Prof. G. Smolka verwenden. Auf der Seite ProgI-wiki kann man zur Korrekturen der Skripts beitragen bzw. sie durchzusehen.
Die einzelnen Kapitel:
- Schnellkurs
- Programmiersprachliches
- Höherstufige Prozeduren
- Listen und Strings
- Sortieren und Primzahlzerlegung
- Konstruktoren und Ausnahmen
- Bäume
- Mengenlehre
- Korrektheit rekursiver Prozeduren
- Induktive Korrektheitsbeweise
- Laufzeit rekursiver Prozeduren
- Statische und dynamische Semantik
- Konkrete Syntax
- Datenstrukturen
- Speicher und veränderliche Objekte
- Graphen
- Virtuelle Maschinen und Übersetzer
Ein Addendum zum Skript:
- Markierte Graphen und Prozesse
(pdf)
- Interagierende Prozesse: CCS
(pdf)
Zusätzliche Literatur zum Addendum: