Inhalt

[ 201LOSDRCLV14 ] VL Rewriting in Computer Science and Logic

Versionsauswahl
Es ist eine neuere Version 2023W dieser LV im Curriculum Masterstudium Computational Mathematics 2023W vorhanden.
(*) Leider ist diese Information in Deutsch nicht verfügbar.
Workload Ausbildungslevel Studienfachbereich VerantwortlicheR Semesterstunden Anbietende Uni
3 ECTS B3 - Bachelor 3. Jahr Mathematik Teimuraz Kutsia 2 SSt Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum Bachelorstudium Technische Mathematik 2022W
Beurteilungskriterien
Lehrinhalte wechselnd? Nein
Äquivalenzen TM1WIVOREWR: VO Rewriting in Computer Science und Logik (3 ECTS)
Präsenzlehrveranstaltung
Teilungsziffer -
Zuteilungsverfahren Direktzuteilung