Allgemeine Informationen

Veranstaltungsname	Vorlesung: Mathematische Grundlagen der Informatik und Konzepte der Modellierung II (Vorlesung)
Semester	SS 2021
Aktuelle Anzahl der Teilnehmenden	90
Heimat-Einrichtung	Leitung des Instituts für Informatik
beteiligte Einrichtungen	Praktische Informatik (Softwareengineering)
Veranstaltungstyp	Vorlesung in der Kategorie Offizielle Lehrveranstaltungen
Erster Termin	Donnerstag, 15.04.2021 15:30 - 17:00
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

Tutor/-innen

Themen

Allgemeines, Kapitel 4: Algebraische Grundlagen (Kapitel 4.1: Listen und Monoide), Kapitel 4.2. Aussagenlogik und Boolesche Algebra, Kapitel 4.3: Verbände, Kapitel 5: Modellierung technischer Systeme (Kapitel 5.1: Modellierung mit endlichen Automaten), Kapitel 5.2: Modellierung mit Petri-Netzen, Kapitel 6: Abstrakte Datentypen, Kapitel 6.2: Gleichungen und Rechnen mit Termen, Kapitel 6.3: Algebren, Kapitel 6.3.2: Termalgebren, Kapitel 6.3.3: Beziehungen zwischen Algebren, Kapitel 6.4: Abstrakte Datentypen, Kapitel 6.4.2: Der Datentyp Keller, Kapitel 6.4.3: Der Datentyp Schlange, Kapitel 6.4.4: Der Datentyp Liste, Kapitel 6.4.5: Der Datentyp Menge, Kapitel 6.5: Ausführung von Spezifikationen, Kapitel 6: Zusammenfassung, Kapitel 7: Modellierung mit Logik, Kapitel 7.2: Kalkül für Abstrakte Datentypen, Kapitel 7.3: Aussagenlogik, Kapitel 7.4: Prädikatenlogik, Kapitel 8: Objektorienterte Modellierung (Kapitel 8.1: Objekte und Klassen), Kapitel 8.2: Assoziationen, Kapitel 8.3: Vererbung und Polymorphie, Kapitel 7.3 Aussagenlogik (2. Teil)

Räume und Zeiten

Keine Raumangabe: Donnerstag: 15:30 - 17:00, wöchentlich

Studienbereiche

Modulzuordnungen

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)