Informatik (Sekundarschule) () (Lehramt) > Informatik Informatik (Sekundar), Version of accreditation valid from WS 2019/20 > Pflichtmodule
Informatik (Sekundarschule) () (Lehramt) > Informatik Informatik (Sekundar), Version of accreditation (WS 2007/08 - SS 2012) > Pflichtmodule
Informatik (Sekundarschule) () (Lehramt) > Informatik Informatik (Sekundar), Version of accreditation (WS 2007/08 - WS 2015/16) > Pflichtmodule
Informatik (Sekundarschule) (WLF) (Lehramt) > Informatik Informatik (Sekundar) (WLF), Version of accreditation valid from WS 2019/20 > Pflichtmodule
Informatik (Sekundarschule) (WLF) (Lehramt) > Informatik Informatik (Sekundar) (WLF), Version of accreditation (WS 2007/08 - SS 2012) > Pflichtmodule
Informatik (Sekundarschule) (WLF) (Lehramt) > Informatik Informatik (Sekundar) (WLF), Version of accreditation (WS 2007/08 - WS 2015/16) > Pflichtmodule
Kernfach Wirtschaftsinformatik (Core Subject Business Information Systems) (120 LP) (Bachelor) > Wirtschaftsinformatik Wirtschaftsinformatik120, Version of accreditation (WS 2006/07 - SS 2008) > Pflichtmodule
Kernfach Wirtschaftsinformatik (Core Subject Business Information Systems) (120 LP) (Bachelor) > Wirtschaftsinformatik Wirtschaftsinformatik120, Version of accreditation (WS 2008/09 - SS 2010) > Pflichtmodule
Mathematik (180 LP) (Bachelor) > Mathematik Mathematik180, Version of accreditation valid from WS 2019/20 > Pflichtmodule
Mathematik (180 LP) (Bachelor) > Mathematik Mathematik180, Version of accreditation (WS 2013/14 - SS 2022) > Pflichtmodule
Mathematik mit Anwendungsfach (180 LP) (Bachelor) > Mathematik Mathematik m. Anw.fach180, Version of accreditation (WS 2006/07 - SS 2013) > Informatik
Physik (180 LP) (Bachelor) > Physik Physik180, Version of accreditation valid from WS 2019/20 > Nichtphysikalische Ergänzungsmodule
Physik (180 LP) (Bachelor) > Physik Physik180, Version of accreditation (WS 2006/07 - SS 2012) > Nichtphysikalische Ergänzungsmodule
Physik (180 LP) (Bachelor) > Physik Physik180, Version of accreditation (WS 2012/13 - SS 2019) > Nichtphysikalische Ergänzungsmodule
Physik und Digitale Technologien (180 LP) (Bachelor) > Physik Physik u. Dig. Tech. 180, Version of accreditation valid from WS 2019/20 > Pflichtmodule
Wirtschaftsinformatik (Business Information Systems) (180 LP) (Bachelor) > Wirtschaftsinformatik Wirtschaftsinformatik180, Version of accreditation (SS 2016 - SS 2020) > Wahlbereich Informatik
Wirtschaftsinformatik (Business Information Systems) (180 LP) (Bachelor) > Wirtschaftsinformatik Wirtschaftsinformatik180, Version of accreditation valid from WS 2020/21 > 1.3 Informatik
Wirtschaftsinformatik (Business Information Systems) (180 LP) (Bachelor) > Wirtschaftsinformatik Wirtschaftsinformatik180, Version of accreditation (WS 2006/07 - SS 2008) > Pflichtmodule
Wirtschaftsinformatik (Business Information Systems) (180 LP) (Bachelor) > Wirtschaftsinformatik Wirtschaftsinformatik180, Version of accreditation (WS 2008/09 - WS 2015/16) > Pflichtmodule
Wirtschaftsmathematik (180 LP) (Bachelor) > Wirtschaftsmathematik Wirtschaftsmathematik180, Version of accreditation valid from WS 2019/20 > Pflichtmodule
Wirtschaftsmathematik (180 LP) (Bachelor) > Wirtschaftsmathematik Wirtschaftsmathematik180, Version of accreditation (WS 2006/07 - SS 2013) > Informatik
Wirtschaftsmathematik (180 LP) (Bachelor) > Wirtschaftsmathematik Wirtschaftsmathematik180, Version of accreditation (WS 2013/14 - SS 2022) > Pflichtmodule
Responsible person for this module
Further responsible persons
Prof. Dr. Matthias Müller-Hannemann
Prerequisites
Skills to be acquired in this module
Studierende sollen durch dieses Modul folgende Kompetenzen erwerben:
Sie kennen die grundlegenden Methoden zum Entwurf von Algorithmen und können diese Entwurfsmethoden auf algorithmische Problemstellungen anwenden.
Sie sind in der Lage, für neue Problemstellungen geeignete Methoden auszuwählen und selbstständig algorithmische Lösungen zu entwickeln.
Sie können die Korrektheit von Algorithmen überprüfen, geeignete Invarianten herleiten und formale Korrektheitsbeweise führen.
Sie erwerben die Fähigkeit, Laufzeit und Speicherbedarf eines Algorithmus asymptotisch abschätzen zu können und insbesondere rekursive Algorithmen zu analysieren.
Sie besitzen einen Überblick über die wichtigsten elementaren Datenstrukturen und können deren Vor- und Nachteile beurteilen.
Sie verstehen, dass die Effizienz eines Algorithmus von der geeigneten Wahl der Datenstrukturen abhängt, und können eigenständig die Auswahl der Datenstrukturen treffen.
Sie können einfache Algorithmen effizient in einer objektorientierten Programmiersprache implementieren und testen.
Module contents
Korrektheit von Algorithmen: Verifikation
Asymptotische Kosten eines Algorithmus: Effizienzanalyse
