Vorlesung: Mathematische Grundlagen der Informatik und Konzepte der Modellierung I - Details

Allgemeine Informationen

Veranstaltungsname	Vorlesung: Mathematische Grundlagen der Informatik und Konzepte der Modellierung I
Semester	WiSe 2024/25
Aktuelle Anzahl der Teilnehmenden	176
Heimat-Einrichtung	Leitung des Instituts für Informatik
beteiligte Einrichtungen	Praktische Informatik (Softwareengineering)
Veranstaltungstyp	Vorlesung in der Kategorie Offizielle Lehrveranstaltungen
Nächster Termin	Donnerstag, 09.01.2025 14:15 - 15:45, Ort: Hörsaal 3.07 [VSP 1]
Teilnehmende	Dieses Modul ist für Studierende der Studiengänge Bachelor Informatik, Bachelor Bioinformatik und Lehramt Informatik (jeweils 1. Fachsemester) nach den Studien- und Prüfungsordnungen von 2023 bzw. 2012 (Lehramt) sowie für Studierende der Studiengänge Bachelor Physik und Digitale Technologien gedacht. Desweiteren kann dieses Modul als Wahlpflichtmodul u.A. durch Studierende der Studiengänge Bachelor Mathematik sowie Bachelor Wirtschaftsinformatik belelgt werden.
Voraussetzungen	Keine
Leistungsnachweis	Studienleistung: Bearbeitung von mindestens 80% der Übungsaufgaben im WiSe und auf Anfrage erfolgreiche Vorstellung der Lösung einer bearbeiteten Aufgabe. Falls die eigene Lösung nicht erklärt werden kann bzw. die Vorstellung der Lösung einer bearbeiteten Aufgabe abgelehnt wird, gelten alle Aufgaben der Übungsserie als nicht bearbeitet.
Studiengänge (für)	Bachelor Informatik (1. Fachsemester) Bachelor Bioinformatik (1. Fachsemester) Lehramt Informatik (1. Fachsemester) Bachelor Physik und Digitale Technologien (3. Fachsemester) Bachelor Wirtschaftsinformatik (Wahlpflicht) Bachelor Mathematik (Wahlpflicht)
SWS	2+2
Sonstiges	Zu dieser Vorlesung wird ein fakultatives Tutorium angeboten.
ECTS-Punkte	8

Lehrende

• Prof. Dr. Wolf Zimmermann

Tutor/-innen

• Timm Kaiser
• Tobias Reinecke
• Kilian Maak
• Vanessa Marianne Fiedler

Räume und Zeiten

Hörsaal 3.07 [VSP 1]

Donnerstag: 14:15 - 15:45, wöchentlich (14x)

Studienbereiche

• Naturwissenschaftliche Fakultät III - Agrarwiss., Geowiss. und Informatik > Informatik > Fachrichtungen > Informatik-LAS
• Naturwissenschaftliche Fakultät III - Agrarwiss., Geowiss. und Informatik > Informatik > Institut für Informatik > Fachrichtungen > Informatik
• Naturwissenschaftliche Fakultät III - Agrarwiss., Geowiss. und Informatik > Informatik > Institut für Informatik > Fachrichtungen > Bioinformatik
• Naturwissenschaftliche Fakultät III - Agrarwiss., Geowiss. und Informatik > Informatik > Institut für Informatik > Fachrichtungen > Wirtschaftsinformatik
• Naturwissenschaftliche Fakultät III - Agrarwiss., Geowiss. und Informatik > Informatik > Fachrichtungen > Informatik-LAG

Modulzuordnungen

