Allgemeine Informationen

• Wahlmodul für BPT, EEI ,ME, IuK u. WING im WS
• Vorlesung: Di., 16:15 - 17:45 Uhr
• Vorlesung wird hybrid angeboten (Handouts stehen online zur Verfügung, bitte ausgedruckt zur Vorlesung mitbringen)
• Vorlesung steht nach der Präsenzveranstaltung online zur Verfügung (Anmeldung bei StudON)
• Übung: Di., 14:15 - 15:45 Uhr  erster Termin am 17.10.2023 ist Vorlesung
• Ort: Seminarraum SR 01.030 am LZS (Röthelheim-Campus)
• Zeitlicher Umfang: 2 + 2 SWS (Vorlesung + Übung) / ECTS: 5
• Anmeldung: StudON
• Ansprechpartner: M.Sc. Tobias Rumpel

---

Inhalt

Die Vorlesung behandelt Methoden zur konsistenten Darstellung von zuverlässigen, rückwirkenden, digitalen Systemen. Mit Hilfe von Aussagen wird in mathematische Formalismen für den automatenorientierten Entwurf digitaler Systeme eingeführt. Spezielle Themen aus dem Bereich der durchgängigen Spezifikation allgemeiner technischer Systeme werden diskutiert.

Gliederung

Motivation

• Big Data Analyse, Übertragungsfunktion, Russelsche Antonomie

Aussagen

• Positive Logik zur Darstellung 3-wertiger Partitionen
• Kategorisieren mit Hilfe von Eigenschaften
• Motivation für Test

Spezifikation

• Darstellung mit Hilfe von bekannten Strukturen aus der Schaltungstechnik
• Unterschiede von Signalen zu Leitungen, Betriebsmodi und Pinmapping
• Analoge, Digitale und Parametrische Pins

Multi-Set

• Projektionen und wesentlichen Eigenschaften von Mengen und Modulen
• Rechnen im Multiset, Inverses, Komplement und Dualität

Komplementärlogik, Limesdiagramm

 Automat

• SFG, CA/CM/KV-Diagramm
• QVL/TVL, Sequenz, Potenzmenge
• Liste vs Wörter, Ringmodule
• Inverse Semigroup Expansion

 Modellierung

• Top-Down, Bottom-Up
• Endofunktionen, UML
• Matrizen, Äquivalenztransformation
• Pseudoinverse, Fujimoto