HOME | CONTACT

Logo Universtity of Bremen
LOGO AGRA | AG Rechnerarchitektur



Group of Computer Architecture / AGRA | Computer Science | Faculty 03 | University of Bremen
Only available in German

Vertiefungsveranstaltung Technische Informatik 1
S | 03-BE-701.06

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

Veranstalter:
Prof. Dr. Rolf Drechsler

Ort & Zeit:
Blockveranstaltung
nach Vereinbarung; Anmeldungen bitte an Prof. Dr. Rolf Drechsler


©2023 | Group of Computer Architecture | Contact | Legal & Data Privacy