Lehrinhalte:
- 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

Literatur:
Literaturempfehlungen werden kontinuierlich aktualisiert, Beispiele für verwendete Literatur könnten sein:
Nikhil/Czeck: Bluespec by Example
Arvind/Nikhil/Emer/Vijayaraghavan: Computer Architecture: A Constructive Approach
Hennessy/Patterson: Computer Architecture – A Quantitative Approach
Crockett/Elliott/Enderwitz/Stewart: The Zynq Book
Flynn/Luk: Computer System Design
Sass/Schmidt: Embedded Systems Design

Voraussetzungen:
Empfohlen:
Erfolgreicher Besuch der Vorlesungen „Digitaltechnik“ und „Rechnerorganisation“ bzw. entsprechende Kenntnisse aus anderen Studiengängen.

Lehrinhalte:
Teil I: Kryptographie 
- Mathematische Grundlagen der Kryptographie 
- Schutzziele: Vertraulichkeit, Integrität, Authentizität 
- Symmetrische und Asymmetrische Kryptographie 
- Hash-Funktionen und Digitale Signaturen 
- Protokolle zum Schlüsseltausch 
Teil II: IT-Sicherheit und Zuverlässigkeit 
- Grundlegende Konzepte der IT-Sicherheit 
- Authentifizierung und Biometrie 
- Access Control Modelle und Mechanismen 
- Grundkonzepte der Netzwerksicherheit 
- Grundkonzepte der Software-Sicherheit 
- Zuverlässige Systeme: Fehlertoleranz, Redundanz, Verfügbarkeit

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

Moodle-Kurs zur Veranstaltung "Einführung in den Compilerbau" im Wintersemester 18/19

Grundlagenkurs zu formalen Methoden im Softwareentwurf: Modellierung, Spezifikation und Verifikation von Software

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.

Kursseite zu Software Engineering im Wintersemester 2018/19

Herzlich Willkommen zum Treffpunkt Mathematik I für Informatik und Wirtschaftsinformatik im WS 2018/2019!


Der Treffpunkt findet ab dem 23.Oktober 2018 in der Vorlesungszeit immer Dienstags um 13:30-15:10 Uhr in S1|01 Raum A01 statt.

Bei Fragen außerhalb des Treffpunkts

  • moodle Nachricht ins Forum
  • moodle Nachricht als persönliche Mitteilung
  • Sprechstunde:  S2|15 Raum 319, nach Vereinbarung oder einfach vorbeischauen


Klausurvorbereitung

In der vorlesungsfreien Zeit gibt es im Rahmen des Treffpunktes eine Klausurvorbereitung. In den Sitzungen wird jeweils eine alte Klausur vorgerechnet.


Link zur moodle-Seite der Mathe 1-Veranstaltung