Studienhandbuch der JKU Linz
Seitenbereiche:
Sprachauswahl:
Sprache:
[
DE
]
.
EN
Studienhandbuch-Login
Benutzername
Passwort
.
Menü
Übersicht
Alle Curricula
Externe Tools
KUSSS
Auwea NG
Positionsanzeige
Technische Mathematik
»
Wahlfächer
»
i. Logik und Softwaredesign
Inhalt
[
201LOSDRCLV14
]
VL
Rewriting in Computer Science and Logic
Versionsauswahl
Version
2022W
2014S
2009W
Es ist eine neuere Version
2023W
dieser LV im Curriculum Masterstudium Computational Mathematics 2023W vorhanden.
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