• Informatik Informatik (Sekundar) (WLF), Akkreditierungsfassung (WS 2007/08 - SS 2012) > Pflichtmodule > INF.02511.06 - Mathematische Grundlagen der Informatik, gültig ab WS 2006/07 > LV 1: Vorlesung (Vorlesung)
• Informatik Inform (Gymnasium) (ELF, WLF), Akkreditierungsfassung (WS 2007/08 - SS 2012) > Pflichtmodule > INF.02511.06 - Mathematische Grundlagen der Informatik, gültig ab WS 2006/07 > LV 1: Vorlesung (Vorlesung)
• Informatik Informatik (Sekundar) (ELF, WLF), Akkreditierungsfassung (WS 2007/08 - SS 2012) > Pflichtmodule > INF.02511.06 - Mathematische Grundlagen der Informatik, gültig ab WS 2006/07 > LV 1: Vorlesung (Vorlesung)
• Informatik Informatik (Sekundar) (ELF), Akkreditierungsfassung (WS 2007/08 - SS 2012) > Pflichtmodule > INF.02511.06 - Mathematische Grundlagen der Informatik, gültig ab WS 2006/07 > LV 1: Vorlesung (Vorlesung)
• Informatik Informatik (Sekundar) (ELF), Akkreditierungsfassung (WS 2007/08 - WS 2015/16) > Pflichtmodule > INF.02511.06 - Mathematische Grundlagen der Informatik, gültig ab WS 2006/07 > LV 1: Vorlesung (Vorlesung)
• Informatik Informatik (Sekundar) (ELF, WLF), Akkreditierungsfassung (WS 2007/08 - WS 2015/16) > Pflichtmodule > INF.02511.06 - Mathematische Grundlagen der Informatik, gültig ab WS 2006/07 > LV 1: Vorlesung (Vorlesung)
• Informatik Informatik (Sekundar), Akkreditierungsfassung (WS 2007/08 - WS 2015/16) > Pflichtmodule > INF.02511.06 - Mathematische Grundlagen der Informatik, gültig ab WS 2006/07 > LV 1: Vorlesung (Vorlesung)
• Informatik Inform (Gymnasium) (WLF), Akkreditierungsfassung (WS 2007/08 - SS 2012) > Pflichtmodule > INF.02511.06 - Mathematische Grundlagen der Informatik, gültig ab WS 2006/07 > LV 1: Vorlesung (Vorlesung)
• Informatik Informatik (Sekundar) (WLF), Akkreditierungsfassung (WS 2007/08 - WS 2015/16) > Pflichtmodule > INF.02511.06 - Mathematische Grundlagen der Informatik, gültig ab WS 2006/07 > LV 1: Vorlesung (Vorlesung)
• Informatik Inform (Gymnasium) (ELF), Akkreditierungsfassung (WS 2007/08 - SS 2012) > Pflichtmodule > INF.02511.06 - Mathematische Grundlagen der Informatik, gültig ab WS 2006/07 > LV 1: Vorlesung (Vorlesung)
• Bioinformatik Bioinformatik180, Akkreditierungsfassung (WS 2007/08 - SS 2012) > Pflichtmodule > INF.02511.06 - Mathematische Grundlagen der Informatik, gültig ab WS 2006/07 > LV 1: Vorlesung (Vorlesung)
• Informatik Informatik (Sekundar), Akkreditierungsfassung (WS 2007/08 - SS 2012) > Pflichtmodule > INF.02511.06 - Mathematische Grundlagen der Informatik, gültig ab WS 2006/07 > LV 1: Vorlesung (Vorlesung)
• Psychologie Psychologie180, Akkreditierungsfassung (WS 2006/07 - SS 2021) > Nebenfach > INF.02511.06 - Mathematische Grundlagen der Informatik, gültig ab WS 2006/07 > LV 1: Vorlesung (Vorlesung)
• Informatik Inform (Gymnasium), Akkreditierungsfassung (WS 2007/08 - SS 2012) > Pflichtmodule > INF.02511.06 - Mathematische Grundlagen der Informatik, gültig ab WS 2006/07 > LV 1: Vorlesung (Vorlesung)
• Informatik Informatik (Sekundar) (WLF), Akkreditierungsfassung gültig ab WS 2019/20 > Pflichtmodule > INF.05173.08 - Mathematische Grundlagen der Informatik und Konzepte der Modellierung, gültig ab WS 2012/13 > LV 1: Vorlesung (Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Informatik Informatik (Sekundar), Akkreditierungsfassung gültig ab WS 2019/20 > Pflichtmodule > INF.05173.08 - Mathematische Grundlagen der Informatik und Konzepte der Modellierung, gültig ab WS 2012/13 > LV 1: Vorlesung (Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Informatik Informatik180, Akkreditierungsfassung (WS 2018/19 - WS 2022/23) > Pflichtmodule > INF.05173.08 - Mathematische Grundlagen der Informatik und Konzepte der Modellierung, gültig ab WS 2012/13 > LV 1: Vorlesung (Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Informatik Inform (Gymnasium) (ELF), Akkreditierungsfassung (WS 2007/08 - SS 2012) > Pflichtmodule > INF.05173.08 - Mathematische Grundlagen der Informatik und Konzepte der Modellierung, gültig ab WS 2012/13 > LV 1: Vorlesung (Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Informatik Inform (Gymnasium) (WLF), Akkreditierungsfassung gültig ab WS 2012/13 > Pflichtmodule > INF.05173.08 - Mathematische Grundlagen der Informatik und Konzepte der Modellierung, gültig ab WS 2012/13 > LV 1: Vorlesung (Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Informatik Informatik (Sekundar) (ELF), Akkreditierungsfassung gültig ab WS 2019/20 > Pflichtmodule > INF.05173.08 - Mathematische Grundlagen der Informatik und Konzepte der Modellierung, gültig ab WS 2012/13 > LV 1: Vorlesung (Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Informatik Informatik180, Akkreditierungsfassung (WS 2012/13 - SS 2016) > Pflichtmodule > INF.05173.08 - Mathematische Grundlagen der Informatik und Konzepte der Modellierung, gültig ab WS 2012/13 > LV 1: Vorlesung (Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Bioinformatik Bioinformatik180, Akkreditierungsfassung (WS 2016/17 - SS 2018) > Pflichtmodule > INF.05173.08 - Mathematische Grundlagen der Informatik und Konzepte der Modellierung, gültig ab WS 2012/13 > LV 1: Vorlesung (Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Informatik Inform (Gymnasium) (ELF, WLF), Akkreditierungsfassung (WS 2007/08 - SS 2012) > Pflichtmodule > INF.05173.08 - Mathematische Grundlagen der Informatik und Konzepte der Modellierung, gültig ab WS 2012/13 > LV 1: Vorlesung (Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Informatik Inform (Gymnasium), Akkreditierungsfassung (WS 2007/08 - SS 2012) > Pflichtmodule > INF.05173.08 - Mathematische Grundlagen der Informatik und Konzepte der Modellierung, gültig ab WS 2012/13 > LV 1: Vorlesung (Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Informatik Informatik180, Akkreditierungsfassung (WS 2016/17 - SS 2018) > Pflichtmodule > INF.05173.08 - Mathematische Grundlagen der Informatik und Konzepte der Modellierung, gültig ab WS 2012/13 > LV 1: Vorlesung (Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Bioinformatik Bioinformatik180, Akkreditierungsfassung (WS 2012/13 - SS 2016) > Pflichtmodule > INF.05173.08 - Mathematische Grundlagen der Informatik und Konzepte der Modellierung, gültig ab WS 2012/13 > LV 1: Vorlesung (Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Wirtschaftsinformatik Wirtschaftsinformatik180, Akkreditierungsfassung gültig ab WS 2020/21 > 2.2 Informatik > INF.05173.08 - Mathematische Grundlagen der Informatik und Konzepte der Modellierung, gültig ab WS 2012/13 > LV 1: Vorlesung (Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Informatik Inform (Gymnasium) (ELF), Akkreditierungsfassung gültig ab WS 2012/13 > Pflichtmodule > INF.05173.08 - Mathematische Grundlagen der Informatik und Konzepte der Modellierung, gültig ab WS 2012/13 > LV 1: Vorlesung (Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Informatik Informatik180, Akkreditierungsfassung gültig ab SS 2021 > Pflichtmodule > INF.05173.08 - Mathematische Grundlagen der Informatik und Konzepte der Modellierung, gültig ab WS 2012/13 > LV 1: Vorlesung (Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Informatik Inform (Gymnasium), Akkreditierungsfassung gültig ab WS 2012/13 > Pflichtmodule > INF.05173.08 - Mathematische Grundlagen der Informatik und Konzepte der Modellierung, gültig ab WS 2012/13 > LV 1: Vorlesung (Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Informatik Inform (Gymnasium) (WLF), Akkreditierungsfassung (WS 2007/08 - SS 2012) > Pflichtmodule > INF.05173.08 - Mathematische Grundlagen der Informatik und Konzepte der Modellierung, gültig ab WS 2012/13 > LV 1: Vorlesung (Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Bioinformatik BioinformatikMA120, Akkreditierungsfassung (WS 2016/17 - WS 2022/23) > Brückenmodule Informatik > INF.06270.01 - Mathematische Grundlagen der Informatik, gültig ab WS 2016/17 > LV 1: Vorlesung (Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Bioinformatik Bioinformatik180, Akkreditierungsfassung (WS 2018/19 - WS 2022/23) > Pflichtmodule > INF.06457.04 - Grundlagen der Bioinformatik, gültig ab WS 2018/19 > LV 1: Vorlesung (Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Bioinformatik Bioinformatik180, Akkreditierungsfassung gültig ab SS 2021 > Pflichtmodule > INF.06457.04 - Grundlagen der Bioinformatik, gültig ab WS 2018/19 > LV 1: Vorlesung (Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Wirtschaftsmathematik Wirtschaftsmathematik180, Akkreditierungsfassung (WS 2006/07 - SS 2013) > Informatik > INF.00880.08 - Grundlagen und Konzepte der Modellierung, gültig ab SS 2008 > LV 1: Vorlesung (Vorlesung Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Wirtschaftsinformatik Wirtschaftsinformatik180, Akkreditierungsfassung (SS 2016 - SS 2020) > Wahlbereich Informatik > INF.00880.08 - Grundlagen und Konzepte der Modellierung, gültig ab SS 2008 > LV 1: Vorlesung (Vorlesung Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Geographie/Erdkunde Geographie180, Akkreditierungsfassung (WS 2011/12 - SS 2013) > 10 LP Wahlpflicht > INF.00880.08 - Grundlagen und Konzepte der Modellierung, gültig ab SS 2008 > LV 1: Vorlesung (Vorlesung Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Informatik Informatik180, Akkreditierungsfassung (WS 2006/07 - SS 2012) > Pflichtmodule > INF.00880.08 - Grundlagen und Konzepte der Modellierung, gültig ab SS 2008 > LV 1: Vorlesung (Vorlesung Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Mathematik Mathematik180, Akkreditierungsfassung (WS 2013/14 - SS 2022) > Anwendungsfach Informatik > INF.00880.08 - Grundlagen und Konzepte der Modellierung, gültig ab SS 2008 > LV 1: Vorlesung (Vorlesung Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Physik Physik u. Dig. Tech. 180, Akkreditierungsfassung gültig ab WS 2019/20 > Pflichtmodule > INF.00880.08 - Grundlagen und Konzepte der Modellierung, gültig ab SS 2008 > LV 1: Vorlesung (Vorlesung Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Mathematik Mathematik m. Anw.fach180, Akkreditierungsfassung (WS 2006/07 - SS 2013) > Anwendungsfach Informatik > INF.00880.08 - Grundlagen und Konzepte der Modellierung, gültig ab SS 2008 > LV 1: Vorlesung (Vorlesung Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Mathematik Mathematik180, Akkreditierungsfassung gültig ab WS 2019/20 > Anwendungsfach Informatik > INF.00880.08 - Grundlagen und Konzepte der Modellierung, gültig ab SS 2008 > LV 1: Vorlesung (Vorlesung Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Geographie/Erdkunde Geographie180, Akkreditierungsfassung (WS 2006/07 - SS 2011) > 10 LP Wahlpflicht > INF.00880.08 - Grundlagen und Konzepte der Modellierung, gültig ab SS 2008 > LV 1: Vorlesung (Vorlesung Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)

Kommentar/Beschreibung

Lernziele:
- Erkennen von Zusammenhängen zwischen verschiedenen Gebieten und Konzepten der Mathematik und Informatik
- Förderung des logischen Denkens und Abstraktionsvermögens
- Kenntnisse und Verständnis über die Grundkonzepte der Modellierung
- Überblick über grundlegende Modellierungsmethoden
- Verständnis für Validierung
- Fähigkeiten einfacher Modelle mit Hilfe von Kalkülen zu validieren

Inhalte:
- Einführung in die Informatik
- Mengen, Relationen und Graphen
- Modellierung von Texten
- Algebraische Strukturen
- Modellierung technischer Systeme
- Abstrakte Datentypen (voraussichtlich im SS)
- Logik zur Spezifikation von Problemen (voraussichtlich im SS)
- Objekt-Orientiertes Modellieren: UML Klassendiagramme (voraussichtlich im SS)