Homepage Sitemap Contact




Home « Studies « Teaching Materials
Sorry, only available in german.


Ausgewählte Kapitel der Technischen Informatik (03-05-G-700.14)

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 auf Graphen
  • Effiziente Darstellung Boolescher Funktionen
  • Entscheidungsprozeduren
  • Verfahren zur Lösung von Optimierungs- und Suchproblemen


Termin und Ort nach Vereinbarung mit Prof. Dr. Rolf Drechsler.



 Entnehmen Sie Angaben bezügl. Ort und Zeit bitte der LV-Liste der Universität Bremen



[Folien (ausser Übungsblätter) nur aus dem Campusnetz erreichbar]


Schein





  Zur Liste der Lehrveranstaltungen der Universität Bremen




zurück





Deutsch








Sitemap Kontakt

ISMVL2014 DUHDE