Suche Home Einstellungen Anmelden Hilfe  

UNI Didaktik der
Informatik
DdI

Algorithmen, Daten, Programme I


Zielgruppe:

Erstsemestervorlesung Informatik
Beginn (Vorlesung): 14.10.1997
Zeit (Vorlesung): dienstags 17.00-18.30 Uhr, mittwochs 13.30-15.00 Uhr
Ort (Vorlesung): 1.09.1.11
Beginn (Übungen): 23.10.1997
Zeit (Übungen): montags, donnerstags und freitags 13.30-15.00 Uhr
Ort (Übungen):22.39 (Mo), 1.08.163 (Do, Fr)

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 zum Computer
- Von-Neumann-Rechner, Maschinen- und Assemblersprachen, Ebenenmodell der
   Rechnerarchitektur, Übersetzer, Interpreter

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

Informatische 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.

Übungsblätter

Download        1   2   3   4   5   6   7   8   9   10   11   12   13
Programmieraufgabe  

Begleitmaterial.

Zum Einstieg in die Programmiersprache ML und zur Nutzung von UNIX
sind Begleitmaterialien als PostScript-Dateien verfügbar.

Originaldokumentation und Download-Dateien zu SML aus New Jersey.
SML für WIN95 (beta Version 1.10, 6,4 MB)


©M.Knietzsch

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