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
Raum:
Digitale Vorlesung (Details werden im Moodle bekannt gegeben)
Termine:
Als Textfeld noch eher schlecht als recht
Beginn:
2020-11-02
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)
