Modeling methods in computer science

Formalia


Targeted audience
  • DAI Grundstudium with 3+1 hours per week and 8 credit points
  • Angewandte Informatik Bachelor with 2+1 hours per week and 4 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

Wednesday14:00 - 16:30LB/131

Tutorials

Date

Time

Place

Tutor

Wednesday17:00 - 18:00LB/131Dr. rer. nat. Ingo Frommholz
Thursday10:00 - 11:00LD/106Dr. rer. nat. Ingo Frommholz
Thursday11:00 - 12:00LD/106Dr. rer. nat. Ingo Frommholz
Thursday12:00 - 13:00LE/120Dr. rer. nat. Ingo Frommholz
Thursday13:00 - 14:00LE/120Dr. rer. nat. Ingo Frommholz

Description


Lecture material


Gliederung der Vorlesung


  • Einführung - Grundbegriffe
    • Der Modellbegriff
    • Repräsentationssysteme
    • Repr. und Interpretation
  • Objektorientierte Spezifikation
    • Objektorientierte Analyse
    • Die Unified Modelling Language (UML)
      • Klassendiagramme
      • Anwendungsfalldiagramme
      • Sequenzdiagramme und Kollaborationsdiagramme
      • Zustandsübergangsdiagramme
      • Aktivitätsdiagramme
      • Komponentendiagramme
    • UML-Metamodell
  • Petri-Netze
    • Netzgraphen (Struktur)
    • Dynamik von Netzen (S/T-Systeme)
    • Grundbegriffe und Grundsituationen
    • Invarianten
    • Weitere Netztypen
  • Logikkalküle (nicht relevant für Bachelor AI)
    • Aussagenlogik
    • Normalformen
    • Hornformeln
    • Aussagenlogische Resolution
    • Prolog
    • Resolution für Hornformeln und Prolog
    • Syntax und Semantik der Prädikatenlogik
    • Normalformdarstellung
    • Grundresolution
    • Prädikatenlogische Resolution
  • XML
    • Zentrale Konzepte
    • XML-Anwendungen
    • Wohlgeformte und valide Dokumente
    • XML-Parser
    • DTD
    • XSL
    • XML Schema

Skript


Exercises


You can check the status of your bonuspoints online: Bonuspoint check

Contact: mod_ws07-anmeldung@is.informatik.uni-duisburg.de