Grundlagenpraktikum Automatisches Beweisen

Zu der Vorlesung Automatisches Beweisen wird ein Praktikum im Block angeboten. In diesem Praktikum werden die in der Vorlesung präsentierten Themengebiete in Form von Programmieraufgaben in der Programmiersprache Java vertieft.

 

ArtPraktikum
BetreuerMartin Rathgeber, Dipl.-Inf.
UmfangBlock; 3 LP
Zeitraum03.04.2017 bis 13.04.2017
LinkCampus / Ilias