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:
  1. Schnellkurs
  2. Programmiersprachliches
  3. Höherstufige Prozeduren
  4. Listen und Strings
  5. Sortieren und Primzahlzerlegung
  6. Konstruktoren und Ausnahmen
  7. Bäume
  8. Mengenlehre
  9. Korrektheit rekursiver Prozeduren
  10. Induktive Korrektheitsbeweise
  11. Laufzeit rekursiver Prozeduren
  12. Statische und dynamische Semantik
  13. Konkrete Syntax
  14. Datenstrukturen
  15. Speicher und veränderliche Objekte
  16. Graphen
  17. Virtuelle Maschinen und Übersetzer

Ein Addendum zum Skript:

  1. Markierte Graphen und Prozesse (pdf)
  2. Interagierende Prozesse: CCS (pdf)

Zusätzliche Literatur zum Addendum: