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

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

You are not logged into Stud.IP.

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

Fields of study

Module assignments

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)