|
| Jahr |
Semester |
Vortragender |
SWS |
LV Nr |
Typ |
Beschreibung |
Ziel |
| 1993/1994 |
WS |
Lucas Peter |
2 |
506.012 |
VO |
|
|
| 1994/1995 |
WS |
Lucas Peter |
2 |
506.012 |
VO |
|
|
| 1995/1996 |
WS |
Lucas Peter |
2 |
506.012 |
VO |
|
|
| 1996/1997 |
WS |
Kappe Frank |
2 |
506.012 |
VO |
|
|
| 1997/1998 |
WS |
Lucas Peter |
2 |
506.012 |
VO |
grober Überblick über die Teilgebiete der Informatik: elementare Logik, einige Konzepte aus der abstrakten Algebra Algorithmen und Datenstrukturen: Problemspezifikation, Entwurf, Verifikation, kritische Beurteilung (Komplexität), schrittweise Verfeinerung Programmiersprachen: Definitionsmethoden, Sprachkonzepte, Maschninenarchitektur: Assemblersprache, Realisierung von Prgrogrammstrukturen Parallele Prozesse: Sprachelemente, Entwurf, Verifikation |
Bereitstellung der Grundlagen zur Problembeschreibung, zum Entwurf und der Implementierung von Informationssystemen, sowie ein grober Überblick über die Teilgebiete der Informatik. |
| 1998/1999 |
WS |
Lucas Peter |
2 |
506.012 |
VO |
Die Lehrveranstaltung bietet - nach einem kurzen "Uberblick der Teilgebiete der Informatik - eine Grundlegende Einf"uhrung in die Informatik.
Im einzelnen kommen folgende Themen zur Sprache: Induktion, Rekursion, Iteration, induktive Definition von Datentypen, rekursive und iterative Funktionsdefinitionen, Induktionsbeweise; Konzepte funktionaler Sprachen; einfache Problemklassen und Algorithmen in den Bereichen: nat"urlicher und ganzer Zahlen und Listen; Definition abstrakter Datentypen, Kapselung: Mengen, B"aume, usw. Konzepte imperativer Sprachen; Objektorientierung.
|
"Uberblick und Einf"uhrung in die Informatik, deren Grundlagen und Denkweisen, Einf"uhrung in die Entwicklung von Algorithmen und abstrakten Datentypen. Programmieren auf einer hohen Abstraktionsebene.
|
| 1999/2000 |
WS |
Lucas Peter |
2 |
506.012 |
VO |
Die Lehrveranstaltung bietet - nach einem kurzen "Uberblick der Teilgebiete der Informatik - eine Grundlegende Einf"uhrung in die Informatik.
Im einzelnen kommen folgende Themen zur Sprache: Induktion, Rekursion, Iteration, induktive Definition von Datentypen, rekursive und iterative Funktionsdefinitionen, Induktionsbeweise; Konzepte funktionaler Sprachen; einfache Problemklassen und Algorithmen in den Bereichen: nat"urlicher und ganzer Zahlen und Listen; Definition abstrakter Datentypen, Kapselung: Mengen, B"aume, usw. Konzepte imperativer Sprachen; Objektorientierung.
|
"Uberblick und Einf"uhrung in die Informatik, deren Grundlagen und Denkweisen, Einf"uhrung in die Entwicklung von Algorithmen und abstrakten Datentypen. Programmieren auf einer hohen Abstraktionsebene.
|
| Legende: |
| LV Nr .. Lehrveranstaltungsnummer |
| SWS .. Semesterwochenstunden |
| VO .. Vorlesung |
| WS .. Wintersemester |
|
|
