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.
Art | Praktikum |
---|---|
Betreuer | Monika Kümmerle |
Umfang | 2 SWS / 4LP |
Zeitraum | 15.09.2014 bis 26.09.2014 |
Campus Link | Link |
Anmeldung
Bei Interesse am Grundlagenpraktikum, bitte eine Mail mit Ihren Angaben an monika.kuemmerle -at- uni-tuebingen.de schreiben.