INF.00685.10 - Konzepte der Programmierung (Vollständige Modulbeschreibung)

INF.00685.10 - Konzepte der Programmierung (Vollständige Modulbeschreibung)

Originalfassung Englisch
INF.00685.10 5 CP
Modulbezeichnung Konzepte der Programmierung
Modulcode INF.00685.10
Semester der erstmaligen Durchführung
Fachbereich/Institut Institut für Informatik
Verwendet in Studiengängen / Semestern
  • Bioinformatik (180 LP) (Bachelor) > Bioinformatik Bioinformatik180, Akkreditierungsfassung gültig ab SS 2021 > Informatik (mindestens 10 LP)
  • Bioinformatik (180 LP) (Bachelor) > Bioinformatik Bioinformatik180, Akkreditierungsfassung (WS 2007/08 - SS 2012) > Informatik
  • Bioinformatik (180 LP) (Bachelor) > Bioinformatik Bioinformatik180, Akkreditierungsfassung (WS 2012/13 - SS 2016) > Informatik
  • Bioinformatik (180 LP) (Bachelor) > Bioinformatik Bioinformatik180, Akkreditierungsfassung (WS 2016/17 - SS 2018) > Informatik
  • Bioinformatik (180 LP) (Bachelor) > Bioinformatik Bioinformatik180, Akkreditierungsfassung (WS 2018/19 - WS 2022/23) > Informatik
  • Informatik (180 LP) (Bachelor) > Informatik Informatik180, Akkreditierungsfassung gültig ab SS 2021 > Pflichtmodule
  • Informatik (180 LP) (Bachelor) > Informatik Informatik180, Akkreditierungsfassung (WS 2006/07 - SS 2012) > Pflichtmodule
  • Informatik (180 LP) (Bachelor) > Informatik Informatik180, Akkreditierungsfassung (WS 2012/13 - SS 2016) > Pflichtmodule
  • Informatik (180 LP) (Bachelor) > Informatik Informatik180, Akkreditierungsfassung (WS 2016/17 - SS 2018) > Pflichtmodule
  • Informatik (180 LP) (Bachelor) > Informatik Informatik180, Akkreditierungsfassung (WS 2018/19 - WS 2022/23) > Pflichtmodule
  • Informatik (Gymnasium) (ELF) (Lehramt) > Informatik Inform (Gymnasium) (ELF), Akkreditierungsfassung gültig ab WS 2012/13 > Pflichtmodule
  • Informatik (Gymnasium) (ELF) (Lehramt) > Informatik Inform (Gymnasium) (ELF), Akkreditierungsfassung (WS 2007/08 - SS 2012) > Pflichtmodule
  • Informatik (Gymnasium) (ELF, WLF) (Lehramt) > Informatik Inform (Gymnasium) (ELF, WLF), Akkreditierungsfassung (WS 2007/08 - SS 2012) > Pflichtmodule
  • Informatik (Gymnasium) () (Lehramt) > Informatik Inform (Gymnasium), Akkreditierungsfassung gültig ab WS 2012/13 > Pflichtmodule
  • Informatik (Gymnasium) () (Lehramt) > Informatik Inform (Gymnasium), Akkreditierungsfassung (WS 2007/08 - SS 2012) > Pflichtmodule
  • Informatik (Gymnasium) (WLF) (Lehramt) > Informatik Inform (Gymnasium) (WLF), Akkreditierungsfassung gültig ab WS 2012/13 > Pflichtmodule
  • Informatik (Gymnasium) (WLF) (Lehramt) > Informatik Inform (Gymnasium) (WLF), Akkreditierungsfassung (WS 2007/08 - SS 2012) > Pflichtmodule
  • Informatik (Sekundarschule) (ELF) (Lehramt) > Informatik Informatik (Sekundar) (ELF), Akkreditierungsfassung gültig ab WS 2019/20 > Pflichtmodule
  • Informatik (Sekundarschule) (ELF) (Lehramt) > Informatik Informatik (Sekundar) (ELF), Akkreditierungsfassung (WS 2007/08 - SS 2012) > Pflichtmodule
  • Informatik (Sekundarschule) (ELF) (Lehramt) > Informatik Informatik (Sekundar) (ELF), Akkreditierungsfassung (WS 2007/08 - WS 2015/16) > Pflichtmodule
  • Informatik (Sekundarschule) (ELF, WLF) (Lehramt) > Informatik Informatik (Sekundar) (ELF, WLF), Akkreditierungsfassung (WS 2007/08 - SS 2012) > Pflichtmodule
  • Informatik (Sekundarschule) (ELF, WLF) (Lehramt) > Informatik Informatik (Sekundar) (ELF, WLF), Akkreditierungsfassung (WS 2007/08 - WS 2015/16) > Pflichtmodule
  • Informatik (Sekundarschule) () (Lehramt) > Informatik Informatik (Sekundar), Akkreditierungsfassung gültig ab WS 2019/20 > Pflichtmodule
  • Informatik (Sekundarschule) () (Lehramt) > Informatik Informatik (Sekundar), Akkreditierungsfassung (WS 2007/08 - SS 2012) > Pflichtmodule
  • Informatik (Sekundarschule) () (Lehramt) > Informatik Informatik (Sekundar), Akkreditierungsfassung (WS 2007/08 - WS 2015/16) > Pflichtmodule
  • Informatik (Sekundarschule) (WLF) (Lehramt) > Informatik Informatik (Sekundar) (WLF), Akkreditierungsfassung gültig ab WS 2019/20 > Pflichtmodule
  • Informatik (Sekundarschule) (WLF) (Lehramt) > Informatik Informatik (Sekundar) (WLF), Akkreditierungsfassung (WS 2007/08 - SS 2012) > Pflichtmodule
  • Informatik (Sekundarschule) (WLF) (Lehramt) > Informatik Informatik (Sekundar) (WLF), Akkreditierungsfassung (WS 2007/08 - WS 2015/16) > Pflichtmodule
  • Mathematik (180 LP) (Bachelor) > Mathematik Mathematik180, Akkreditierungsfassung gültig ab WS 2019/20 > Anwendungsfach Informatik
  • Mathematik (180 LP) (Bachelor) > Mathematik Mathematik180, Akkreditierungsfassung (WS 2013/14 - SS 2022) > Anwendungsfach Informatik
  • Mathematik mit Anwendungsfach (180 LP) (Bachelor) > Mathematik Mathematik m. Anw.fach180, Akkreditierungsfassung (WS 2006/07 - SS 2013) > Anwendungsfach Informatik
  • Physik und Digitale Technologien (180 LP) (Bachelor) > Physik Physik u. Dig. Tech. 180, Akkreditierungsfassung gültig ab WS 2019/20 > Wahlobligatorische Ergänzungsfächer
  • Wirtschaftsinformatik (Business Information Systems) (180 LP) (Bachelor) > Wirtschaftsinformatik Wirtschaftsinformatik180, Akkreditierungsfassung (WS 2006/07 - SS 2008) > II. Wahlbereich
  • Wirtschaftsinformatik (Business Information Systems) (180 LP) (Bachelor) > Wirtschaftsinformatik Wirtschaftsinformatik180, Akkreditierungsfassung (WS 2006/07 - SS 2008) > Wahlpflichtmodule II
  • Wirtschaftsinformatik (Business Information Systems) (180 LP) (Bachelor) > Wirtschaftsinformatik Wirtschaftsinformatik180, Akkreditierungsfassung (WS 2008/09 - WS 2015/16) > II. Wahlbereich
  • Wirtschaftsinformatik (Business Information Systems) (180 LP) (Bachelor) > Wirtschaftsinformatik Wirtschaftsinformatik180, Akkreditierungsfassung (WS 2008/09 - WS 2015/16) > Wahlbereich Informatik II (5. Semester)
