Symbolisches Rechnen

Automatisches Beweisen - Grundlagen

Kenntnisse in den Grundlagen der mathematischen Logik, insbesondere hinsichtlich automatisierbaren Beweisverfahren und deren Anwendungen. Die Teilnehmer lernen exemplarisch die Grundlagen, Möglichkeiten und Grenzen von Logik-basierten Beweisverfahren in der Informatik kennen. Sie werden befähigt, moderne Verifikationsverfahren in der Industrie einzuführen und anzuwenden (z.B. Hardware- und Software-Verifikation, Konfiguration von Kraftfahrzeugen).

 

ArtVorlesung & Übung
BetreuerProf. Dr. Küchlin / Rouven Walter, M.Sc. Inf.
UmfangSiehe Campus
Termin

Siehe Campus

RaumSiehe Campus
Beginn20.04.2017
LinkCampus / Ilias

Privacy settings

Our website uses cookies. Some of them are mandatory, while others allow us to improve your user experience on our website. The settings you have made can be edited at any time.

or

Essential

in2code

Videos

in2code
YouTube
Google