Studienhandbuch der JKU Linz
Seitenbereiche:
Sprachauswahl:
Sprache:
[
DE
]
.
EN
Studienhandbuch-Login
Benutzername
Passwort
.
Menü
Übersicht
Alle Curricula
Externe Tools
KUSSS
Auwea NG
Positionsanzeige
Computational Mathematics
»
(*)
Electives
»
(*)
Symbolic computation
Inhalt
[
201SYMBRCLV23
]
VL
Rewriting in Computer Science and Logic
Versionsauswahl
Version
2023W
(*)
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 2023W
Beurteilungskriterien
Lehrinhalte wechselnd?
Nein
Äquivalenzen
TM1WIVOREWR: VO Rewriting in Computer Science und Logik (3 ECTS)
Frühere Varianten
Decken ebenfalls die Anforderungen des Curriculums ab (von - bis)
201LOSDRCLV14: VL Rewriting in Computer Science and Logic (2014S-2023S)
Präsenzlehrveranstaltung
Teilungsziffer
-
Zuteilungsverfahren
Direktzuteilung
