Exercise

Modelle der Informatik A

Name in diploma supplementModels in Computing A
Organisational Unit 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/)
LecturersProf. Dr. Volker Gruhn
Jun.-Prof. Dr. Fabian Beck
SPW1LanguageGerman
Cyclewinter semesterParticipants at mostno limit

Preliminary knowledge

keines

Qualification Targets

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

Contents

Aufgaben und Beispiele zum Stoff der Vorlesung

Literature

  • 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)

Participants

  • BWL Bachelor 2006-V2013>Vertiefungsstudium >Wahlpflichtbereich >Bereich Volkswirtschaftslehre, Rechtswissenschaft, Wirtschaftsinformatik, Informatik >Vertiefungsbereich Informatik >Modul "Modelle der Informatik A"4th-6th Semester, Elective
  • LA gbF/kbF BK Master 2014>Masterprüfung in der kleinen beruflichen Fachrichtung >Wirtschaftsinformatik >Profil "Wirtschaftsinformatik" in der kleinen beruflichen Fachrichtung >Wahlpflichtbereich im Profil "Wirtschaftsinformatik" >Modul "Modelle der Informatik A"1st-3rd Semester, Elective
WIWI‑C0364 - Exercise: Modelle der Informatik A