Aktuelles Informatik
Hochaktuelle Ringvorlesung zu Cyber Security
Im Studiengang Informatik der DHBW Stuttgart fand in den letzten Wochen – seit Mitte März als reine Online-Veranstaltung – erstmals eine Ringvorlesung statt zur „Cyber Security“, ein Thema, das mit zunehmender Digitalisierung immer bedeutsamer wird.
Studierende bei Wettbewerb für autonome Modellfahrzeuge
Der Carolo-Cup der TU Braunschweig ist ein internationaler studentischer Wettbewerb, bei dem selbstfahrende Modellfahrzeuge auf einem Parcours gegeneinander antreten. Erstmals war die DHBW Stuttgart mit einem Team vertreten. Seit 2008 ist die TU Braunschweig jährlich Gastgeberin für die Teams der verschiedenen Hochschulen im Carolo-Cup, bei dem autonom fahrende Modellautos im Maßstab 1:10 in mechanischer, elektronischer und softwaretechnischer Hinsicht entwickelt werden. Neben der Konzeptpräsentation als statischer Disziplin stellen vor allem die beiden dynamischen Disziplinen das Highlight des Wettbewerbs dar.
Großer Erfolg bei der „World Championship for Automated Deduction“
Der Theorembeweiser E der DHBW Stuttgart hat auf dem Wettbewerb der Conference on Automated Deduction (CADE) in Natal/Brasilien, der „Weltmeisterschaft für Computerbeweiser“, einen ersten und zwei zweite Plätze erreicht. Automatische Theorembeweiser sind Computerprogramme, die mit mathematischer Genauigkeit beweisen, dass eine Vermutung zwingend aus einer Menge von Axiomen folgt. Axiome und Vermutung sind dabei Formeln z. B. der Prädikatenlogik erster Stufe. Die Formeln werden logisch kombiniert, um daraus neue Fakten abzuleiten. Die Anzahl der möglichen Ableitungen ist enorm groß, und nur wenige führen zum Ziel.