Algorithmen, Daten, Programme I

Zielgruppe:	Erstsemestervorlesung Informatik
Beginn (Vorlesung):	15.10.1996
Zeit (Vorlesung):	dienstags 13.30-15.00 Uhr, mittwochs 15.15-16.45 Uhr
Ort (Vorlesung):	1.09. 1.11
Beginn (Übungen):	23.10.1996
Zeit (Übungen):	mittwochs 13.30-15.00 Uhr, donnerstags 13.30-15.00 Uhr
Ort (Übungen):	1.22. 0.39

Inhaltsübersicht.

Einführung in die Informatik
- Begriffsdefinition, Teilgebiete, Geschichte, Einordnung in den Wissenschaftskanon

Vom Problem zum Algorithmus
- Naive Entwicklung eines Algorithmus, Merkmale von Algorithmen, Sprachmittel für
   die Darstellung von Algorithmen, Konstruktoren

Grenzen der Algorithmisierung
-nicht-berechenbare Funktionen, Selbstanwendungs-/Halteproblem

Vom Algorithmus zum Programm
-Zwang zur Präzisierung von Algorithmen, Präzisierung von Daten und Anweisungen,
   Entwicklung einer (imperativen) Programmiersprache

Vom Programm zur Maschine
-Von-Neumann-Rechner, Maschinen- und Assemblersprachen, Ebenenmodell der
   Rechnerarchitektur, Übersetzer, Interpreter

Fundamentale Ideen der Informatik
-Teilgebietsübergreifende typische Denkweisen und Methoden der Informatik

Modellbildung
-Begriff des Modells, Informatik als Wissenschaft ausführbarer Modelle

Funktionale Spezifikation
-Präzisierung von Problemen

Präzisierung von Daten
-elementare Datentypen, Konstruktoren, wichtige Datentypen (File, Baum)

Funktionale Programmierung
-Funktionen als Objekte, Funktionale, Currying, Rechenvorschriften, Sprachelemente
   für Funktionen, Substitutionsregeln, Rekursion, Polymorphie

Grundlagen der Programmiersprachen
-Syntaxdefinitionen mittels Syntaxdiagrammen, Backus-Naur-Form, Semantikdefinitionen
   mittels denotationaler Ansätze, Semantik rekursiver Funktionen, Fixpunkte

Scheinerwerb.

Schriftliche Bearbeitung der wöchentlichen Übungsaufgaben.
Bestehen einer Klausur im Anschluß an die Vorlesung.

Literaturhinweise.

Claus, V.; Schwill, A.: "Duden - Informatik", Bibliographisches Institut 1988

Claus, V.; Schwill, A.: "Programmierung", Fernstudienkurs in
acht Kurseinheiten, Fernuniversität Hagen 1989

Goos, G.: "Vorlesungen über Informatik, Bd. 1: Grundlagen und
funktionales Programmieren", Springer 1995

Wikström, A.: "Functional programming using standard ML", Prentice-Hall 1987

Skriptum.

Begleitend zur Vorlesung erscheint ein Skript.