Lernziele der Vorlesung

Die Lehrveranstaltung führt in die Entwicklung von Software im Kleinen ein. Sie vermittelt die Grundlagen der Programmierung sowie elementare Abstraktionsmechanismen der Softwareentwicklung. Die Studierenden lernen, Softwaremodule zu entwerfen, zu realisieren, zu verifizieren und Eigenschaften der Module zu ermitteln.

• Verständnis der Grundbegriffe der Modellierung und Programmierung
• Kenntnis zentraler Programmierkonstrukte und –techniken
• Kenntnis elementarer Algorithmen und Datentypen
• Fähigkeit, einfache Algorithmen zu spezifizieren und zu verifizieren.

Inhalt der Vorlesung

• Überblick über die Softwareentwicklung und ihre Bedeutung
• 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)
• Darstellung von Algorithmen
• Weitere Grundelemente der Programmierung (Typisierung, Parametrisierung, Rekursion, strukturierte Datentypen, insbesondere 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, Terminierung
• Funktionale Abstraktion, Datenabstraktion, Objektorientierung

Gliederung dieser Seite

• Literatur zur Vorlesung
  Auf dieser Seite finden Sie zusätzliche Literatur zur Vorlesung.
• Material zur Vorlesung (nicht mehr verfügbar)
  Auf dieser Seite finden Sie begleitend zur Vorlesung zusätzliches Material zur Vorlesung (z.B. die Vortragsfolien) und zu den Übungen und zum Praktikum.
• Praktikum zur Vorlesung (nicht mehr verfügbar)
  Auf dieser Seite finden Sie Informationen zum Praktikum der Vorlesung.
• Übungssystem der Vorlesung (nicht mehr verfügbar)
  Auf dieser Seite finden Sie Informationen zu den Übungen der Vorlesung.

Organisatorisches

Dozent

Prof. Dr. Peter Liggesmeyer
Raum 32/425
Telefon: (0631) 205-3328
Sprechstunde: nach Vereinbarung

Veranstaltungen

Die Veranstaltung SE 1 besteht aus 4 SWS Vorlesung und je 2 SWS Übung und Praktikum.

• Vorlesung:
  4 SWS pro Woche:
  Di, 11:45 - 13:15 Uhr, Raum 46-220
  Do, 11:45 - 13:15 Uhr, Raum 46-215
  Die erste Vorlesung ist am 3.11.
• Übungen:
  2 SWS pro Woche:
  Eine Anmeldung zu einer Übungsgruppe ist notwendig. Nähere Angaben finden sich auf unserer Seite zur Übung.
• Praktikum
  2 SWS pro Woche:
  Weitere Angaben finden sich auf unserer Seite zum Praktikum.

Vorlesungsbetreuung

• Mathias Grund
• Robert Kalcklösch
  Raum: 32/427
  Telefon: (0631) 205-3367
  Sprechstunde: Do, 15:00 - 16:30 Uhr

Newsgruppen

Zur Diskussion mit Kommilitonen und Betreuern steht die Newsgroup kl.inf.essy1.discussion zur Verfügung. Sie kann von jedem verwendet werden.
Für Bekanntmachungen wird neben dieser Homepage zusätzlich auch die Newsgroup kl.inf.essy1.messages verwendet. Das Schreiben von Mitteilungen ist Betreuern der Vorlesung vorbehalten.

Einträge im KIS-System

• Vorlesung
• Übung
• Praktikum