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	WS 2020/21
Aktuelle Anzahl der Teilnehmenden	162
Heimat-Einrichtung	Leitung des Instituts für Informatik
beteiligte Einrichtungen	Praktische Informatik (Softwareengineering)
Veranstaltungstyp	Vorlesung in der Kategorie Offizielle Lehrveranstaltungen
Erster Termin	Donnerstag, 05.11.2020 15:30 - 17:00, Ort: Hörsaal 3.28 [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 2012 gedacht.
Voraussetzungen	Keine
Leistungsnachweis	Studienleistung: Mindestens 50% der erreichbaren Punkte aus den wöchentlich zu lösenden Übungsblättern + ständige Teilnahme an den Übungen
Studiengänge (für)	Bachelor Informatik (1. Fachsemester) Bachelor Bioinformatik (1. Fachsemester) Lehramt Informatik (1. Fachsemester)
SWS	2+2
Sonstiges	Zu dieser Vorlesung wird ein fakultatives Tutorium angeboten.
ECTS-Punkte	8

Lehrende

• Prof. Dr.-Ing. Stefan Posch
• Maik Fröbe
• M. Sc Janis Daniel Dähne
• M. Sc Silvio Weging

Tutor/-innen

• Lysander Janot Leese
• Sandra Schwarzkopf
• Jonas Albert Hartig
• Laura Michaela Schian
• Erik Marten Wegener

Räume und Zeiten

Hörsaal 3.28 [VSP 1]

Donnerstag: 15:30 - 17:00, 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)

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)