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)
