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	WS 2020/21
Current number of participants	162
Home institute	Leitung des Instituts für Informatik
participating institutes	Praktische Informatik (Softwareengineering)
Courses type	Lecture in category Offizielle Lehrveranstaltungen
First date	Thursday, 05.11.2020 15:30 - 17:00, Room: Hörsaal 3.28 [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 2012 gedacht.
Pre-requisites	Keine
Performance record	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
Miscellanea	Zu dieser Vorlesung wird ein fakultatives Tutorium angeboten.
ECTS points	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

Rooms and times

Hörsaal 3.28 [VSP 1]

Thursday: 15:30 - 17:00, 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), Akkreditierungsfassung (WS 2007/08 - SS 2012) > Pflichtmodule > INF.02511.06 - Mathematische Grundlagen der Informatik, valid from 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, valid from 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, valid from 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, valid from 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, valid from 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, valid from 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, valid from 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, valid from 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, valid from 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, valid from WS 2006/07 > LV 1: Vorlesung (Vorlesung)
• Bioinformatik Bioinformatik180, Akkreditierungsfassung (WS 2007/08 - SS 2012) > Pflichtmodule > INF.02511.06 - Mathematische Grundlagen der Informatik, valid from WS 2006/07 > LV 1: Vorlesung (Vorlesung)
• Informatik Informatik (Sekundar), Akkreditierungsfassung (WS 2007/08 - SS 2012) > Pflichtmodule > INF.02511.06 - Mathematische Grundlagen der Informatik, valid from WS 2006/07 > LV 1: Vorlesung (Vorlesung)
• Psychologie Psychologie180, Akkreditierungsfassung (WS 2006/07 - SS 2021) > Nebenfach > INF.02511.06 - Mathematische Grundlagen der Informatik, valid from WS 2006/07 > LV 1: Vorlesung (Vorlesung)
• Informatik Inform (Gymnasium), Akkreditierungsfassung (WS 2007/08 - SS 2012) > Pflichtmodule > INF.02511.06 - Mathematische Grundlagen der Informatik, valid from WS 2006/07 > LV 1: Vorlesung (Vorlesung)
• Informatik Informatik (Sekundar) (WLF), Akkreditierungsfassung valid from WS 2019/20 > Pflichtmodule > INF.05173.08 - Mathematische Grundlagen der Informatik und Konzepte der Modellierung, valid from WS 2012/13 > LV 1: Vorlesung (Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Informatik Informatik (Sekundar), Akkreditierungsfassung valid from WS 2019/20 > Pflichtmodule > INF.05173.08 - Mathematische Grundlagen der Informatik und Konzepte der Modellierung, valid from 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, valid from 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, valid from WS 2012/13 > LV 1: Vorlesung (Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Informatik Inform (Gymnasium) (WLF), Akkreditierungsfassung valid from WS 2012/13 > Pflichtmodule > INF.05173.08 - Mathematische Grundlagen der Informatik und Konzepte der Modellierung, valid from WS 2012/13 > LV 1: Vorlesung (Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Informatik Informatik (Sekundar) (ELF), Akkreditierungsfassung valid from WS 2019/20 > Pflichtmodule > INF.05173.08 - Mathematische Grundlagen der Informatik und Konzepte der Modellierung, valid from 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, valid from 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, valid from 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, valid from 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, valid from 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, valid from 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, valid from WS 2012/13 > LV 1: Vorlesung (Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Wirtschaftsinformatik Wirtschaftsinformatik180, Akkreditierungsfassung valid from WS 2020/21 > 2.2 Informatik > INF.05173.08 - Mathematische Grundlagen der Informatik und Konzepte der Modellierung, valid from WS 2012/13 > LV 1: Vorlesung (Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Informatik Inform (Gymnasium) (ELF), Akkreditierungsfassung valid from WS 2012/13 > Pflichtmodule > INF.05173.08 - Mathematische Grundlagen der Informatik und Konzepte der Modellierung, valid from WS 2012/13 > LV 1: Vorlesung (Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Informatik Informatik180, Akkreditierungsfassung valid from SS 2021 > Pflichtmodule > INF.05173.08 - Mathematische Grundlagen der Informatik und Konzepte der Modellierung, valid from WS 2012/13 > LV 1: Vorlesung (Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Informatik Inform (Gymnasium), Akkreditierungsfassung valid from WS 2012/13 > Pflichtmodule > INF.05173.08 - Mathematische Grundlagen der Informatik und Konzepte der Modellierung, valid from 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, valid from 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, valid from 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, valid from WS 2018/19 > LV 1: Vorlesung (Mathematische Grundlagen der Informatik und Konzepte der Modellierung 1)
• Bioinformatik Bioinformatik180, Akkreditierungsfassung valid from SS 2021 > Pflichtmodule > INF.06457.04 - Grundlagen der Bioinformatik, valid from WS 2018/19 > LV 1: 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)