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 / Thore Kübart, M.Sc. Informatik
Umfang2 SWS Vorlesung + 1 SWS Übung / 6 LP
Termin

Vorlesung: Mi, 10 c.t. - 12 Uhr, wöchentlich

RaumInformatik/Kriminologie - Hörsaal A 301
Beginn13.04.2016
KlausurMi, 20.07.2016, 10-12, Morgenstelle, N 04
Campus LinkLink (Alle Veranstaltungsdetails)
ÜbungsgruppeWochentagUhrzeitRaum
Freitag 10 c.t. - 12 UhrA301

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