Inhalt

[ 201COMACOLV18 ] VL Computational Logic

Versionsauswahl
Es ist eine neuere Version 2023W dieser LV im Curriculum Bachelorstudium Technische Mathematik 2024W vorhanden.
Workload Ausbildungslevel Studienfachbereich VerantwortlicheR Semesterstunden Anbietende Uni
3 ECTS B2 - Bachelor 2. Jahr Mathematik Tudor Jebelean 2 SSt Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum Bachelorstudium Technische Mathematik 2018W
Beurteilungskriterien
Lehrinhalte wechselnd? Nein
Äquivalenzen TM1PEKVSWEN: KV Software Engineering (3 ECTS)
Präsenzlehrveranstaltung
Teilungsziffer -
Zuteilungsverfahren Direktzuteilung