Modulverantwortliche/r
Weitere verantwortliche Personen
Prof. Dr. Wolf Zimmermann, Dr. Mandy Weißbach
Teilnahmevoraussetzungen
Kompetenzziele
  • Die Studierenden verstehen die Grundkonzepte von Programmiersprachen, deren zu Grunde liegenden Paradigmen und sind in der Lage die Grundkonzepte praktisch umzusetzen. Insbesondere sollen die Studierenden in der Lage sein, sich schnell in eine neue Programmiersprache einzuarbeiten und dort schnell programmieren zu können.
  • Die Studierenden sind in der Lage Modelle systematisch in Programme umzusetzen.
  • Die Studierenden sind in der Lage, die Korrektheit von Programmen zu beweisen.
  • Die Studierenden können aus Spezifikationen systematisch korrekte Programme konstruieren.
Modulinhalte
Programmiersprachen haben viele Konzepte gemeinsam, die man für eine schnelle Einarbeitung in eine neue Programmiersprache kennen muss. Deshalb werden hier unterschiedliche Programmierparadigmen behandelt. Jedes dieser Paradigmen ist eng verwandt mit einer Modellierungstechnik, so dass Modelle, die nach einer Modellierungstechnik entstanden sind, systematisch in Programme umgesetzt werden können. Insbesondere können dann solche Programme leicht verifiziert werden, d.h. nachgewiesen werden, dass die Modelle korrekt implementiert wurden.

