Lehrveranstaltungen


Erweiterte Suche|Zurücksetzen
Wahlmodul 9: Weiterführende Themen in Logik und Lernen (10 ECTS-AP, 5 SSt.)
Anmeldevoraussetzung: keine
Lernergebnis: Vertieftes Verständnis in aktuellen Themengebieten aus Sicherem und verteiltem Rechnen. Erwerb der Fertigkeit, sich selbständig auf dem Gebiet weiterzubilden.
Zur übergeordneten Rubrik
OLAT ML
703352
VU Weiterführende Themen in Logik und Lernen A: Selected Topics in Term Rewriting (VU / 3h / 5 ECTS-AP)
Aart Middeldorp
Details zu dieser Lehrveranstaltung

Hinweis:
  • Es können sich noch Änderungen im Lehrveranstaltungsangebot sowie bei Raum- und Terminbuchungen ergeben.
  • Bitte wählen Sie für das Lehrveranstaltungsangebot die Fakultät aus, der Ihre Studienrichtung zugeteilt ist.