Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Lehre « Lehrmaterial


Vertiefungsveranstaltung Technische Informatik 1 03-BE-701.06

Veranstalter: Prof. Dr. Rolf Drechsler

Die Veranstaltung richtet sich an Studierende des Grundstudiums, die bereits über solide Grundkenntnisse im Gebiet der Technischen Informatik verfügen. Es werden ausgewählte Themen der Technischen Informatik behandelt, die Einblick in die aktuelle Forschung gewähren. Vertieft werden insbesondere die Bereiche Verifikation und Testen. Dabei werden unter anderem die folgenden Themen erarbeitet:

  • Algorithmen
  • Graphenprobleme
  • Effiziente Darstellung Boolescher Funktionen
  • Entscheidungsprozeduren
  • Verfahren zur Lösung von Optimierungs- und Suchproblemen
  • Hardware- und Systembeschreibung
  • Assemblerprogrammierung
  • Quantencomputer


 Ort & Zeit:
nach Vereinbarung; Anmeldungen bitte an Rolf Drechsler


[Folien (außer Übungsblätter) nur aus dem Campusnetz erreichbar]






zurück





English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt