Suche Home Einstellungen Anmelden Hilfe  

UNI Didaktik der
Informatik
DdI

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.


© M.Knietzsch , letzte Änderung: 21.3.97

Benutzer: gast • Besitzer: hwsystem • Zuletzt geändert am: