Modeling methods in computer science

Formalia


Targeted audience
  • DAI Grundstudium with 3+1 hours per week and 8 credit points
  • Lehramt Informatik Hauptstudium with 3+1 hours per week
  • Nebenfach Informatik Hauptstudium with 3+1 hours per week
  • Kommedia Master with 3+1 hours per week
  • ISE Bachelor with 3+1 hours per week

Dates


Lectures

Date

Time

Place

Dienstag 16:00 - 18:30LB/134

Tutorials

Date

Time

Place

Tutor

Montags 10:00 - 11:00LF/053Dipl.-Inform. Gudrun Fischer
Montags 11:00 - 12:00LF/053Dipl.-Inform. Gudrun Fischer
Montags 12:00 - 13:00LF/053Dipl.-Inform. Gudrun Fischer
Montags 13:00 - 14:00LF/053Dipl.-Inform. Gudrun Fischer

Description


There will be no lecture on February 7!

Lecture material


Material for the tutorials


Gliederung der Vorlesung


  • Kapitel 1: Einführung - Grundbegriffe
    • 1.1 Der Modellbegriff
    • 1.2 Repräsentationssysteme
    • 1.3 Repr. und Interpretation
  • Kapitel 2: Logikkalküle
    • 2.1 Aussagenlogik
    • 2.2 Normalformen
    • 2.3 Hornformeln
    • 2.4 Aussagenlogische Resolution
    • 2.5 Prolog
    • 2.6 Resolution für Hornformeln und Prolog
    • 2.7 Syntax und Semantik der Prädikatenlogik
    • 2.8 Normalformdarstellung
    • 2.9 Grundresolution
    • 2.10 Prädikatenlogische Resolution
  • Kapitel 3: Objektorientierte Spezifikation
    • 3.1 Objektorientierte Analyse
    • 3.2 Die Unified Modelling Language (UML)
      • Klassendiagramme
      • Anwendungsfalldiagramme
      • Sequenzdiagramme und Kollaborationsdiagramme
      • Zustandsübergangsdiagramme
      • Aktivitätsdiagramme
      • Komponentendiagramme
  • Kapitel 4: Petri-Netze
    • 4.1 Netzgraphen (Struktur)
    • 4.2 Dynamik von Netzen (S/T-Systeme)
    • 4.3 Grundbegriffe und Grundsituationen
    • 4.4 Weitere Netztypen

Skript


Mitschriften


Exam


The results of the exam are available here. They have been sent to the Prüfungsamt already, after the offocial opportunity to look at the exams, which took place on Wednesday, August 16th.

Here, you can find example questions for the oral exam (in German). We recommend them as additional training material for the written exam as well.

Tutorials and homework


The registration for the tutorials is finished. Please refer to this page for your scheduled tutorial time. For late registration, please write an e-mail to modellierung@is.inf.uni-due.de, specifying your first and last names, your student ID (Matrikelnummer), your subject, and your semester.

You can check the status of your bonuspoints online: Bonuspoint check (down)

Contact: modellierung@is.inf.uni-due.de