Vorlesung: Einführung in die Praktische Informatik
Inhalt
Die Lehrveranstaltung führt in die Entwicklung von Software im Kleinen ein.- Überblick über die Praktische Informatik
- Technische und formale Grundlagen der Programmierung
- Sprachliche Grundzüge (Syntax und Semantik von Programmiersprachen)
- Einführung in die Programmierung (Wert, elementare Datentypen, Funktion, Bezeichnerbindung, Sichtbarkeit von Bindungen, Variable, Zustand, Algorithmus, Kontrollstrukturen, Anweisung, Prozedur)
- Weitere Grundelemente der Programmierung (Typisierung, Parametrisierung, Rekursion, strukturierte Datentypen, insbesondere z.B. Felder, Listen, Bäume)
- Grundelemente der objektorientierten Programmierung (Objekt, Referenz, Klasse, Vererbung, Subtypbildung)
- Abstraktion und Spezialisierung (insbesondere Funktions-, Prozedurabstraktion, Abstraktion und Spezialisierung von Klassen)
- Spezifikation und Verifikation von Algorithmen, insbesondere einfache Testtechniken
- Terminierung
- Einfache Komplexitätsanalysen
- Einfache Algorithmen (Sortierung)
Ort und Zeit
Di 14-16, INF 227 / HS 1Fr 14-16, INF 227 / HS 1