Symbolisches Rechnen

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
BetreuerProf. Küchlin, M. Rathgeber Dipl.-Inf., R. Walter M.Sc.
Umfang3 LP
Zeitraum19.09.2016 bis 30.09.2016, 9 - 17
OrtSand 14, C 124
Campus LinkLink

Anmeldung

Bei Interesse am Grundlagenpraktikum, bitte eine Mail mit Ihren Angaben an rathgebespam prevention@informatik.uni-tuebingen.de schreiben.