Grundsätzlich müssen beim Übergang von Modellen zum Programm die Korrektheit der Programme gegenüber den Modellen verifiziert werden. In diesem Modul wird gezeigt, wie für die Modellierungstechniken des Moduls "Mathematische Grundlagen der Informatik und Konzepte der Modellierung" dies erfolgen kann. Dabei werden zunächst Programmierkonzepte, die konzeptuell nahe an den Modellierungstechniken sind, diskutiert sowie gezeigt, wie Programme verifiziert und systematisch konstruiert werden können. Im Einzelnen beinhaltet das Modul die folgenden Themen:
  • Funktionales Programmieren: Funktionale Programmierkonzepte, Verifikation und Validierung funktionaler Programme (Qualitätssicherung), Typkonzept, Transformation von Abstrakten Datentypen in funktionale Programme, Grenzen der Berechenbarkeit
  • ImperativesProgrammieren: Grundlegende Elemente und Konzepte imperativer Sprachen, Verifikation imperativer Programme (Qualitätssicherung), Typkonzept, Schrittweise Verfeinerung zur Konstruktion korrekter Programme, Implementierung abstrakter Datentypen.
  • Objektorientiertes Programmieren: Objekt-orientierte Programmierkonzepte, Typkonzept, Systematische Transformation aus UML-Klassendiagrammen, Verifikation objekt-orientierter Programme (Qualitätssicherung)
  • Logisches Programmieren: Logische Programmierkonzepte, Grundlagen der Logikprogrammierung, SLD-Resolution.
Lehrveranstaltungsformen Vorlesung (2 SWS)
Übung (2 SWS)
Kursus
Unterrichtsprachen Deutsch, Englisch
Dauer in Semestern 1 Semester Semester
Angebotsrhythmus Modul jedes Wintersemester
Aufnahmekapazität Modul unbegrenzt
Prüfungsebene
Credit-Points 5 CP
Modulabschlussnote LV 1: %; LV 2: %; LV 3: %.
Faktor der Modulnote für die Endnote des Studiengangs 1
Hinweise
zu den Studienleisungen: (nicht die eigene Lösung erklären können bzw. die Vorstellung ablehnen bedeutet, dass alle Aufgaben der Übungsserie als nicht bearbeitet gelten)
Modulveran­staltung Lehrveranstaltungs­form Veranstaltungs­titel SWS Workload Präsenz Workload Vor- / Nach­bereitung Workload selbstge­staltete Arbeit Workload Prüfung incl. Vorbereitung Workload Summe
LV 1 Vorlesung Vorlesung 2 0
LV 2 Übung Übung 2 0
LV 3 Kursus Bearbeitung der Übungsaufgaben/Selbststudium 0
Workload modulbezogen 150 150
Workload Modul insgesamt 150
Prüfung Prüfungsvorleistung Prüfungsform
LV 1
LV 2
LV 3
Gesamtmodul
Bearbeitung von mindestens 80% der Übungsaufgaben und auf Anfrage erfolgreiche Vorstellung der Lösung einer bearbeiteten Aufgabe (siehe Hinweise)
mündl. Prüfung oder Klausur
Wiederholungsprüfung
Regularien Teilnahme­voraussetzungen Angebots­rhythmus Anwesenheits­pflicht Gewicht an Modulnote in %
LV 1 Wintersemester Nein %
LV 2 Wintersemester Nein %
LV 3 Wintersemester Nein %