Die Anwesenheit in den Präsenzeinheiten wird dringend empfohlen. Zu den unterschiedlichen Prüfungsleistungen besteht Anwesenheitspflicht.
View ·
Title
Formale Methoden der Wirtschaftsinformatik
Grobüberblick der LV-Inhalte:
- Basic Set Theory (Sets and Subsets, Set Operations, The Algebra of Sets, Ordered Pairs, Relations, Equivalence Relations, Functions, Ordering Relations, Closures of Relations etc.)
- Sequences and Summations (Sequences, Recurrence Relations, Series, Summation Notation & Summation Algebra, Product Notation & Product Algebra etc.)
- Introduction to Combinatorics (Counting, Permutations, Combinations, etc.)
- Introduction to Graph Theory (Undirected Graphs, Directed Graphs, Connectivity, Weighted Graphs, Trees, Graph Representations for Computation Purposes, Selected Graph Algorithms, etc.)
- Introduction to Linear Algebra (Matrices and Vectors, Vector Norms, Matrix Multiplication, Linear Equations, Gauss-Jordan Elimination, etc.)
- Introduction to Logic (Reasoning, Propositional Logic, Predicate Logic)
Begleitend gibt es zudem ausgewählte wissenschaftliche Fachartikel (Pflichtlektüre), deren Inhalte sich die Studierenden selbstständig erarbeiten.
Ziele:
- Vermittlung ausgewählter formaler Grundlagen und Abstraktionsmechnismen, die essentiell zum Verständnis Informationstechnischer Konzepte, Methoden und Werkzeuge sind (z.B. im Kontext von Data science, Distributed systems, Machine learning, Network science, Software Engineering)
Lernergebnisse:
- Nach Abschluss dieser LV haben die Studierenden
- Grundlagenwissen in den behandelten Themengebieten (siehe Beschreibung der LV-Inhalte);
- einen Überblick essentieller formaler Abstraktionsmechanismen.
- Nach Abschluss dieser LV sind die Studierenden in der Lage:
- die behandelten formalen Konzepte und Abstraktionsmechanismen zur Lösung konkreter Problemstellungen anzuwenden;
- Zusammenhänge zwischen verschiedenen Konzepten und Abstraktionsmechnismen zu erkennen;
- sich selbstständig die Inhalte von wissenschaftlichen Fachartikeln zu erarbeiten und das Gelernte zur Bearbeitung einschlägiger Fragestellungen anzuwenden;
- das Wissen auf Problemstellungen zu transferieren, die nicht direkt in der LV behandelt wurden (Transferwissen).
- Die LV wird als prüfungsimmanente Veranstaltung abgehalten.
- Studierende, die zur LV angemeldet sind, sind damit auch direkt zur Prüfung angemeldet (d.h. es erfolgt keine gesonderte Anmeldung zu den Prüfungsleistungen).
- Benotet werden Teilnehmer/inn/en, die zumindest eine der Prüfungsleistungen abgelegt haben.
- In die Benotung fließen folgende Prüfungsleistungen ein:
- drei unangekündigte Kurztests während der LV-Einheiten (je 10 Punkte);
- Abschlusstest (60 Punkte) - Inhalt des Abschlusstests ist der komplette Inhalt der Lehrveranstaltung (inkl. Pflichtlektüre).
- Für eine positive Benotung ("genügend", 4) müssen zumindest 50 (fünfzig) Prozent der insgesamt erreichbaren Punkte gesammelt werden (weitere Details folgen in der LV).
Anmeldung und Wartelisten:
- Sollten Sie, aus welchen Gründen auch immer, nicht an der LV teilnehmen können oder wollen, melden Sie sich bitte innerhalb der jeweiligen Frist wieder ab. Sie geben damit einen nicht benötigten Platz frei, ermöglichen Interessent/innen auf der Warteliste das Nachrücken und helfen mit, die vorhandenen Plätze bestmöglich auszunutzen.
- Die Hälfte der LV-Plätze ist frei verfügbar. D.h. alle Interessent/innen können sich für einen der frei verfügbaren Plätze anmelden. Die zweite Hälfte der LV-Plätze ist reserviert (d.h. nicht frei verfügbar). Die reservierten Plätze werden nach Studienfortschritt vergeben.
- Nach Ende der Anmeldefrist werden die reservierten LV-Plätze (50%, siehe oben) an die Studierenden vergeben, die sich auf der Warteliste eingetragen haben. Die Vergabe dieser Plätze wird nach Studienfortschritt (positiv absolvierte ECTS-Punkte) vorgenommen, nicht nach Wartelistenplatz. Diese Zuteilung erfolgt durch die Studienabteilung.
Last edited: 2021-11-23