Studium

Anwendungsnah studieren heißt: Besser vorbereitet sein in Theorie und Praxis.
Wir leben in Zeiten technologischer Innovationsverdichtung. Maschinenelles Lernen, 5G-basierte Kommunikation, das Internet der Dinge, Techniken der virtuellen und augmentierten Realität haben Auswirkungen auf Geschäftsmodelle und die Struktur von Softwaresystemen. Dynamische Veränderungen in diesen Forschungsbereichen sowie in den Anforderungen aus der Wirtschaft integrieren wir unmittelbar in die Inhalte unserer Lehre. So bleiben Vorlesungen und Seminare immer nah am Puls des Fortschritts.

Veranstaltungen

Modelle der Informatik

Ort:
Schützenbahn
Raum:
SH601
Termine:
Mo. 10:15-11:45 Uhr
Mi. 18:15-19:45 Uhr

Modelle sind die grundlegenden Artefakte der Informatik. Sie werden in zahlreichen Prozessen der Entwicklung von Hardware- und Softwaresystemen verwendet.

Lehrinhalte

  • Formale Sprachen: Buchstaben, Wörter, Sprachen, Klassen von unendlichen Sprachen, Grammatiken: Definitionen, Chomsky-Hierarchie, BNF, EBNF, Endliche Automaten und reguläre Sprachen: Moore- und Mealy-Automaten, Deterministische und Nichtdeterministische Automaten, Turingmaschine, reguläre und kontextfreie Sprachen, Ableitungsbäume, Scanner und Parser.
  • Logik: Aussagenlogik, logische Ausdrücke und Wahrheitstafeln, Tautologien, de Morgansche Regeln, Beweismethoden, aussagenlogische Resolution, Normalformen, Resolvierung von Begründungen, Grundzüge der Prädikatenlogik, Einführung in die Temporale Logik.
  • Bäume, Graphen und Netzwerke: Definitionen von Bäumen, binäre Suchbäume, Baumdurchlauf, ausgeglichene Bäume, Mehrwegbäume, Definitionen von Graphen, Euler- und Hamilton-Graphen, Knotenfärbung, Schwacher und starker Zusammenhang, Tiefen- und Breitendurchlauf, Spannbäume, Minimale Spannbäume, kürzeste Wege (Dijkstra-Algorithmus), Anwendungen, z.B. Routing in Rechnernetzen, Netzwerke und Flüsse.
  • Petri-Netze: Definition von Petri-Netzen, Stellen/Transitionsnetze, Lebendigkeit, Beschränktheit, S- und T-Invarianten, Erreichbarkeit, Modelle für wechselseitigen Ausschluss, Produzent/Konsument-Problem und Leser/Schreiber-Problem, Bedingungs/Ereignisnetze, Farbige Petri-Netze, Petri-Netze mit Verbotskanten, Vergröberung/Verfeinerung und Faltung/Entfaltung von Petri-Netzen, Varianten von Petri-Netzen ohne/mit individuellen Marken.
  • Objektorientierte Modellierung mit Unified Modeling Language (UML): Klassen-, Use-Case-, Aktivitäts-, Paket-, Sequenz-, Komponentendiagramm, Zustandsautomat; Assoziation, Aggregation, Komposition, Vererbung.
  • Ausblick auf weitere Aspekte der theoretischen Informatik

Literaturangaben

  • Müller-Clostermann, B.: Skriptum "Modelle der Informatik" (siehe Moodle)
  • 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)
  • Kelley, J: Logik im Klartext, Pearson Studium, München 2003, in ca. 50 Exemplaren in der Lehrbuchsammlung am Campus Essen
  • Baumgarten, B.: Petri-Netze: Grundlagen und Anwendungen; Spektrum-Akademischer Verlag, 1997
  • Rupp, C., Queins, S., die Sophisten: UML 2 glasklar: Praxiswissen für die UML-Modellierung, 2012 (4. Auflage)

Weitere Veranstaltungen

WISE 21/22
BASE
Bachelorseminar
Bekanntgabe der Themen: 04.10.2021 Die Einführungsveranstaltung findet am 08.10.2021 von 14:00 Uhr bis 16:00 Uhr im BBB statt.
WISE 21/22
EMSE
Empirical Methods for Software Engineers
Eine Vielzahl von Ansätzen in der Softwaretechnik erfordert es, Beobachtungen vorzunehmen und diese auszuwerten. Beispiele dafür sind Benchmarks für die…
WISE 21/22
EngML
Engineering ML-based Systems
Lehrinhalte Im Kurs Engineering ML-based Systems (EngML) werden fortgeschrittene Machine Learning Konzepte und Best-Practices bei der Entwicklung von ML Modellen vermittelt. Der Kurs startet mit einer…
WISE 21/22
KIOP
Konzepte und Implementierung Objektorientierter Programmiersprachen
Die Objektorientierung spielt heutzutage in sehr vielen Bereichen der Softwareentwicklung eine entscheidende Rolle. So genannte „Enterprise-Frameworks“, welche  für eine Vielzahl…
SOSE 2021
BASE
Bachelorseminar
Bekanntgabe der Themen: 01.04.2021 Bitte beachten Sie: Aufgrund der aktuellen Situation kann es zu Veränderungen bei den Terminen und Formaten…
SOSE 2021
DBMS
Datenbankmanagementsysteme
Wie der Name Datenverarbeitung schon impliziert, steht im Mittelpunkt vieler Anwendungen die Verarbeitung von großen Mengen von Daten. Im Sinne…
SOSE 2021
EMSE
Empirical Methods for Software Engineers
Eine Vielzahl von Ansätzen in der Softwaretechnik erfordert es, Beobachtungen vorzunehmen und diese auszuwerten. Beispiele dafür sind Benchmarks für die…
SOSE 2021
GruML
Grundlagen des Maschinellen Lernens
Die Vorlesung vermittelt einen allgemeinen Überblick über die wichtigsten Techniken des Maschinellen Lernens (ML). Es werden verschiedene Verfahren und die…
WISE 20/21
BASE
Bachelorseminar
Bekanntgabe der Themen: 09.11.2020 Bitte beachten Sie: Aufgrund der aktuellen Situation kann es zu Veränderungen bei den Terminen und Formaten…
WISE 20/21
EMSE
Empirical Methods for Software Engineers
Eine Vielzahl von Ansätzen in der Softwaretechnik erfordert es, Beobachtungen vorzunehmen und diese auszuwerten. Beispiele dafür sind Benchmarks für die…
WISE 20/21
KIOP
Konzepte und Implementierung Objektorientierter Programmiersprachen
Die Objektorientierung spielt heutzutage in sehr vielen Bereichen der Softwareentwicklung eine entscheidende Rolle. So genannte „Enterprise-Frameworks“, welche  für eine Vielzahl…
WISE 20/21
MDI
Modelle der Informatik
Modelle sind die grundlegenden Artefakte der Informatik. Sie werden in zahlreichen Prozessen der Entwicklung von Hardware- und Softwaresystemen verwendet. Lehrinhalte…
Scroll to Top