• Technologische Grundlagen und Trends der Mikroelektronik
  • Entwurfsflüsse für mikroelektronische Systeme
  • Beschreibung von Hardware-Systemen
  • Charakteristika von Rechnersystemen
  • Architekturen für parallele Ausführung
  • Speichersysteme
  • Heterogene Systems-on-Chip
  • On-Chip und Off-Chip Kommunikationsstrukturen
  • Aufbau eingebetteter Systeme, z.B. im Umfeld von Cyber-Physical Systems

Einführung: Transitionssysteme, Wörter, Sprachen; Mathematische Grundbegriffe und elementare Beweismethoden; Endliche Automaten und reguläre Sprachen; Determinismus und Nichtdeterminismus, Abschlusseigenschaften und Automatenkonstruktionen;
Sätze von Kleene, Myhill-Nerode, Pumping Lemma;
Grammatiken und Chomsky-Hierarchie,
kontextfreie Sprachen, Abschlusseigenschaften, Pumping Lemma, CYK Algorithmus;
Berechnungsmodelle: Kellerautomaten, Turingmaschinen; Entscheidbarkeit und Aufzählbarkeit in der Chomsky-Hierarchie

Lehrinhalte:

  • Digitale Abstraktion und ihre technische Umsetzung, Zahlensysteme, Logikgatter, MOSFET Transistoren und CMOS Gatter, Leistungsaufnahme
  • Kombinatorische Schaltungen: Boole’sche Gleichungen und Algebra, Abbildung auf Gatter, mehrstufige Schaltungen, vierwertige Logik (0,1,X,Z), Minimierung von Ausdrücken, kombinatorische Grundelemente, Zeitverhalten
  • Sequentielle Schaltungen: Latches, Flip-Flops, Entwurf synchroner Schaltungen, endliche Automaten, Zeitverhalten, Parallelität
  • Hardware-Beschreibungssprachen: Modellierung kombinatorischer und sequentieller Schaltungen, Strukturbeschreibungen, Modellierung endlicher Automaten, Datentypen, parametrisierte Module, Testrahmen
  • Grundelemente digitaler Schaltungen: arithmetische Schaltungen, Fest-/Gleitkommadarstellung, sequentielle Grundelemente, Speicherfelder, Logikfelder

Die Veranstaltung Funktionale und objektorientierte Programmierkonzepte (FOP) ist eine Pflichtveranstaltung im ersten Semester für Studierende der Informatik und mehrerer verwandter Studiengänge. In der Veranstaltung wird der Grundstein für systematische Programmierung gelegt, auf dem die folgenden Informatik-Veranstaltungen aufbauen. Dazu werden zwei verschiedene Programmiersprachen genutzt: die How to Design Programs Teaching Languages (HtDP-TL) und Java.

In dieser und den noch folgenden Mathematikvorlesungen in den kommenden Semestern werden Ihnen mathematische Grundlagen vermittelt. Diese sollen Sie in die Lage versetzen, in Fachvorlesungen benötigte mathematische Inhalte zu verstehen und anzuwenden, sowie sich in weitere verwendete Methoden einlesen zu können. Die Vorlesung Mathematik I für Informatik und Wirtschaftsinformatik befasst sich u.a. mit den Themen Aussagen, Beweisprinzipien, algebraische Strukturen, Vektorräumen, normierten Räumen, linearen Abbildungen und linearen Gleichungssystemen.

In diesem moodle-Kurs finden Sie alle näheren Informationen, Materialien und Ankündigungen zur Veranstaltung.

Dieser Kurs ist ausschließlich für Veranstalter und Tutor_innen der "Digitaltechnik" im WS 2017/18 verfügbar. Eine eigene Einschreibung ist nicht möglich.