MLU
Vorlesung: Konzepte der Modellierung - Details
Sie sind nicht in Stud.IP angemeldet.

Allgemeine Informationen

Veranstaltungsname Vorlesung: Konzepte der Modellierung
Untertitel http://swt.informatik.uni-halle.de//lehre/2009ws/kdm/
Semester WS 2009/10
Aktuelle Anzahl der Teilnehmenden 3
Heimat-Einrichtung Leitung des Instituts für Informatik
beteiligte Einrichtungen Praktische Informatik (Softwareengineering)
Veranstaltungstyp Vorlesung in der Kategorie Offizielle Lehrveranstaltungen
Erster Termin Freitag, 09.10.2009 14:15 - 15:45
Voraussetzungen Keine
Leistungsnachweis Modulvorleistung: Mindestens 50% der erreichbaren Punkte aus den wöchentlich zu lösenden Übungsblättern + ständige Teilnahme an den Übungen

Modulleistung: Klausur
1. Termin: 14.02.2008
Wiederholungstermin:
Studiengänge (für) Bachelor Informatik
Bachelor Wirtschaftsmathematik
Bachelor Geographie
SWS 2+2
Sonstiges Die 10 Kreditpunkte können nur zusammen mit der Veranstaltung "Mathematische Grundlagen der Informatik", die ebenfalls zum Modul "Grundlagen und Konzepte der Modellierung" gehört, erworben werden.
ECTS-Punkte 10

Räume und Zeiten

Keine Raumangabe
Freitag: 14:15 - 15:45, wöchentlich(15x)
Donnerstag, 25.03.2010 10:00 - 12:00
Donnerstag, 25.03.2010 10:00 - 12:00
Donnerstag, 25.03.2010 10:00 - 12:00
Donnerstag, 25.03.2010 10:00 - 12:00
Donnerstag, 25.03.2010 10:00 - 12:00
Donnerstag, 25.03.2010 10:00 - 12:00
Freitag, 23.07.2010 10:00 - 12:00
Freitag, 23.07.2010 10:00 - 12:00
Freitag, 23.07.2010 10:00 - 12:00

Studienbereiche

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:
- Textersetzungssysteme und Grammatiken
- Modellierung von Abläufen
- Abstrakte Datentypen
- Logik zur Spezifikation von Problemen
- Objekt-Orientiertes Modellieren: UML Klassendiagramme