Studienhandbuch der JKU Linz
Seitenbereiche:
Sprachauswahl:
Sprache:
[
DE
]
.
EN
Studienhandbuch-Login
Benutzername
Passwort
.
Menü
Übersicht
Alle Curricula
Externe Tools
KUSSS
Auwea NG
Positionsanzeige
Computer Mathematics
»
(*)
Electives
»
(*)
i. Logic and software design
Inhalt
[
201LOSDRCLV14
]
VL
Rewriting in Computer Science and Logic
Versionsauswahl
Version
2014S
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
Franz Winkler
2 SSt
Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum
Bachelorstudium Technische Mathematik 2014S
Beurteilungskriterien
Lehrinhalte wechselnd?
Nein
Äquivalenzen
TM1WIVOREWR: VO Rewriting in Computer Science und Logik (3 ECTS)
Präsenzlehrveranstaltung
Teilungsziffer
-
Zuteilungsverfahren
Direktzuteilung