Übung

Modelle der Informatik A

Name im Diploma SupplementModels in Computing A
Anbieter Lehrstuhl für Software-Engineering, insb. mobile Anwendungen (http://www.se.wiwi.uni-due.de/)
Juniorprofessur für Visualisierung (https://www.vis.wiwi.uni-due.de/)
LehrpersonProf. Dr. Volker Gruhn
Jun.-Prof. Dr. Fabian Beck
SWS1Sprachedeutsch
TurnusWintersemestermaximale Hörerschaftunbeschränkt

empfohlenes Vorwissen

keines

Qualifikationsziele

Die Studierenden

  • verfügen über weiterentwickelte modellbasierte Problemlösungsfähigkeiten bezüglich der in „Modelle der Informatik A“ behandelten Modelle
  • können die formalen Modellierungsgrundlagen aus der Mathematik und der theoretischen Informatik erläutern
  • können Modelle formal präzise notieren, um sie einer algorithmischen Analyse zugänglich zu machen
  • können für korrekt spezifizierte Modelle zeigen, welche Eigenschaften durch eine Analysetechnik erfasst werden bzw. welchen Einschränkungen Analysetechniken unterliegen
  • können Anwendungsbereiche der Modellierung erfassen, kleinere Modelle auch ohne Werkzeugunterstützung erstellen, analysieren und die Ergebnisse anwendungsbezogen interpretieren
  • beherrschen die wichtigsten Algorithmen und können diese im Hinblick ihre formalen Grundlagen erklären und für gegebene Beispielen selbst korrekt und zielgerichtet ausführen
  • sind in der Lage, (elementare) Modellierungswerkzeuge zur Problemlösung auf den Gebieten Formale Sprachen, endliche Automaten und Aussagenlogik einzusetzen und die erzielten Ergebnisse zu bewerten

Lehrinhalte

Aufgaben und Beispiele zum Stoff der Vorlesung

Literaturangaben

  • Müller-Clostermann, B.: Skriptum "Modelle der Informatik" (siehe Homepage)
  • Hedstück, U.: Einführung in die Theoretische Informatik - Formale Sprachen und Automatentheorie, Oldenbourg, 2002 (176 Seiten), in ca. 50 Exemplaren in der Lehrbuchsammlung (am Campus Essen)
  • Schöning, U.: Theoretische Informatik - kurzgefasst, Heidelberg 2001 (4. Auflage, 198 Seiten)

Hörerschaft

  • BWL Bachelor 2006-V2013>Vertiefungsstudium >Wahlpflichtbereich >Bereich Volkswirtschaftslehre, Rechtswissenschaft, Wirtschaftsinformatik, Informatik >Vertiefungsbereich Informatik >Modul "Modelle der Informatik A"4.-6. Fachsemester, Pflicht
  • LA gbF/kbF BK Master 2014>Masterprüfung in der kleinen beruflichen Fachrichtung >Wirtschaftsinformatik >Wahlpflichtbereich Kleine berufliche Fachrichtung "Wirtschaftsinformatik" >Modul "Modelle der Informatik A"1.-3. Fachsemester, Pflicht
WIWI‑C0364 - Übung: Modelle der Informatik A