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

General information

Course name	Lecture: Mathematische Grundlagen der Informatik und Konzepte der Modellierung I
Semester	WiSe 2024/25
Current number of participants	176
Home institute	Leitung des Instituts für Informatik
participating institutes	Praktische Informatik (Softwareengineering)
Courses type	Lecture in category Offizielle Lehrveranstaltungen
Next date	Thursday, 05.12.2024 14:15 - 15:45, Room: Hörsaal 3.07 [VSP 1]
Participants	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.
Pre-requisites	Keine
Performance record	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
Miscellanea	Zu dieser Vorlesung wird ein fakultatives Tutorium angeboten.
ECTS points	8

Lecturers

• Prof. Dr. Wolf Zimmermann

Tutors

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

Rooms and times

Hörsaal 3.07 [VSP 1]

Thursday: 14:15 - 15:45, weekly (14x)

Fields of study

• 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

Module assignments

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

Comment/Description

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)